On Independent Axiomatizability of Quasi-Normal Modal Logics.

Igor Gorbunov Dmitry Shkatov

Published in: Stud Logica (2022)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
classical logic
nonmonotonic logics
epistemic logic
conditional logic
search algorithm
natural language
situation calculus
modal operators