Modal Logic and Universal Algebra I: Modal Axiomatizations of Structures.

Valentin Goranko Dimiter Vakarelov

Published in: Advances in Modal Logic (1998)

Keyphrases

modal logic
decision procedures
temporal logic
conditional logic
inference rules
epistemic logic
classical logic
nonmonotonic logics
dynamic logic
default logic
relational algebra
model checking
data model
model theoretic
autoepistemic logic
modal operators
query language
situation calculus
probability distribution