Modular Construction of Modal Logics.

Corina Cîrstea Dirk Pattinson

Published in: CONCUR (2004)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
nonmonotonic logics
epistemic logic
classical logic
situation calculus
default logic
dynamic logic
database systems
data model
data integration
first order logic
model checking