Arithmetical Interpretations and Kripke Frames of Predicate Modal Logic of Provability.

Taishi Kurahashi

Published in: Rev. Symb. Log. (2013)

Keyphrases

modal logic
temporal logic
inference rules
decision procedures
classical logic
video frames
epistemic logic
situation calculus
nonmonotonic logics
model checking
conditional logic
dynamic logic
first order logic
explanation based generalization
default logic
key frames
modal operators
moving objects
database systems