Ancestral Kripke Models and Nonhereditary Kripke Models for the Heyting Propositional Calculus.

Published in: Notre Dame J. Formal Log. (1991)

Keyphrases

partial order
kripke models
modal logic
propositional calculus
temporal logic
action theories
nonmonotonic logics
multi agent
decision procedures
inference rules
situation calculus
closely related
classical logic