39 citations · 44 across the 10 of their papers we have counts for
10 papers
Labelled Sequents for Inquisitive First-Order Modal Logic
Ivano Ciardelli, Simone Conti
In recent work, an inquisitive first-order modal logic has been proposed to reason about relations of modal dependence, including the notion of global supervenience (functional dep…
Inquisitive Action Logic
Ivano Ciardelli
We introduce inquisitive action logic, InqAL, a multi-agent modal logic for reasoning about action. While traditional approaches focus on what properties of the outcome an agent ca…
Inquisitive first-order logic is neither compact nor recursively axiomatizable
Ivano Ciardelli, Juha Kontinen
Inquisitive first-order logic is an extension of classical first-order logic with formulas regimenting first-order questions, such as "whether all objects are P", "which objects ar…
On the Expressive Power of Inquisitive Team Logic and Inquisitive First-Order Logic
Juha Kontinen, Ivano Ciardelli
Inquisitive team logic is a variant of inquisitive logic interpreted in team semantics, which has been argued to provide a natural setting for the regimentation of dependence claim…
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…
Complexity of the Model Checking problem for inquisitive propositional and modal logic
Gianluca Grilletti, Ivano Ciardelli
The aim of this paper is to study the complexity of the model checking problem MC for inquisitive propositional logic InqB and for inquisitive modal logic InqM, that is, the proble…
On the expressive power of inquisitive epistemic logic
Ivano Ciardelli, Martin Otto
Inquisitive modal logic, InqML, in its epistemic incarnation, extends standard epistemic logic to capture not just the information that agents have, but also the questions that the…
Inquisitive bisimulation
Ivano Ciardelli, Martin Otto
Inquisitive modal logic InqML is a generalisation of standard Kripke-style modal logic. In its epistemic incarnation, it extends standard epistemic logic to capture not just the in…
Bisimulation in Inquisitive Modal Logic
Ivano Ciardelli, Martin Otto
Inquisitive modal logic, InqML, is a generalisation of standard Kripke-style modal logic. In its epistemic incarnation, it extends standard epistemic logic to capture not just the…
Questions and dependency in intuitionistic logic
Ivano Ciardelli, Rosalie Iemhoff, Fan Yang
In recent years, the logic of questions and dependencies has been investigated in the closely related frameworks of inquisitive logic and dependence logic. These investigations hav…