On the syntactical construction of systems of modal logic
From MaRDI portal
Publication:5844610
DOI10.2307/2267027zbMath0063.03865MaRDI QIDQ5844610
Publication date: 1945
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2267027
Related Items
The Early Formation of Modal Logic and its Significance: A Historical Note on Quine, Carnap, and a Bit of Church, Supervenience, Dependence, Disjunction, Topological Semantics for da Costa Paraconsistent Logics $$C_\omega $$ C ω and $$C^{*}_\omega $$ C ω ∗, Lattice logic as a fragment of (2-sorted) residuated modal logic, On McKinsey's syntactical characterizations of systems of modal logic, Which modal logic is the right one?, Intuitionistic logic and modality via topology, Mathematical modal logic: A view of its evolution, The genesis of possible worlds semantics, Russell and his sources for non-classical logics, Peirce's contributions to possible-worlds semantics, On Hamblin's 15 Tense Theorem