Modal Logics with Relative Accessibility Relations.

Philippe Balbiani

Published in: FAPR (1996)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
nonmonotonic logics
epistemic logic
classical logic
default logic
conditional logic
modal operators
dynamic logic
probability distribution
natural language
special case
default reasoning
autoepistemic logic