6 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…
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 first-order logic is neither compact nor recursively axiomatizable
Ivano Ciardelli, Juha Kontinen
Inquisitive logic is a research program that extends the scope of logic to cover not only statements, but also questions. In the context of this program, a logic that plays a promi…
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 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…