- Symmetry, Transitivity and Reflexivity.A. N. Prior - 1960 - Journal of Symbolic Logic 25 (3):263-264.details
|
|
(2 other versions)Review of Robert M. Solovay's Provability Interpretations of Modal Logic.George Boolos - 1981 - Journal of Symbolic Logic 46 (3):661-662.details
|
|
(1 other version)The Modal Logic of Inequality.Maarten De Rijke - 1992 - Journal of Symbolic Logic 57 (2):566 - 584.details
|
|
(1 other version)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
|
|
(1 other version)On the syntactical construction of systems of modal logic.J. C. C. Mckinsey - 1945 - Journal of Symbolic Logic 10 (3):83-94.details
|
|
(1 other version)The modal logic of inequality.Maarten de Rijke - 1992 - Journal of Symbolic Logic 57 (2):566-584.details
|
|
A note on the logic of elsewhere.Krister Segerberg - 1980 - Theoria 46 (2-3):183-187.details
|
|
Infinitary combinatorics and modal logic.Andreas Blass - 1990 - Journal of Symbolic Logic 55 (2):761-778.details
|
|
The Algebra of Topology.J. C. C. Mckinsey & Alfred Tarski - 1944 - Annals of Mathematics, Second Series 45:141-191.details
|
|
(1 other version)A. N. Prior. Symmetry, transitivity and reflexivity. Journal of the Philosophical Association , vol. 7 no. 27 , pp. 67–69. - Daya. Symmetry, transitivity and reflexivity. Journal of the Philosophical Association , vol. 7 no. 27 , pp. 71–75. - S. Bhattacharyya. Symmetry, transitivity and reflexivity. Journal of the Philosophical Association , vol. 7 no. 27 , pp. 77–81. - Daya. Concluding note. Journal of the Philosophical Association , vol. 7 no. 27 , p. 83. - S. Bhattacharyya. Post-script. Journal of the Philosophical Association , vol. 7 no. 27 , pp. 83–84. [REVIEW]Alonzo Church - 1960 - Journal of Symbolic Logic 25 (3):263-264.details
|
|
(1 other version)Decidability of S4.1.Krister Segerberg - 1968 - Theoria 34 (1):7-20.details
|
|
(1 other version)Decidability of S4.1.Krister Segerberg - 1968 - Theoria 34 (1):7-20.details
|
|
Topological duality for diagonalizable algebras.Claudio Bernardi & Paola D'Aquino - 1988 - Notre Dame Journal of Formal Logic 29 (3):345-364.details
|
|
Der Aussagenkalkul und die Topologie.Alfred Tarski - 1939 - Journal of Symbolic Logic 4 (1):26-27.details
|
|
Arithmetical necessity, provability and intuitionistic logic.Rob Goldblatt - 1978 - Theoria 44 (1):38-46.details
|
|
On Closed Elements in Closure Algebras.J. C. C. Mckinsey & Alfred Tarski - 1946 - Annals of Mathematics, Ser. 2 47:122-162.details
|
|
Andrzej Grzegorczyk. Some relational systems and the associated topological spaces. Fundamenta mathematicae, vol. 60 (1967), pp. 223–231. [REVIEW]Andrzej Grzegorczyk - 1970 - Journal of Symbolic Logic 34 (4):652-653.details
|
|
Scattered toposes.Leo Esakia, Mamuka Jibladze & Dito Pataraia - 2000 - Annals of Pure and Applied Logic 103 (1-3):97-107.details
|
|