Arithmetical Completeness Theorem for Modal Logic K.

Taishi Kurahashi

Published in: Stud Logica (2018)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
nonmonotonic logics
epistemic logic
dynamic logic
classical logic
machine learning
data quality
default logic
situation calculus
conditional logic
autoepistemic logic
sequent calculus