Some Remarks on Nested Sequent Systems for Modal Logics.

Lutz Straßburger

Published in: TABLEAUX (Workshops, Tutorials, and Short Papers) (2011)

Keyphrases

modal logic
inference rules
temporal logic
decision procedures
epistemic logic
situation calculus
reinforcement learning
query answering