Constants in Kripke Models for Intuitionistic Logic.

Daniel Dzierzgowski

Published in: Math. Log. Q. (1995)

Keyphrases

intuitionistic logic
kripke models
modal logic
classical logic
linear logic
natural deduction
inference rules
decision procedures
default logic
temporal logic
action theories
situation calculus
multi agent
proof theoretic
normal form
theorem prover
logic programming
dynamic programming