Three-valued Logics in Modal Logic.

Barteld P. Kooi Allard M. Tamminga

Published in: Stud Logica (2013)

Keyphrases

modal logic
nonmonotonic logics
inference rules
epistemic logic
decision procedures
temporal logic
classical logic
conditional logic
default logic
situation calculus
coalition logic
multi agent
dynamic logic
theorem prover
prime implicates
explanation based generalization
default theories
autoepistemic logic