A Modal Logic for Cyclic Repeating

Dimiter Vakarelov

Published in: Inf. Comput. (1992)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
conditional logic
epistemic logic
default logic
classical logic
nonmonotonic logics
situation calculus
autoepistemic logic
dynamic logic
explanation based generalization
higher order
prime implicates
formal specification
model checking