Sign in
Frame constructions, truth invariance and validity preservation in many-valued modal logic.
Pantelis E. Eleftheriou
Costas D. Koutras
Published in:
J. Appl. Non Class. Logics (2005)
Keyphrases
</>
modal logic
inference rules
truth values
temporal logic
decision procedures
classical logic
epistemic logic
video frames
conditional logic
situation calculus
nonmonotonic logics
model checking
default logic
autoepistemic logic
dynamic logic
state space
invariant features