Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics.

Clemens Kupke Dirk Pattinson Lutz Schröder

Published in: ACM Trans. Comput. Log. (2022)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
nonmonotonic logics
automated reasoning
default logic
epistemic logic
knowledge base
classical logic
knowledge representation
conditional logic
belief revision
reasoning systems
legal reasoning
fuzzy logic
expert systems