Geometrical Structures and Modal Logic.

Philippe Balbiani Luis Fariñas del Cerro Tinko Tinchev Dimiter Vakarelov

Published in: FAPR (1996)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
epistemic logic
nonmonotonic logics
explanation based generalization
situation calculus
classical logic
autoepistemic logic
modal operators
data model
belief revision
conditional logic