Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
Data up to Jan 2025
Total Citations Per Year
Abstract
References (16)
An Introduction to Mathematical Logic
2005 • 1,818 citations
A completeness theorem in modal logic
1959 • 1,066 citations
Boolean Algebras with Operators. Part I
1951 • 717 citations
Principia Mathematica to *56
1997 • 683 citations
Some theorems about the sentential calculi of Lewis and Heyting
1948 • 503 citations
An Essay in Modal Logic.
1953 • 295 citations
Semantic entailment and formal derivability
1955 • 271 citations
Modal Logics Between S 4 and S 5
1959 • 150 citations
Provability in Logic.
1960 • 130 citations
A theory of formal deducibility
1950 • 98 citations
On the syntactical construction of systems of modal logic
1945 • 73 citations
Les Logiques nouvelles des modalités
1937 • 43 citations
On the semantic non-completeness of certain Lewis calculi
1951 • 38 citations
Improved decision procedures for Lewis's calculus S4 and von Wright's calculus M
1954 • 25 citations
An extension algebra and the modal system ${\rm T}$.
1960 • 11 citations
Les logiques nouvelles des modalités (suite et fin)
1938 • 8 citations