The following pages link to Kripke models for classical logic (Q636371):
Displaying 7 items.
- Formalization of the resolution calculus for first-order logic (Q1663242) (← links)
- A pure view of ecumenical modalities (Q2148808) (← links)
- Constructive Formalization of Hybrid Logic with Eventualities (Q3100197) (← links)
- (Q4957791) (← 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)
