On Composing Finite Forests with Modal Logics.

Bartosz Bednarczyk Stéphane Demri Raul Fervari Alessio Mansutti

Published in: ACM Trans. Comput. Log. (2023)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
nonmonotonic logics
epistemic logic
classical logic
finite number
default logic
situation calculus
conditional logic
autoepistemic logic
dynamic logic
computational complexity
modal operators