Login / Signup
Non-iterative Modal Logics are Coalgebraic.
Jonas Forster
Lutz Schröder
Published in:
CoRR (2020)
Keyphrases
</>
modal logic
temporal logic
decision procedures
inference rules
nonmonotonic logics
epistemic logic
classical logic
default logic
conditional logic
knowledge base
situation calculus
theorem prover
automated reasoning
autoepistemic logic
sequent calculus