Intuitionistic Epistemic Logic, Kripke Models and Fitch's Paradox.

Published in: J. Philos. Log. (2012)

Keyphrases

modal logic
epistemic logic
kripke models
classical logic
inference rules
temporal logic
decision procedures
theorem prover
dynamic epistemic logic
fuzzy set theory
default logic
situation calculus
logical framework
fuzzy numbers
default theories