Modal Logics with Composition on Finite Forests: Expressivity and Complexity.

Bartosz Bednarczyk Stéphane Demri Raul Fervari Alessio Mansutti

Published in: LICS (2020)

Keyphrases

modal logic
decision procedures
inference rules
temporal logic
worst case
classical logic
epistemic logic
decision problems
situation calculus
random forests
artificial intelligence
computational complexity
knowledge representation
theorem proving
default logic
finite number