Undecidability of first-order intuitionistic and modal logics with two variables.

Roman Kontchakov Agi Kurucz Michael Zakharyaschev

Published in: Bull. Symb. Log. (2005)

Keyphrases

modal logic
classical logic
conditional logic
universally quantified
inference rules
situation calculus
temporal logic

decision procedures
first order logic
nonmonotonic logics
description logics
theorem prover
default logic

epistemic logic
fuzzy set theory
autoepistemic logic
linear logic
model checking
natural deduction

horn clauses
random variables
modal operators
dynamic logic
fuzzy sets
dynamic programming