Willem Blok and Modal Logic.

Wolfgang Rautenberg Michael Zakharyaschev Frank Wolter

Published in: Stud Logica (2006)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
nonmonotonic logics
situation calculus
epistemic logic
classical logic
default logic
modal operators
conditional logic
artificial intelligence
description logic alc
prime implicates
programming language
object oriented
cooperative