The following pages link to A new representation of S5 (Q2556849):
Displayed 7 items.
- Logic reduced to bare (proof-theoretical) bones (Q302245) (← links)
- Some modifications of Carnap's modal logic (Q694488) (← links)
- Carnapian extensions of S5 (Q1066883) (← links)
- Some supervaluation-based consequence relations (Q1404387) (← links)
- Validity and necessity (Q2572383) (← links)
- Which modal logic is the right one? (Q5937846) (← links)
- A Carnapian Logic of Conceivability (Q6075148) (← links)