Kripke models for classical logic.

Danko Ilik Gyesik Lee Hugo Herbelin

Published in: Ann. Pure Appl. Log. (2010)

Keyphrases

classical logic
modal logic
kripke models
temporal logic
decision procedures
inference rules
valued logic
situation calculus
default logic
intuitionistic logic
logic programs
sufficient conditions
model checking
default theories