The following pages link to Kripke models for classical logic (Q636371):
Displaying 11 items.
- Ancestral Kripke models and nonhereditary Kripke models for the Heyting propositional calculus (Q1182695) (← links)
- Formalization of the resolution calculus for first-order logic (Q1663242) (← links)
- A pure view of ecumenical modalities (Q2148808) (← links)
- Kripke models for subtheories of \textsf{CZF} (Q2267746) (← links)
- (Q2767185) (← links)
- Constructive Formalization of Hybrid Logic with Eventualities (Q3100197) (← links)
- (Q4957791) (← links)
- Kripke Semantics for Intersection Formulas (Q5034223) (← links)
- On the unification of classical, intuitionistic and affine logics (Q5236553) (← links)
- Axiomatizing Kripke's theory of truth (Q5480633) (← links)
- An ecumenical notion of entailment (Q6067097) (← links)