Pages that link to "Item:Q2266004"
From MaRDI portal
The following pages link to The connective of necessity of modal logic \(S_ 5\) is metalogical (Q2266004):
Displaying 5 items.
- Carnapian extensions of S5 (Q1066883) (← links)
- A new variant of the Gödel-Malcev theorem for the classical propositional calculus and correction to my paper: ``The connective of necessity of modal logic \(S_ 5\) is metalogical'' (Q1097869) (← links)
- ``Everywhere'' in predicate algebra and modal logic (Q1349962) (← links)
- A Constructive Presentation for the Modal Connective of Necessity (□) (Q4007157) (← links)
- Which modal logic is the right one? (Q5937846) (← links)
