Modal Logics with Counting.

Carlos Areces Guillaume Hoffmann Alexandre Denis

Published in: WoLLIC (2010)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
classical logic
epistemic logic
default logic
nonmonotonic logics
conditional logic
dynamic logic
situation calculus
autoepistemic logic
model checking
sequent calculus
database systems
integrity constraints
expert systems
cooperative