Arithmetical completeness theorems for monotonic modal logics.

Haruka Kogure Taishi Kurahashi

Published in: Ann. Pure Appl. Log. (2023)

Keyphrases

modal logic
sequent calculus
temporal logic
decision procedures
inference rules
cut elimination
classical logic
nonmonotonic logics
default logic
dynamic logic
data quality
situation calculus
reinforcement learning
satisfiability problem
conditional logic
epistemic logic
model checking
knowledge representation