The modal logic of the countable random frame.

Valentin Goranko Bruce M. Kapron

Published in: Arch. Math. Log. (2003)

Keyphrases

modal logic
temporal logic
inference rules
decision procedures
conditional logic
situation calculus
epistemic logic
video frames
default logic
classical logic
nonmonotonic logics
dynamic logic
markov chain
autoepistemic logic
modal operators
model checking