Login / Signup
Montague's Paradox, Informal Provability, and Explicit Modal Logic.
Walter Dean
Published in:
Notre Dame J. Formal Log. (2014)
Keyphrases
</>
modal logic
decision procedures
inference rules
temporal logic
classical logic
nonmonotonic logics
epistemic logic
situation calculus
description logic alc
default logic
machine learning
training examples
autoepistemic logic
dynamic logic
integrity constraints
model checking
database systems