39 citations · 44 across the 10 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017★ 4 cited
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…
math.LO2017★ 39 cited
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…