The following pages link to First-order modal theories (Q1156123):
Displaying 5 items.
- Model theory for modal logic. III. Existence and predication (Q1153891) (← links)
- Property theory: The type-free approach \(v\). The Church approach (Q1319264) (← links)
- Essence and necessity (Q2144211) (← links)
- LOGICS FOR PROPOSITIONAL CONTINGENTISM (Q5274876) (← links)
- STRONGLY MILLIAN SECOND-ORDER MODAL LOGICS (Q5357324) (← links)
