Login / Signup
The Knower Paradox in the Light of Provability Interpretations of Modal Logic.
Paul Égré
Published in:
J. Log. Lang. Inf. (2005)
Keyphrases
</>
modal logic
temporal logic
decision procedures
inference rules
classical logic
epistemic logic
nonmonotonic logics
default logic
explanation based generalization
conditional logic
prime implicates
situation calculus
dynamic logic