Modal Logic for Other-World Agnostics: Neutrality and Halldén Incompleteness.

Lloyd Humberstone

Published in: J. Philos. Log. (2007)

Keyphrases

modal logic
temporal logic
inference rules
decision procedures
classical logic
epistemic logic
nonmonotonic logics
incomplete information
default logic
dynamic logic
conditional logic
explanation based generalization
autoepistemic logic
situation calculus
multi agent
sequent calculus
artificial intelligence