Login / Signup
On the Complexity of Explicit Modal Logics.
Roman Kuznets
Published in:
CSL (2000)
Keyphrases
</>
modal logic
inference rules
temporal logic
decision procedures
computational complexity
nonmonotonic logics
epistemic logic
classical logic
cooperative
special case
multi agent systems
sufficient conditions
model checking
situation calculus
propositional logic
conditional logic