@article(Bell64,
 author       = {John S. Bell},
 year         = {1964},
 title        = {On the {E}instein-{P}odolsky-{R}osen {P}aradox},
 journal      = {Physics},
 volume       = {1},
 pages        = {195--200},
)
@article(Brunet07PLA,
 author       = {Olivier Brunet},
 year         = {2007},
 title        = {A Priori Knowledge and the {K}ochen-{S}pecker Theorem},
 journal      = {Physical Letters A},
 volume       = {365},
 number       = {1-2},
 pages        = {39--43},
 doi          = {10.1016/j.physleta.2006.12.062},
)
@article(Brunet:2009,
 author       = {Olivier Brunet},
 year         = {2009},
 title        = {{P}artial {D}escription of {Q}uantum {S}tates},
 journal      = {International Journal of Theoretical Physics},
 volume       = {48},
 number       = {3},
 doi          = {10.1007/s10773-008-9849-0},
)
@book(NielsenChung2000Book,
 author       = {Isaac L. Chuang and Michael A. Nielsen},
 year         = {2000},
 title        = {Quantum Computation and Quantum Information},
 publisher    = {Cambridge},
)
@incollection(DallaChiara2001QuantumLogic,
 author       = {Dalla Chiara, Maria Luisa and Roberto Giuntini},
 year         = {2001},
 title        = {Quantum Logic},
 editor       = {D. Gabbay and F. Guenthner},
 booktitle    = {Handbook of Philosophical Logic},
 volume       = {III},
 publisher    = {Kluwer},
)
@article(Einstein35EPR,
 author       = {Albert Einstein and Boris Podolsky and Nathan Rosen},
 year         = {1935},
 title        = {Can quantum-mechanical description of physical reality be considered complete?},
 journal      = {Physical Review},
 volume       = {47},
 pages        = {777--780},
 doi          = {10.1103/PhysRev.47.777},
)
@article(RandallFoulis:Disaster,
 author       = {David J. Foulis and Charles H. Randall},
 year         = {1983},
 title        = {Properties and Operational Propositions in Quantum Mechanics},
 journal      = {Foundations of Physics},
 volume       = {13},
 doi          = {10.1007/BF01906271},
)
@(Fritz:Possibilistic,
 author       = {Tobias Fritz},
 year         = {2009},
 title        = {{P}ossibilistic {P}hysics},
 url          = {http://fqxi.org/community/forum/topic/569},
)
@(PlatoKS,
 author       = {Carsten Held},
 year         = {2013},
 title        = {The {K}ochen-{S}pecker {T}heorem},
 url          = {http://plato.stanford.edu/entries/kochen-specker},
)
@book(Hodges:Shorter,
 author       = {Wilfrid Hodges},
 year         = {1997},
 title        = {A {S}hort {M}odel {T}heory},
 publisher    = {Cambridge University Press},
)
@inbook(Jaynes:Scramble,
 author       = {Edwin T. Jaynes},
 year         = {1990},
 title        = {{C}omplexity, {E}ntropy and the {P}hysics of {I}nformation},
 publisher    = {Addison-Wesley},
)
@article(KochenSpecker67,
 author       = {Simon Kochen and Ernst P. Specker},
 year         = {1967},
 title        = {The {P}roblem of {H}idden {V}ariables in {Q}uantum {M}echanics},
 journal      = {Journal of Mathematics and Mechanics},
 volume       = {17},
 pages        = {59 -- 88},
)
@incollection(Marker:Introduction,
 author       = {David Marker},
 year         = {2000},
 title        = {Introduction to Model Theory},
 booktitle    = {Model Theory, Algebra and Geometry},
 volume       = {39},
 publisher    = {MSRI Publications},
)
@book(Marker:ModelTheory,
 author       = {David Marker},
 year         = {2002},
 title        = {Model Theory: An Introduction},
 series       = {Graduate Texts in Mathematics},
 volume       = {217},
 publisher    = {Springer},
)
@book(Peres2002:QuantumTheory,
 author       = {Asher Peres},
 year         = {2002},
 title        = {Quantum Theory: Concepts and Methods},
 series       = {Fudamental Theories of Physics},
 volume       = {72},
 publisher    = {Kluwer},
 doi          = {10.1007/0-306-47120-5},
)
@article(Rovelli96RQM,
 author       = {Carlo Rovelli},
 year         = {1996},
 title        = {Relational {Q}uantum {M}echanics},
 journal      = {International Journal of Theoretical Physics},
 volume       = {35},
 doi          = {10.1007/BF02302261},
)
@book(Svozil98Book,
 author       = {Karl Svozil},
 year         = {1998},
 title        = {Quantum Logic},
 publisher    = {Springer},
)
@(PlatoQuantLog,
 author       = {Alexander Wilce},
 title        = {Quantum Logic and Probability Theory},
 url          = {http://plato.stanford.edu/entries/qt-quantlog/},
)