Actualism, Serious Actualism, and Quantified Modal Logic.

William H. Hanson

Published in: Notre Dame J. Formal Log. (2018)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
classical logic
situation calculus
epistemic logic
default logic
nonmonotonic logics
conditional logic
autoepistemic logic
modal operators
universally quantified
state space
model checking