Logic-Sensitivity of Aristotelian Diagrams in Non-Normal Modal Logics.

Published in: Axioms (2021)

Keyphrases

modal logic
temporal logic
inference rules
classical logic
epistemic logic
decision procedures
nonmonotonic logics
situation calculus
default logic
dynamic logic
model checking
conditional logic
autoepistemic logic
sequent calculus
sequent calculi
knowledge base
search algorithm