A Remark on Propositional Kripke Frames Sound for Intuitionistic Logic.

Dmitrij P. Skvortsov

Published in: Advances in Modal Logic (2010)

Keyphrases

intuitionistic logic
classical logic
modal logic
default logic
inference rules
natural deduction
linear logic
propositional logic
temporal logic
first order logic
desirable properties
proof theoretic
horn clauses
model checking
knowledge compilation
theorem proving
graphical models