Some Metacomplete Relevant Modal Logics.

Published in: Stud Logica (2013)

Keyphrases

modal logic
decision procedures
inference rules
temporal logic
classical logic
nonmonotonic logics
epistemic logic
situation calculus
default logic
conditional logic
sufficient conditions
special case
multi agent
multi agent systems
theorem proving
dynamic logic