Login / Signup
On the Complexity of Fragments of the Modal Logic of Allen's Relations over Dense Structures.
Davide Bresolin
Dario Della Monica
Angelo Montanari
Pietro Sala
Guido Sciavicco
Published in:
LATA (2015)
Keyphrases
</>
modal logic
temporal logic
decision procedures
inference rules
epistemic logic
default logic
nonmonotonic logics
computational complexity
classical logic
worst case
situation calculus
conditional logic
modal operators
dynamic logic