Simulation and Transfer Results in Modal Logic - A Survey.

Marcus Kracht Frank Wolter

Published in: Stud Logica (1997)

Keyphrases

modal logic
temporal logic
inference rules
decision procedures
epistemic logic
situation calculus
conditional logic
classical logic
nonmonotonic logics
simulation model
model checking
mathematical models
prime implicates
explanation based generalization
description logics
dynamic logic
default logic