@misc(ThePuzzle,
 title        = {The {P}uzzle of the 3 {H}ats - {T}he {N}ew {Y}ork {T}imes},
 howpublished = {\url{https://tierneylab.blogs.nytimes.com/2009/03/16/the-puzzle-of-the-3-hats/}},
)
@article(Bacciagaluppi2009,
 author       = {Guido Bacciagaluppi},
 year         = {2009},
 title        = {Is logic empirical},
 journal      = {Handbook of Quantum Logic and Quantum Structures},
 pages        = {49--78},
 doi          = {10.1016/B978-0-444-52869-8.50006-2},
)
@incollection(DELStanford,
 author       = {Alexandru Baltag and Bryan Renne},
 year         = {2016},
 title        = {Dynamic Epistemic Logic},
 editor       = {Edward~N. Zalta},
 booktitle    = {The Stanford Encyclopedia of Philosophy},
 edition      = {winter 2016},
 publisher    = {Metaphysics Research Lab, Stanford University},
 url          = {https://plato.stanford.edu/archives/win2016/entries/dynamic-epistemic/},
)
@article(Baltag2011,
 author       = {Alexandru Baltag and Sonja Smets},
 year         = {2011},
 title        = {Quantum logic as a dynamic logic},
 journal      = {Synthese},
 volume       = {179},
 number       = {2},
 pages        = {285--306},
 doi          = {10.1007/s11229-010-9783-6},
)
@article(Bassi2003,
 author       = {Angelo Bassi and GianCarlo Ghirardi},
 year         = {2003},
 title        = {Dynamical reduction models},
 journal      = {Physics Reports},
 volume       = {379},
 number       = {5-6},
 pages        = {257--426},
 doi          = {10.1016/S0370-1573(03)00103-0},
)
@misc(Baumann2018,
 author       = {Veronika Baumann and Stefan Wolf},
 year         = {2017},
 title        = {On {F}ormalisms and {I}nterpretations},
 note         = {\href{https://arxiv.org/abs/1710.07212}{arXiv:1710.07212}},
)
@article(Chiara2013part1,
 author       = {Enrico Beltrametti and Maria Luisa~Dalla Chiara and Roberto Giuntini and Roberto Leporini and Giuseppe Sergioli},
 year         = {2016},
 title        = {A Quantum Computational Semantics for Epistemic Logical Operators. Part I: Epistemic Structures},
 note         = {\href{https://arxiv.org/abs/1602.07514}{arXiv:1602.07514}},
)
@article(Chiara2013part2,
 author       = {Enrico Beltrametti and Maria Luisa~Dalla Chiara and Roberto Giuntini and Roberto Leporini and Giuseppe Sergioli},
 year         = {2016},
 title        = {A Quantum Computational Semantics for Epistemic Logical Operators. Part II: Semantics},
 note         = {\href{https://arxiv.org/abs/1602.07517}{arXiv:1602.07517}},
)
@article(vonNeumann1936,
 author       = {Garrett Birkhoff and Von~Neumann, John},
 year         = {1936},
 title        = {The logic of quantum mechanics},
 journal      = {Annals of mathematics},
 pages        = {823--843},
 doi          = {10.2307/1968621},
)
@article(Bohm1952,
 author       = {David Bohm},
 year         = {1952},
 title        = {A {S}uggested {I}nterpretation of the {Q}uantum {T}heory in {T}erms of "{H}idden" {V}ariables. {I}},
 journal      = {Physical Review},
 volume       = {85},
 number       = {2},
 pages        = {166--179},
 doi          = {10.1103/physrev.85.166},
)
@article(Bohm2008,
 author       = {David Bohm},
 year         = {1990},
 title        = {A new theory of the relationship of mind and matter},
 journal      = {Philosophical psychology},
 volume       = {3},
 number       = {2-3},
 pages        = {271--286},
 doi          = {10.1080/09515089008573004},
)
@book(Bohr1934,
 author       = {Niels Bohr},
 year         = {1934},
 title        = {Atomic {T}heory and the {D}escription of {N}ature: {F}our {E}ssays},
 volume       = {1},
 publisher    = {CUP Archive},
)
@article(Bohr1958,
 author       = {Niels Bohr},
 year         = {1958},
 title        = {On atoms and human knowledge},
 journal      = {Daedalus},
 volume       = {87},
 number       = {2},
 pages        = {164--175},
)
@misc(Bub2017,
 author       = {Jeffrey Bub},
 year         = {2017},
 title        = {Why {B}ohr was ({M}ostly) {R}ight},
 note         = {\href{https://arxiv.org/abs/1711.01604}{arXiv:1711.01604}},
)
@book(Carnap1988,
 author       = {Rudolf Carnap},
 year         = {1988},
 title        = {Meaning and necessity: a study in semantics and modal logic},
 publisher    = {University of Chicago Press},
)
@article(Caves2002,
 author       = {Carlton~M. Caves and Christopher~A. Fuchs and R\"{u}diger Schack},
 year         = {2002},
 title        = {Quantum probabilities as Bayesian probabilities},
 journal      = {Physical Review A},
 volume       = {65},
 number       = {2},
 doi          = {10.1103/physreva.65.022305},
)
@article(Everett1957,
 author       = {Hugh Everett},
 year         = {1957},
 title        = {"{R}elative {S}tate" {F}ormulation of {Q}uantum {M}echanics},
 journal      = {Reviews of Modern Physics},
 volume       = {29},
 number       = {3},
 pages        = {454--462},
 doi          = {10.1103/revmodphys.29.454},
)
@book(Fagin2004,
 author       = {Ronald Fagin and Joseph~Y Halpern and Yoram Moses and Moshe Vardi},
 year         = {2004},
 title        = {Reasoning about knowledge},
 publisher    = {MIT press},
 doi          = {10.7551/mitpress/5803.001.0001},
)
@misc(Quanta,
 author       = {Dan Falk},
 year         = {2016},
 title        = {New {S}upport for {A}lternative {Q}uantum {V}iew},
 howpublished = {\url{ https://www.quantamagazine.org/pilot-wave-theory-gains-experimental-support-20160516}},
)
@article(Frauchiger2018,
 author       = {Daniela Frauchiger and Renato Renner},
 year         = {2018},
 title        = {Quantum theory cannot consistently describe the use of itself},
 journal      = {Nature Communications},
 volume       = {9},
 number       = {1},
 pages        = {3711},
 doi          = {10.1038/s41467-018-05739-8},
)
@article(Fritz2015,
 author       = {Tobias Fritz and Matthew Leifer},
 year         = {2015},
 title        = {Plausibility measures on test spaces},
 journal      = {\href{https://arxiv.org/abs/1505.01151}{arXiv:1505.01151}},
)
@incollection(Fuchs2016,
 author       = {Christopher~A Fuchs},
 year         = {2017},
 title        = {On participatory realism},
 booktitle    = {Information and Interaction},
 publisher    = {Springer},
 pages        = {113--134},
 doi          = {10.1007/978-3-319-43760-6\_7},
)
@article(Fuchs2014,
 author       = {Christopher~A. Fuchs and N.~David Mermin and R\"{u}diger Schack},
 year         = {2014},
 title        = {An introduction to {QBism} with an application to the locality of quantum mechanics},
 journal      = {American Journal of Physics},
 volume       = {82},
 number       = {8},
 pages        = {749--754},
 doi          = {10.1119/1.4874855},
)
@incollection(LogicStanford,
 author       = {James Garson},
 year         = {2016},
 title        = {Modal Logic},
 editor       = {Edward~N. Zalta},
 booktitle    = {The Stanford Encyclopedia of Philosophy},
 edition      = {spring 2016},
 publisher    = {Metaphysics Research Lab, Stanford University},
 url          = {https://plato.stanford.edu/archives/spr2016/entries/logic-modal/},
)
@article(Ghirardi1986,
 author       = {G.~C. Ghirardi and A.~Rimini and T.~Weber},
 year         = {1986},
 title        = {Unified dynamics for microscopic and macroscopic systems},
 journal      = {Physical Review D},
 volume       = {34},
 number       = {2},
 pages        = {470--491},
 doi          = {10.1103/physrevd.34.470},
)
@incollection(Ghirardi1985,
 author       = {GC~Ghirardi and A~Rimini and T~Weber},
 year         = {1985},
 title        = {A model for a unified quantum description of macroscopic and microscopic systems},
 booktitle    = {Quantum {P}robability and {A}pplications II},
 publisher    = {Springer},
 pages        = {223--232},
 doi          = {10.1007/BFb0074474},
)
@article(Godel1931,
 author       = {Kurt G{\"o}del},
 year         = {1931},
 title        = {{\"U}ber formal unentscheidbare {S}{\"a}tze der {P}rincipia {M}athematica und verwandter {S}ysteme I},
 journal      = {Monatshefte f{\"u}r Mathematik und Physik},
 volume       = {38},
 number       = {1},
 pages        = {173--198},
 doi          = {10.1007/BF01700692},
)
@incollection(Goldblatt2006,
 author       = {Robert Goldblatt},
 year         = {2006},
 title        = {Mathematical modal logic: A view of its evolution},
 booktitle    = {Handbook of the History of Logic},
 volume       = {7},
 publisher    = {Elsevier},
 pages        = {1--98},
 doi          = {10.1016/S1874-5857(06)80027-0},
)
@article(Hardy1993,
 author       = {Lucien Hardy},
 year         = {1993},
 title        = {Nonlocality for two particles without inequalities for almost all entangled states},
 journal      = {Phys. Rev. Lett.},
 volume       = {71},
 pages        = {1665--1668},
 doi          = {10.1103/PhysRevLett.71.1665},
)
@article(Heisenberg1958,
 author       = {Werner Heisenberg},
 year         = {1958},
 title        = {The Representation of Nature in Contemporary Physics},
 journal      = {Daedalus},
 volume       = {87},
 number       = {3},
 pages        = {95--108},
)
@article(Josang2001,
 author       = {J{\o}sang, Audun},
 year         = {2001},
 title        = {A logic for uncertain probabilities},
 journal      = {International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems},
 volume       = {9},
 number       = {03},
 pages        = {279--311},
 doi          = {10.1142/S0218488501000831},
)
@article(Kripke2007,
 author       = {Saul Kripke},
 year         = {2007},
 title        = {Semantical considerations of the modal logic},
 journal      = {Studia Philosophica},
 volume       = {1},
)
@book(Leibniz1771,
 author       = {Gottfried~Wilhelm Leibniz and August~Friedrich B{\"o}k},
 year         = {1771},
 title        = {Tentamina theodicaeae de bonitate {D}ei, libertate hominis et origine mali: 1},
 volume       = {1},
 publisher    = {Berger},
)
@article(Lewis1918,
 author       = {Clarence~Irving Lewis},
 year         = {1918},
 title        = {A survey of symbolic logic},
 publisher    = {University of California Press},
)
@book(Lewis1959,
 author       = {Clarence~Irving Lewis and Cooper~Harold Langford and P~Lamprecht},
 year         = {1959},
 title        = {Symbolic logic},
 publisher    = {Dover Publications New York},
)
@book(Novak2012,
 author       = {Vil{\'e}m Nov{\'a}k and Irina Perfilieva and Jiri Mockor},
 year         = {2012},
 title        = {Mathematical principles of fuzzy logic},
 volume       = {517},
 publisher    = {Springer Science \& Business Media},
 doi          = {10.1007/978-1-4615-5217-8},
)
@book(Penrose1999,
 author       = {Roger Penrose},
 year         = {1999},
 title        = {The {E}mperor's {N}ew {M}ind: {C}oncerning computers, minds, and the laws of physics},
 publisher    = {Oxford Paperbacks},
)
@incollection(DialetheismStanford,
 author       = {Graham Priest and Francesco Berto and Zach Weber},
 year         = {2018},
 title        = {Dialetheism},
 editor       = {Edward~N. Zalta},
 booktitle    = {The Stanford Encyclopedia of Philosophy},
 edition      = {fall 2018},
 publisher    = {Metaphysics Research Lab, Stanford University},
)
@incollection(PRStanford,
 author       = {Graham Priest and Koji Tanaka and Zach Weber},
 year         = {2018},
 title        = {Paraconsistent Logic},
 editor       = {Edward~N. Zalta},
 booktitle    = {The Stanford Encyclopedia of Philosophy},
 edition      = {summer 2018},
 publisher    = {Metaphysics Research Lab, Stanford University},
)
@incollection(Putnam1969,
 author       = {Hilary Putnam},
 year         = {1969},
 title        = {Is logic empirical?},
 booktitle    = {Boston studies in the philosophy of science},
 publisher    = {Springer},
 pages        = {216--241},
 doi          = {10.1007/978-94-010-3381-7\_5},
)
@incollection(sep-two-dimensional-semantics,
 author       = {Laura Schroeter},
 year         = {2017},
 title        = {Two-Dimensional Semantics},
 editor       = {Edward~N. Zalta},
 booktitle    = {The Stanford Encyclopedia of Philosophy},
 edition      = {summer 2017},
 publisher    = {Metaphysics Research Lab, Stanford University},
)
@article(Sudbery2016,
 author       = {Anthony Sudbery},
 year         = {2017},
 title        = {Single-world theory of the extended Wigner's world experiment},
 journal      = {Found. Phys.},
 volume       = {47},
 pages        = {658--669},
 doi          = {10.1007/s10701-017-0082-7},
 note         = {\href{https://arxiv.org/abs/1608.05873}{arXiv:1608.05873}},
)
@misc(Vaidman2001,
 author       = {Lev Vaidman},
 year         = {2001},
 title        = {Probability and the {M}any-{W}orlds {I}nterpretation of {Q}uantum {T}heory},
 note         = {\href{https://arxiv.org/abs/quant-ph/0111072}{arXiv:quant-ph/0111072}},
)
@article(Vaidman2016,
 author       = {Lev Vaidman},
 year         = {2016},
 title        = {All is $\Psi$},
 journal      = {Journal of Physics: Conference Series},
 volume       = {701},
 number       = {1},
 pages        = {012020},
 url          = {http://stacks.iop.org/1742-6596/701/i=1/a=012020},
)
@incollection(ManyworldsStanford,
 author       = {Lev Vaidman},
 year         = {2016},
 title        = {Many-Worlds Interpretation of Quantum Mechanics},
 editor       = {Edward~N. Zalta},
 booktitle    = {The Stanford Encyclopedia of Philosophy},
 edition      = {fall 2016},
 publisher    = {Metaphysics Research Lab, Stanford University},
 url          = {https://plato.stanford.edu/archives/fall2016/entries/qm-manyworlds/},
)
@book(vonNeumann1955,
 author       = {Von~Neumann, John},
 year         = {1955},
 title        = {Mathematical foundations of quantum mechanics},
 volume       = {2},
 publisher    = {Princeton University Press},
)
@incollection(QLStanford,
 author       = {Alexander Wilce},
 year         = {2017},
 title        = {Quantum Logic and Probability Theory},
 editor       = {Edward~N. Zalta},
 booktitle    = {The Stanford Encyclopedia of Philosophy},
 edition      = {spring 2017},
 publisher    = {Metaphysics Research Lab, Stanford University},
 url          = {https://plato.stanford.edu/entries/qt-quantlog/},
)
@book(Yager2008,
 author       = {Ronald~R Yager and Liping Liu},
 year         = {2008},
 title        = {Classic works of the {D}empster-{S}hafer theory of belief functions},
 volume       = {219},
 publisher    = {Springer},
 doi          = {10.1007/978-3-540-44792-4},
)
@incollection(Zadeh1996,
 author       = {Lotfi~A Zadeh},
 year         = {1996},
 title        = {Fuzzy sets},
 booktitle    = {Fuzzy {S}ets, {F}uzzy {L}ogic, {A}nd {F}uzzy {S}ystems: {S}elected {P}apers by {L}otfi {A} {Z}adeh},
 publisher    = {World Scientific},
 pages        = {394--432},
 doi          = {10.1016/S0019-9958(65)90241-X},
)
@incollection(Zimmermann1996,
 author       = {H-J Zimmermann},
 year         = {1996},
 title        = {Fuzzy control},
 booktitle    = {Fuzzy {S}et {T}heory and {I}ts {A}pplications},
 publisher    = {Springer},
 pages        = {203--240},
 doi          = {10.1007/978-94-010-0646-0\_11},
)
@incollection(Zurek2006,
 author       = {Wojciech~Hubert Zurek},
 year         = {2006},
 title        = {Decoherence and the transition from quantum to classical\IeC{\textemdash}revisited},
 booktitle    = {Quantum Decoherence},
 publisher    = {Springer},
 pages        = {1--31},
 doi          = {10.1007/978-3-7643-7808-0\_1},
)