- Modal Logic: Graph. Darst.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - New York: Cambridge University Press. Edited by Maarten de Rijke & Yde Venema.details
|
|
Louis Osgood Kattsoff. Modality and probability. The philosophical review, vol. 46 (1937), pp. 78–85.Garrett Birkhoff & John von Neumann - 1937 - Journal of Symbolic Logic 2 (1):44-44.details
|
|
Garrett Birkhoff and John von Neumann. The logic of quantum mechanics. Annals of mathematics, 2 s. vol. 37 (1936), pp. 823–843. [REVIEW]E. W. Beth - 1937 - Journal of Symbolic Logic 2 (1):44-45.details
|
|
A course in mathematical logic.J. L. Bell - 1977 - New York: sole distributors for the U.S.A. and Canada American Elsevier Pub. Co.. Edited by Moshé Machover.details
|
|
The Logic of Quantum Mechanics.Garrett Birkhoff, John Von Neumann, The Annals & No Oct - 2008 - 37 (4):823–843.details
|
|
(2 other versions)Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Studia Logica 76 (1):142-148.details
|
|
An Interpretive Introduction to Quantum Field Theory.Paul Teller - 1995 - Princeton University Press.details
|
|
Identity in physics: a historical, philosophical, and formal analysis.Steven French & Décio Krause - 2006 - New York: Oxford University Press. Edited by Decio Krause.details
|
|
The deduction theorem for quantum logic—some negative results.Jacek Malinowski - 1990 - Journal of Symbolic Logic 55 (2):615-625.details
|
|
(2 other versions)Modal Logic.Yde Venema, Alexander Chagrov & Michael Zakharyaschev - 2000 - Philosophical Review 109 (2):286.details
|
|
(1 other version)Review: J. Kotas, Axioms for Birkhoff--v. Neumann Quantum Logic. [REVIEW]M. Drieschner - 1975 - Journal of Symbolic Logic 40 (3):463-464.details
|
|
An Intensional Schrödinger Logic.Newton C. A. da Costa & Décio Krause - 1997 - Notre Dame Journal of Formal Logic 38 (2):179-194.details
|
|
Logical and Philosophical Remarks on Quasi-Set Theory.Newton Da Costa - 2007 - Logic Journal of the IGPL 15 (5-6):421-431.details
|
|
(1 other version)E. W. Beth. Une démonstration de la non-contradiction de la logique des types au point de vue fini. Nieuw archief voor wiskunde, 2 s. vol. 19 nos. 1–2 (1936), pp. 59–62. [REVIEW]Alonzo Church & Louis Osgood Kattsoff - 1937 - Journal of Symbolic Logic 2 (1):44-44.details
|
|
(1 other version)First-order modal logic.Melvin Fitting, R. Mendelsohn & Roderic A. Girle - 2002 - Bulletin of Symbolic Logic 8 (3):429-430.details
|
|
The Birth of quantum logic.Miklós Rédei - 2007 - History and Philosophy of Logic 28 (2):107-122.details
|
|
A Discussion on Particle Number and Quantum Indistinguishability.Graciela Domenech & Federico Holik - 2007 - Foundations of Physics 37 (6):855-878.details
|
|
Q-spaces and the Foundations of Quantum Mechanics.Graciela Domenech, Federico Holik & Décio Krause - 2008 - Foundations of Physics 38 (11):969-994.details
|
|
(1 other version)Schrödinger Logics.Newton C. A. da Costa & Décio Krause - 1994 - Studia Logica 53 (4):533-550.details
|
|
Modal logic.Alexander Chagrov - 1997 - New York: Oxford University Press. Edited by Michael Zakharyaschev.details
|
|
Structures and Structural Realism.Décio Krause - 2003 - Logic Journal of the IGPL 13 (1):113-126.details
|
|
(1 other version)Kotas J.. Axioms for Birkhoff—υ. Neumann quantum logic. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 11 , pp. 629–632. [REVIEW]M. Drieschner - 1975 - Journal of Symbolic Logic 40 (3):463-464.details
|
|
On a quasi-set theory.Décio Krause - 1992 - Notre Dame Journal of Formal Logic 33 (3):402--11.details
|
|
An algebraic approach to non-classical logics.Helena Rasiowa - 1974 - Warszawa,: PWN - Polish Scientific Publishers.details
|
|
Logic for mathematicians.Alan G. Hamilton - 1978 - New York: Cambridge University Press.details
|
|
A Course in Mathematical Logic.J. L. Bell & M. Machover - 1978 - British Journal for the Philosophy of Science 29 (2):207-208.details
|
|
Topology via Logic.P. T. Johnstone & Steven Vickers - 1991 - Journal of Symbolic Logic 56 (3):1101.details
|
|
An Interpretative Introduction to Quantum Field Theory.Paul Teller - 1996 - British Journal for the Philosophy of Science 47 (1):152-153.details
|
|
Mathematical logic.Heinz-Dieter Ebbinghaus - 1996 - New York: Springer. Edited by Jörg Flum & Wolfgang Thomas.details
|
|
An axiom system for the modular logic.Jerzy Kotas - 1967 - Studia Logica 21 (1):17 - 38.details
|
|
Remarks on the Theory of Quasi-sets.Steven French & Décio Krause - 2010 - Studia Logica 95 (1-2):101 - 124.details
|
|
Axioms for Birkhoff--v. Neumann Quantum Logic.J. Kotas - 1975 - Journal of Symbolic Logic 40 (3):463-464.details
|
|
Axioms for collections of indistinguishable objects.Décio Krause - 1996 - Logique Et Analyse 153 (154):69-93.details
|
|
(1 other version)First-Order Modal Logic.Roderic A. Girle, Melvin Fitting & Richard L. Mendelsohn - 2002 - Bulletin of Symbolic Logic 8 (3):429.details
|
|