Login / Signup
Non-Iterative Modal Logics Are Coalgebraic.
Jonas Forster
Lutz Schröder
Published in:
AiML (2020)
Keyphrases
</>
modal logic
decision procedures
temporal logic
inference rules
epistemic logic
nonmonotonic logics
conditional logic
classical logic
situation calculus
default logic
modal operators
model checking
dynamic logic