4 citations · 4 across the 8 of their papers we have counts for
4 papers · 1 filter
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…
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…
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…