Expressive Completeness of Modal Logic on Binary Ramified Frames.

Bernhard Heinemann

Published in: J. Appl. Non Class. Logics (1996)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
epistemic logic
classical logic
nonmonotonic logics
situation calculus
default logic
autoepistemic logic
conditional logic
moving objects
dynamic logic
prime implicates
artificial intelligence
frame rate
key frames
object oriented
knowledge base