The following pages link to (Q3760512):
Displaying 6 items.
- On conservative extensions in logics with infinitary predicates (Q1037594) (← links)
- A1 is not a conservative extension of S4 but of S5 (Q1123182) (← links)
- Quantified Quinean \(S5\) (Q1310623) (← links)
- Propositional quantification in bimodal S5 (Q2055931) (← links)
- (Q3607560) (← links)
- (Q4731169) (← links)