39 citations · 44 across the 10 of their papers we have counts for
1 paper · 1 filter
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…