Labelled Sequent Calculi for Inquisitive Modal Logics.

Valentin Müller

Published in: WoLLIC (2024)

Keyphrases

modal logic
sequent calculi
temporal logic
conditional logic
decision procedures
inference rules
epistemic logic
nonmonotonic logics
classical logic
default logic
situation calculus
artificial intelligence
model checking