Modal Logics for Incidence Geometries.

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

Published in: J. Log. Comput. (1997)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
classical logic
nonmonotonic logics
epistemic logic
situation calculus
conditional logic
cooperative
default logic