Completeness and incompleteness for anodic modal logics.

Juliana Bueno-Soler

Published in: J. Appl. Non Class. Logics (2009)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
incomplete information
nonmonotonic logics
conditional logic
dynamic logic
epistemic logic
default logic
classical logic
situation calculus
formal specification
data integration
autoepistemic logic
data quality
model checking