Describing neighborhoods in inquisitive modal logic.

Ivano Ciardelli

Published in: AiML (2022)

Keyphrases

modal logic
temporal logic
inference rules
decision procedures
epistemic logic
conditional logic
classical logic
situation calculus
default logic
autoepistemic logic
dynamic logic
nonmonotonic logics
explanation based generalization
sequent calculus
modal operators