- A survey of some connections between classical, intuitionistic and minimal logic.D. Prawitz & P.-E. Malmnäs - 1968 - In H. Arnold Schmidt, K. Schütte & H. J. Thiele (eds.), Contributions to mathematical logic. Amsterdam,: North-Holland. pp. 215–229.details
|
|
Theory of Logical Calculi: Basic Theory of Consequence Operations.Ryszard Wójcicki - 1988 - Dordrecht, Boston and London: Kluwer Academic Publishers.details
|
|
Equivalent Theories.Stig Kanger - 1968 - Theoria 34 (1):1-6.details
|
|
Homeomorphism and the Equivalence of Logical Systems.Stephen Pollard - 1998 - Notre Dame Journal of Formal Logic 39 (3):422-435.details
|
|
Modal system S4.4.Bolesław Sobociński - 1964 - Notre Dame Journal of Formal Logic 5:305.details
|
|
Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..details
|
|
Word and Object.Willard Van Orman Quine - 1960 - Cambridge, MA, USA: MIT Press.details
|
|
Classical propositional operators: an exercise in the foundations of logic.Krister Segerberg - 1982 - New York: Oxford University Press.details
|
|
Some theorems about the sentential calculi of Lewis and Heyting.J. C. C. McKinsey & Alfred Tarski - 1948 - Journal of Symbolic Logic 13 (1):1-15.details
|
|
Constructivism in Mathematics, An Introduction.A. Troelstra & D. Van Dalen - 1991 - Tijdschrift Voor Filosofie 53 (3):569-570.details
|
|
Word and Object.Willard Van Orman Quine - 1960 - Les Etudes Philosophiques 17 (2):278-279.details
|
|
Modal Logic. An Introduction.Zia Movahed - 2002 - Tehran: Hermes Publishers.details
|
|
Modal Logic: An Introduction.Brian F. Chellas - 1980 - New York: Cambridge University Press.details
|
|
A New Introduction to Modal Logic.M. J. Cresswell & G. E. Hughes - 1996 - New York: Routledge. Edited by M. J. Cresswell.details
|
|
Equivalential logics.Janusz Czelakowski - 1981 - Studia Logica 40 (3):227-236.details
|
|
Many-sorted modal logics.Steven Thomas Kuhn - 1977 - Uppsala: [Filosofiska föreningen].details
|
|
The semantic foundations of logic.Richard L. Epstein - 1994 - New York: Oxford University Press.details
|
|
Constructivism in Mathematics: An Introduction.A. S. Troelstra & Dirk Van Dalen - 1988 - Amsterdam: North Holland. Edited by D. van Dalen.details
|
|
Reduction of tense logic to modal logic. I.S. K. Thomason - 1974 - Journal of Symbolic Logic 39 (3):549-551.details
|
|
G. E. Hughes & M. J. Cresswell, A New Introduction to Modal Logic. [REVIEW]Paolo Crivelli & Timothy Williamson - 1998 - Philosophical Review 107 (3):471.details
|
|
Boolean Algebras with Operators.Alfred Tarski - 1953 - Journal of Symbolic Logic 18 (1):70-71.details
|
|
Reduced products of logical matrices.Janusz Czelakowski - 1980 - Studia Logica 39 (1):19 - 43.details
|
|
Modal system ${\rm S}4.4$.Bolesław Sobociński - 1964 - Notre Dame Journal of Formal Logic 5 (4):305-312.details
|
|
Equivalential logics (I).Janusz Czelakowski - 1981 - Studia Logica 40 (3):227 - 236.details
|
|
Epistemologische betrachtungen zu [S4, S5].Wolfgang Lenzen - 1979 - Erkenntnis 14 (1):33-56.details
|
|
On three alleged rivals to homophonic translation.Robert Kirk - 1982 - Philosophical Studies 42 (3):409 - 418.details
|
|
The Semantic Foundations of Logic Volume 1: Propositional Logics.Richard L. Epstein & Walter Alexandre Carnielli - 1990 - Dordrecht, Boston, and London: Kluwer Academic Publishers.details
|
|
Past, Present and Future.Arthur N. Prior - 1967 - Oxford, GB: Oxford University Press.details
|
|
A study of some systems in the neighborhood of ${\rm S}4.4$.J. Jay Zeman - 1971 - Notre Dame Journal of Formal Logic 12 (3):341-357.details
|
|
The not-so-strange modal logic of indeterminacy.Francis Jeffry Pelletier - 1984 - Logique Et Analyse 27 (8):415-422.details
|
|
Reduction of tense logic to modal logic II.S. K. Thomason - 1975 - Theoria 41 (3):154-169.details
|
|
Lattice Theory.Garrett Birkhoff - 1950 - Journal of Symbolic Logic 15 (1):59-60.details
|
|
Some Theorems About the Sentential Calculi of Lewis and Heyting.J. C. C. Mckinsey & Alfred Tarski - 1948 - Journal of Symbolic Logic 13 (3):171-172.details
|
|
Reduction of tense logic to modal logic II.S. K. Thomason - 1974 - Theoria 40 (3):154-169.details
|
|
An algebraic characterization of the notion of structural completeness.Tadeusz Prucnal & Andrzej Wronski - 1974 - Bulletin of the Section of Logic 3 (1):30-33.details
|
|