Modal Logics and Local Quantifiers: A Zoo in the Elementary Hierarchy.

Raul Fervari Alessio Mansutti

Published in: FoSSaCS (2022)

Keyphrases

modal logic
inference rules
temporal logic
decision procedures
epistemic logic
classical logic
nonmonotonic logics
default logic
hierarchical structure
situation calculus
conditional logic
natural language
model checking
lower level
search algorithm
upper level