Login / Signup
Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics.
Clemens Kupke
Dirk Pattinson
Lutz Schröder
Published in:
CoRR (2020)
Keyphrases
</>
modal logic
decision procedures
temporal logic
inference rules
epistemic logic
automated reasoning
nonmonotonic logics
classical logic
conditional logic
reasoning tasks
sequent calculus
reasoning systems
knowledge base
situation calculus
default logic
logical framework
model checking
expert systems