The following pages link to (Q3760513):
Displaying 4 items.
- The equivalence of the disjunction and existence properties for modal arithmetic (Q3486545) (← links)
- Disjunction and existence under implication in elementary intuitionistic formalisms (Q3851084) (← links)
- Extended disjunction and existence properties for some predicate modal logics (Q4221774) (← links)
- (Q4562114) (← links)