Login / Signup
Modal Logics with Composition on Finite Forests: Expressivity and Complexity (Extra Material).
Bartosz Bednarczyk
Stéphane Demri
Raul Fervari
Alessio Mansutti
Published in:
CoRR (2020)
Keyphrases
</>
modal logic
decision procedures
inference rules
temporal logic
nonmonotonic logics
default logic
worst case
classical logic
computational complexity
expert systems
description logics
model checking
incomplete information
finite number
autoepistemic logic
epistemic logic