Book review - P. Blackburn, J. Van Benthem, and F. Wolter: Review of Handbook of Modal Logic.

Martin Mose Bentzen

Published in: Stud Logica (2010)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
classical logic
situation calculus
nonmonotonic logics
epistemic logic
prime implicates
conditional logic
default logic
sequent calculus
model checking
literature review
integrity constraints
natural language
machine learning