◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Ivano Ciardelli

10 papers hereh-index 191.7k citations85 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • sole author2
  • first author6
  • last author2

Across the 10 of 10 papers where every author was matched, so the position is known.

fields
  • math.LO6
  • cs.LO4

identity via Semantic Scholar / OpenAlex

activity
20172026
most citedQuestions and dependency in intuitionistic logic

39 citations · 44 across the 10 of their papers we have counts for

collaborators
Showing 2024 · math.LOShow all

1 paper · 2 filters

math.LO2024

Inquisitive Neighborhood Logic

Ivano Ciardelli

We explore an inquisitive modal logic designed to reason about neighborhood models. This logic is based on an inquisitive strict conditional operator, which quantifies over neighbo…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.