
@INCOLLECTION{sep-conditionals,
  author = {Edgington, Dorothy},
  title = {Conditionals},
  booktitle = {The Stanford Encyclopedia of Philosophy},
  publisher = {},
  year = {2008},
  chapter = {},
  pages = {},
  address = {Stanford},
  editor = {Zalta, Edward N.},
  volume = {},
  number = {},
  series = {},
  type = {},
  edition = {},
  month = {},
  note = 
  {http://plato.stanford.edu/archives/win2008/entries/conditionals/ },
  otherinfo = {}
}











@BOOK{Williamson2008,
  author = {Williamson, Timothy},
  editor = {},
  title = {The Philosophy of Philosophy},
  publisher = {Blackwell},
  year = {2008},
  address = {Oxford},
  edition = {},
  volume = {},
  number = {},
  series = {},
  month = {},
  note = {},
  otherinfo = {}
}


@BOOK{Byrne2007,
  author = {Byrne, Ruth M. J.},
  editor = {},
  title = {The rational imagination},
  publisher = {MIT Press},
  year = {2007},
  address = {Cambridge MA},
  edition = {},
  volume = {},
  number = {},
  series = {},
  month = {},
  note = {},
  otherinfo = {}
}


@INCOLLECTION{Cameron-forth,
  author = {Cameron, Ross},
  title = {On the source of necessity},
  booktitle = {Modality: Metaphysics, Logic, and Epistemology},
  publisher = {Oxford University Press},
  year = {2009},
  chapter = {},
  pages = {},
  address = {Oxford},
  editor = {Hale, B. and Hoffmann, A.},
  volume = {},
  number = {},
  series = {},
  type = {},
  edition = {},
  month = {forthcoming},
  note = {Available at 
  \texttt{http://www.personal.leeds.ac.uk/~phlrpc/SourceOfNecessity.pdf}},
  otherinfo = {}
}


@ARTICLE{Hanks2008,
  author = {Hanks, Peter W.},
  title = {A dilemma about necessity},
  journal = {Erkenntnis},
  year = {2008},
  volume = {68},
  number = {1},
  pages = {129--148},
  month = {},
  note = {},
  otherinfo = {}
}

@ARTICLE{Hale2002,
  author = {Hale, Bob},
  title = {The source of necessity},
  journal = {Philosophical Perspectives},
  year = {2002},
  volume = {16},
  number = {},
  pages = {299--319},
  month = {},
  note = {},
  otherinfo = {}
}

@INCOLLECTION{Blackburn1987,
  author = {Blackburn, Simon},
  title = {Morals and modals},
  booktitle = {Fact, Science, and Value},
  publisher = {Blackwell},
  year = {1987},
  chapter = {},
  pages = {},
  address = {Oxford},
  editor = {Wright, C. and McDonald, C.},
  volume = {},
  number = {},
  series = {},
  type = {},
  edition = {},
  month = {},
  note = {Reprinted in \cite[Ch. 3]{Blackburn1993}
}

@BOOK{Blackburn1993,
  author = {Blackburn, Simon},
  editor = {},
  title = {Essays in quasi-realism},
  publisher = {Oxford University Press},
  year = {1993},
  address = {Oxford},
  edition = {},
  volume = {},
  number = {},
  series = {},
  month = {},
  note = {},
  otherinfo = {}
}


@ARTICLE{Lange2008,
  author = {Lange, Marc},
  title = {Why contingent facts cannot necessities make},
  journal = {Analysis},
  year = {2008},
  volume = {62},
  number = {2},
  pages = {120--128},
  month = {},
  note = {},
  otherinfo = {}
}

@ARTICLE{Gendler2000,
  author = {Szab\`o Gendler, Gendler},
  title = {The puzzle of Imaginative Resistance},
  journal = {Journal of Philosophy},
  year = {2000},
  volume = {97},
  number = {2},
  pages = {55--81},
  month = {},
  note = {},
  otherinfo = {}
}

@ARTICLE{Weatherson2004,
  author = {Weatherson, Brian},
  title = {Morality, Fiction and Possibility},
  journal = {Philosophers' Imprint},
  year = {2004},
  volume = {4},
  number = {3},
  pages = {1--27},
  month = {},
  note = {},
  otherinfo = {}
}

@ARTICLE{Walton1994,
  author = {Walton, Kendall},
  title = {Morals in fiction and fictional morality},
  journal = {Proceedings of Aristotelian Society},
  year = {1994},
  volume = {68},
  number = {},
  pages = {27--50},
  month = {},
  note = {},
  otherinfo = {}
}

@BOOK{Walton1990,
  author = {Walton, Kendall},
  editor = {},
  title = {Mimesis as make-believe},
  publisher = {Harvard University Press},
  year = {1990},
  address = {Cambridge MA},
  edition = {},
  volume = {},
  number = {},
  series = {},
  month = {},
  note = {},
  otherinfo = {}
}

@INCOLLECTION{Gendler2006,
  author = {Szab\`o Gendler, Tamar},
  title = {Imaginative resistance revisited},
  booktitle = {The Architecture of the Imagination},
  publisher = {Oxford University Press},
  year = {2006},
  chapter = {9},
  pages = {149--173},
  address = {Oxford},
  editor = {Nichols, Shaun},
  volume = {},
  number = {},
  series = {},
  type = {},
  edition = {},
  month = {},
  note = {},
  otherinfo = {}
}

@ARTICLE{Stock2005,
  author = {Stock, Kathleen},
  title = {Resisting Imaginative resistance},
  journal = {The Philosophical Quarterly},
  year = {2005},
  volume = {55},
  number = {221},
  pages = {607--624},
  month = {},
  note = {},
  otherinfo = {}
}

@ARTICLE{Todd2009,
  author = {Todd, Cain Samuel},
  title = {Imaginability, morality, and fictional truth: dissolving 
  the puzzle of imaginative resistance},
  journal = {Philosophical Studies},
  year = {2009},
  volume = {143},
  number = {},
  pages = {187--211},
  month = {},
  note = {},
  otherinfo = {}
}

@INCOLLECTION{Yablo2002,
  author = {Yablo, Stephen},
  title = {Coulda, Woulda, Shoulda},
  booktitle = {Conceivability and Possibility},
  publisher = {Oxford University Press},
  year = {2002},
  chapter = {13},
  pages = {441--492},
  address = {Oxford},
  editor = {Szab\`o Gendler, Tamar and Hawthorne, John},
  volume = {},
  number = {},
  series = {},
  type = {},
  edition = {},
  month = {},
  note = {},
  otherinfo = {}
}










@ARTICLE{Soames1987,
  author = {Soames, Scott},
  title = {Direct Reference, Propositional Attitudes, and Semantic 
  Content},
  journal = {Philosophical Topics},
  year = {1987},
  volume = {15},
  number = {1},
  pages = {47-87},
  month = {},
  note = {},
  otherinfo = {}
}


@ARTICLE{Fine1980,
  author = {Fine, Kit},
  title = {First-order Modal Theories},
  journal = {Studia Logica},
  year = {1980},
  volume = {39},
  number = {2-3},
  pages = {159--202},
  month = {},
  note = {},
  otherinfo = {}
}

@INCOLLECTION{Prior77b,
  author = {Prior, A.N.},
  title = {The parallel between modal logic and quantification 
  theory},
  booktitle = {Worlds, Times, and Selves},
  publisher = {Duckworth},
  year = {1977},
  chapter = {1},
  pages = {9--27},
  address = {London},
  editor = {},
  volume = {},
  number = {},
  series = {},
  type = {},
  edition = {},
  month = {},
  note = {},
  otherinfo = {}
}

@ARTICLE{Putnam1975,
  author = {Putnam, Hilary},
  title = {The meaning of ``meaning''},
  journal = {Minnesota Studies in the Philosophy of Science},
  year = {1975},
  volume = {7},
  number = {},
  pages = {},
  month = {},
  note = {},
  otherinfo = {}
}

@INCOLLECTION{Fine2002,
  author = {Fine, Kit},
  title = {The Varieties of Necessity},
  booktitle = {Conceivability and Possibility},
  publisher = {Oxford University Press},
  year = {2002},
  chapter = {},
  pages = {253--282},
  address = {Oxford},
  editor = {Gendler, T.S. and Hawthorne, J.},
  volume = {},
  number = {},
  series = {},
  type = {},
  edition = {},
  month = {},
  note = {Ristampato in \citet[p. 235--260]{Fine2005}},
  otherinfo = {}
}


@ARTICLE{Lewis1996,
  author = {Lewis, David K.},
  title = {Elusive Knowledge},
  journal = {Australasian Journal of Philosophy},
  year = {1996},
  volume = {74},
  number = {},
  pages = {549--567},
  month = {},
  note = {Reprinted in \cite[cap. 25]{Lewis1999}},
  otherinfo = {}
}

@BOOK{Lewis1999,
  author = {Lewis, David K.},
  editor = {},
  title = {Papers in Metaphysics and Epistemology},
  publisher = {Cambridge University Press},
  year = {1999},
  address = {Cambridge},
  edition = {},
  volume = {},
  number = {},
  series = {},
  month = {},
  note = {},
  otherinfo = {}
}


@BOOK{Allen&Hand2001,
  author = {Allen, Colin and Hand, Michael},
  editor = {},
  title = {Logic Primer},
  publisher = {The MIT Press},
  year = {2001},
  address = {Cambridge MA},
  edition = {{II}},
  volume = {},
  number = {},
  series = {},
  month = {},
  note = {},
  otherinfo = {}
}


@ARTICLE{McKinsey&Tarski1948,
  author = {McKinsey, J.C.C. and Tarski, A.},
  title = {Some theorems about the sentential calculi of {L}ewis and 
    {H}eyting},
  journal = {Journal of Symbolic Logic},
  year = {1948},
  volume = {13},
  number = {1},
  pages = {1--15},
  month = {},
  note = {},
  otherinfo = {}
}

@BOOK{Prior1962,
  author = {Prior, Arthur N.},
  editor = {},
  title = {Formal Logic},
  publisher = {Clarendon Press},
  year = {1962},
  address = {Oxford},
  edition = {{II}},
  volume = {},
  number = {},
  series = {},
  month = {},
  note = {},
  otherinfo = {}
}

@ARTICLE{Burge1974,
  author = {Burge, Tyler},
  title = {Truth and Singular Terms},
  journal = {No\^{u}s},
  year = {1974},
  volume = {8},
  number = {4},
  pages = {309--325},
  month = {},
  note = {},
  otherinfo = {}
}

@INCOLLECTION{Bencivenga1986,
  author = {Bencivenga, Ermanno},
  title = {Introduzione},
  booktitle = {Le Logiche Libere},
  publisher = {Bollati Boringhieri},
  year = {1986},
  chapter = {},
  pages = {11--117},
  address = {Torino},
  editor = {Bencivenga, Ermanno},
  volume = {},
  number = {},
  series = {},
  type = {},
  edition = {},
  month = {},
  note = {},
  otherinfo = {}
}

@ARTICLE{Donnellan1966,
  author = {Donnellan, Keith},
  title = {Reference and Definite Description},
  journal = {Philosophical Review},
  year = {1966},
  volume = {75},
  number = {3},
  pages = {281--304},
  month = {},
  note = {},
  otherinfo = {}
}

@BOOK{Hintikka1962,
  author = {Hintikka, Jaakko},
  editor = {},
  title = {Knowledge and Belief},
  publisher = {Cornell University Press},
  year = {1962},
  address = {Itacha, NY},
  edition = {},
  volume = {},
  number = {},
  series = {},
  month = {},
  note = {},
  otherinfo = {}
}


@BOOK{vonWright1951a,
  author = {von Wright, Georg Henrik},
  editor = {},
  title = {An Essay in Modal Logic},
  publisher = {North-Holland},
  year = {1951},
  address = {Dordrecht},
  edition = {},
  volume = {},
  number = {},
  series = {},
  month = {},
  note = {},
  otherinfo = {}
}

@ARTICLE{vonWright1951,
  author = {von Wright, Georg Henrik},
  title = {Deontic Logic},
  journal = {Mind},
  year = {1951},
  volume = {60},
  number = {237},
  pages = {1--15},
  month = {},
  note = {},
  otherinfo = {}
}

@ARTICLE{Lucasiewicz1953,
  author = {Lucasiewicz, Jan},
  title = {A system of modal logic},
  journal = {Journal of Computing Systems},
  year = {1953},
  volume = {1},
  number = {3},
  pages = {},
  month = {},
  note = {},
  otherinfo = {}
}

@INCOLLECTION{Morato2007b,
  author = {Morato, Vittorio},
  title = {Possibilia: contro la concezione attributiva},
  booktitle = {Ontologie Regionali},
  publisher = {Mimesis},
  year = {2007},
  chapter = {},
  pages = {165--186},
  address = {Milano},
  editor = {Bottani, Andrea and Davies, Richard},
  volume = {},
  number = {},
  series = {},
  type = {},
  edition = {},
  month = {},
  note = {},
  otherinfo = {}
}


@BOOK{Buring2005,
  author = {B\"uring, Daniel},
  editor = {},
  title = {Binding Theory},
  publisher = {Cambridge University Press},
  year = {2005},
  address = {Cambridge},
  edition = {},
  volume = {},
  number = {},
  series = {Cambridge Textbooks in Linguistics},
  month = {},
  note = {},
  otherinfo = {}
}

@INCOLLECTION{Kaplan1973,
  author = {Kaplan, David},
  title = {Bob and {C}arol and {T}ed and {A}lice},
  booktitle = {Approaches to Natural Language},
  publisher = {Reidel},
  year = {1973},
  chapter = {},
  pages = {490--518},
  address = {Dordrecht},
  editor = {Hintikka, J. and Moravcsik, J. and Suppes, P.},
  volume = {},
  number = {},
  series = {},
  type = {},
  edition = {},
  month = {},
  note = {},
  otherinfo = {}
}


@INCOLLECTION{Mignucci1997,
  author = {Mignucci, Mario},
  title = {Logica},
  booktitle = {Aristotele},
  publisher = {Laterza},
  year = {1997},
  chapter = {1},
  pages = {47--101},
  address = {Roma-Bari},
  editor = {Berti, Enrico},
  volume = {},
  number = {},
  series = {},
  type = {},
  edition = {},
  month = {},
  note = {},
  otherinfo = {}
}

@INCOLLECTION{Gupta2008,
  author = {Gupta, Anil},
  title = {Definitions},
  booktitle = {The Stanford Encyclopedia of Philosophy},
  publisher = {},
  year = {2008},
  chapter = {},
  pages = {},
  address = {},
  editor = {Zalta, Edward A.},
  volume = {},
  number = {},
  series = {},
  type = {},
  edition = {Summer 2008},
  month = {},
  note = {http://plato.stanford.edu/entries/definitions/},
  otherinfo = {}
}


@BOOK{Blackburn&Simmons1999,
  author = {},
  editor = {Blackburn, Simon and Simmons, Keith},
  title = {Truth},
  publisher = {Oxford University Press},
  year = {1999},
  address = {Oxford},
  edition = {},
  volume = {},
  number = {},
  series = {Oxford Readings in Philosophy},
  month = {},
  note = {},
  otherinfo = {}
}


@ARTICLE{Tarski1944,
  author = {Tarski, Alfred},
  title = {The Semantic Conception of Truth},
  journal = {Philosophy and Phenomenological Research},
  year = {1944},
  volume = {4},
  number = {},
  pages = {},
  month = {},
  note = {Ristampato in \citet[pp. 115--143]{Blackburn&Simmons1999}},
  otherinfo = {}
}


@BOOK{Rawls1971,
  author = {Rawls, John},
  editor = {},
  title = {A Theory of Justice},
  publisher = {Oxford University Press},
  year = {1971},
  address = {Oxford},
  edition = {},
  volume = {},
  number = {},
  series = {},
  month = {},
  note = {},
  otherinfo = {}
}

@BOOK{Goodman1955,
  author = {Goodman, Nelson},
  editor = {},
  title = {Fact, Fiction and Forecast},
  publisher = {Harvard University Press},
  year = {1955},
  address = {Harvard},
  edition = {},
  volume = {},
  number = {},
  series = {},
  month = {},
  note = {},
  otherinfo = {}
}

@BOOK{Barwise&Etchemendy,
  author = {Barwise, J. and Etchemendy, J.},
  editor = {},
  title = {Language, Proof and Logic},
  publisher = {CSLI Publications},
  year = {1999},
  address = {Stanford},
  edition = {},
  volume = {},
  number = {},
  series = {},
  month = {},
  note = {},
  otherinfo = {}
}

@INCOLLECTION{Quine1953,
  author = {Quine, Willard van Orman},
  title = {Three grades of modal involvement},
  booktitle = {The ways of paradox},
  publisher = {Harvard University Press},
  year = {1966},
  chapter = {13},
  pages = {156--174},
  address = {Cambridge MA},
  editor = {},
  volume = {},
  number = {},
  series = {},
  type = {},
  edition = {},
  month = {},
  note = {},
  otherinfo = {}
}

@ARTICLE{Copeland2002,
  author = {Copeland, B.J.},
  title = {The genesis of possible worlds semantics},
  journal = {Journal of Philosophical Logic},
  year = {2002},
  volume = {31},
  number = {2},
  pages = {99--137},
  month = {},
  note = {},
  otherinfo = {}
}

@INPROCEEDINGS{Morato2007,
  author = {Morato, Vittorio},
  title = {Bare possibilia and counting questions},
  booktitle = {Selected papers contributed to the sections of GAP.6},
  year = {2007},
  editor = {Bohse, H. \and Dreimann, K. \and Walter, S.},
  pages = {},
  address = {Padeborn},
  organization = {},
  publisher = {Mentis Verlag},
  volume = {},
  number = {},
  series = {},
  month = {},
  note = {},
  otherinfo = {}
}


@ARTICLE{Geach1956,
  author = {Geach, Peter T.},
  title = {Good and Evil},
  journal = {Analysis},
  year = {1956},
  volume = {17},
  number = {2},
  pages = {33-42},
  month = {},
  note = {},
  otherinfo = {}
}

@ARTICLE{Lewis2000,
  author = {Lewis, David K.},
  title = {Causation as influence},
  journal = {Journal of Philosophy},
  year = {2000},
  volume = {97},
  number = {},
  pages = {182---197},
  month = {},
  note = {},
  otherinfo = {}
}

@ARTICLE{Schaffer2000,
  author = {Schaffer, Jonathan},
  title = {Trumping pre-emption},
  journal = {Journal of Philosophy},
  year = {2000},
  volume = {97},
  number = {4},
  pages = {165--181},
  month = {},
  note = {},
  otherinfo = {}
}

@ARTICLE{Lewis1973b,
  author = {Lewis, David K.},
  title = {Causation},
  journal = {Journal of Philosophy},
  year = {1973},
  volume = {70},
  number = {},
  pages = {556--567},
  month = {},
  note = {},
  otherinfo = {}
}
@ARTICLE{Kim1965,
  author = {Kim, Jaegwon},
  title = {Causes and events: {M}ackie on causation},
  journal = {Journal of Philosophy},
  year = {1965},
  note = {},
}
@BOOK{Sosa&Tooley1993,
  author = {},
  editor = {Sosa, Ernest and Tooley, Michael},
  title = {Causation},
  publisher = {Oxford University Press},
  year = {1993},
  otherinfo = {}
}
@BOOK{Hume1739-40,
  author = {Hume, David},
  editor = {},
  title = {A Treatise of Human Nature},
  publisher = {},
  year = {1739-40},
  otherinfo = {Eds. D. Norton, M. Norton, Oxford University Press, 
2000}
}
@BOOK{Fodor1989,
  author = {Fodor, Jerry},
  editor = {},
  title = {Concepts: where cognitive science went wrong},
  publisher = {Oxford University Press},
  year = {1989},
  otherinfo = {}
}
@ARTICLE{Mackie1965,
  author = {Mackie, John L.},
  title = {Causes as conditions},
  journal = {American Philosophical Quarterly},
  year = {1965},
  volume = {2},
  number = {4},
  pages = {245--264},
  month = {},
  note = {Reprinted in \cite[pp. 33--55]{Sosa&Tooley1993}},
  otherinfo = {}
}
@article{Adams1974,
  Title =	 "Theories of Actuality",
  Author =	 "Adams, Robert M.",
  Journal =	 "Nous",
  Year =	 "1974",
  Volume =	 "8",
  Pages =	 "211--231",
  Note =         "Reprinted in \cite[pp. 190-209]{Loux1979}"
}

@Article{Adams1979,
  author = 	 {Adams, Robert M.},
  title = 	 {Primitive thisness and primitive identity},
  journal = 	 {Journal of philosophy},
  year = 	 {1979},
  OPTkey = 	 {},
  volume = 	 {76},
  number = 	 {1},
  pages = 	 {5--26},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@Article{Adams1981,
  Title =	 "Actualism and Thisness",
  Author =	 "Adams, Robert M.",
  Journal =	 "Synthese",
  Year =	 "1981",
  Volume =	 "49",
  Pages =	 "3--41"
}

@Article{Adams1986,
  author = 	 {Adams, Robert M.},
  title = 	 {Time and Thisness},
  journal = 	 {Midwest Studies in Philosophy},
  year = 	 {1986},
  OPTkey = 	 {},
  OPTvolume = 	 {11},
  number = 	 {},
  pages = 	 {315--329},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@Article{Almog1986,
  author = 	 {Almog, Joseph},
  title = 	 {Naming without Necessity},
  journal = 	 {Journal of Philosophy},
  year = 	 {1986},
  OPTkey = 	 {},
  volume = 	 {LXXXIII},
  number = 	 {4},
  pages = 	 {210--242},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@PhdThesis{Aloni2002,
  author = 	 {Aloni, M.},
  title = 	 {Quantification under Conceptual Covers},
  school = 	 {ILLC},
  year = 	 {2002},
  OPTkey = 	 {},
  OPTtype = 	 {},
  address = 	 {Amsterdam},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@Book{Armstrong1978-b,
  author = 	 {Armstrong, D.M.},
  ALTeditor = 	 {},
  title = 	 {Universals and scientific realism},
  publisher = 	 {Cambridge University Press},
  year = 	 {1978},
  OPTkey = 	 {},
  volume = 	 {2: A Theory of Universals},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@Book{Armstrong1989,
 author = 	 {Armstrong, David M.},
  ALTeditor = 	 {},
  title = 	 {A combinatorial theory of possibility},
  publisher = 	 {Cambridge University Press},
  year = 	 {1989},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address = 	 {Cambridge},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@InCollection{Barcan-Marcus1985,
  author = 	 {Barcan Marcus, Ruth},
  title = 	 {Possibilia and possible Worlds},
  booktitle = 	 {Modalities},
  crossref =  {Barcan-Marcus1993},
  OPTkey = 	 {},
  pages = 	 {189--213},
  publisher = {Oxford University Press},
  year = 	 {1985},
  OPTeditor = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTtype = 	 {},
  chapter = 	 {13},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@Book{Barcan-Marcus1993,
  author = 	 {Barcan Marcus, Ruth},
  ALTeditor = 	 {},
  title = 	 {Modalities},
  publisher = 	 {Oxford University Press},
  year = 	 {1993},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address = 	 {Oxford},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@Article{BarwiseCooper1981,
  author = 	 {Barwise, J. and Cooper, R.},
  title = 	 {Generalized quantifiers and natural language},
  journal = 	 {Linguistics and Philosophy},
  year = 	 {1981},
  OPTkey = 	 {},
  volume = 	 {4},
  OPTnumber = 	 {},
  pages = 	 {159-219},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@Article{Benacerraf1965,
  author = 	 {Benacerraf, Paul},
  title = 	 {What numbers could not be},
  journal = 	 {Philsophical Review},
  year = 	 {1965},
  OPTkey = 	 {},
  volume = 	 {74},
  number = 	 {1},
  pages = 	 {43--73},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}


@Book{Blackburn-et-al2001,
  author = 	 {Blackburn, Patrick and de Rijike, Maarten and Venema, Yke},
  ALTeditor = 	 {},
  title = 	 {Modal Logic},
  publisher = 	 {Cambridge University Press},
  year = 	 {2001},
  OPTkey = 	 {},
  volume = 	 {53},
  OPTnumber = 	 {},
  series = 	 {Cambridge Tracts in Theoretical Computer Science},
  address = 	 {Cambridge},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Article{Bricker87,
  author = 	 {Bricker, Phillip},
  title = 	 {Reducing Possible Worlds to Language},
  journal = 	 {Philosophical Studies},
  year = 	 {1987},
  OPTkey = 	 {},
  volume = 	 {52},
  number = 	 {3},
  pages = 	 {331--355},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@article{Brock1993,
  title={{Modal Fictionalism: A Response to Rosen}},
  author={Brock, S.},
  journal={Mind},
  volume={102},
  number={405},
  pages={147--150},
  year={1993},
  publisher={}
}
@Article{Bull1964,
  author = 	 {Bull, Robert A.},
  title = 	 {An axiomatization of {P}rior's modal calculus $\mathsf{Q}$},
  journal = 	 {Notre Dame Journal of Formal Logic},
  year = 	 {1964},
  OPTkey = 	 {},
  volume = 	 {5},
  number = 	 {3},
  pages = 	 {211--214},
  month = 	 {July},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Book{Carnap1947,
  author = 	 {Carnap, Rudolf},
  ALTeditor = 	 {},
  title = 	 {Meaning and Necessity},
  publisher = 	 {Chicago University Press},
  year = 	 {1947},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address = 	 {Chicago},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@Book{Chellas1980,
  author = 	 {Chellas, Brian},
  ALTeditor = 	 {},
  title = 	 {Modal Logic: An Introduction},
  publisher = 	 {Cambridge University Press},
  year = 	 {1980},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address = 	 {Cambridge},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@Book{Chicago,
  author = 	 {Chicago Editorial Staff},
  ALTeditor = 	 {},
  title = 	 {Chicago Manual of Style},
  publisher = 	 {University of Chicago Press},
  year = 	 {2003},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTaddress = 	 {},
  edition = 	 {15th},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@book{Chihara1998,
  Title =	 "The Worlds of Possibility",
  Author =	 "Chihara, Charles S.",
  Publisher =	 "Oxford University Press",
  Year =	 "1998",
  Address =	 "Oxford"
}
@Article{Cook2002,
  author = 	 {Cook, Roy T.},
  title = 	 {Vagueness and Mathematical Precision},
  journal = 	 {Mind},
  year = 	 {2002},
  OPTkey = 	 {},
  volume = 	 {111},
  number = 	 {442},
  pages = 	 {225--247},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Article{Cresswell1975,
  author = 	 {Cresswell, M.J.},
  title = 	 {Hyperintensional logic},
  journal = 	 {Studia Logica},
  year = 	 {1975},
  OPTkey = 	 {},
  volume = 	 {34},
  OPTnumber = 	 {},
  pages = 	 {25--38},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Article{Cresswell1991,
  author = 	 {Cresswell, M.J.},
  title = 	 {In defence of the Barcan formula},
  journal = 	 {Logique \& Analyse},
  year = 	 {1991},
  OPTkey = 	 {},
  volume = 	 {135-136},
  OPTnumber = 	 {},
  OPTpages = 	 {271--282},
  month = 	 {Septembre-D\'ecembre},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@InCollection{Davidson-def,
  author = 	 {Davidson, Donald},
  title = 	 {In defense of convention {T}},
  booktitle = 	 {Inquiries into Truth and Interpretation},
  crossref =     {Davidson84},
  OPTkey = 	 {},
  pages = 	 {65--75},
  OPTpublisher = {},
  year = 	 {1973},
  OPTeditor = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTtype = 	 {},
  OPTchapter = 	 {},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Book{Davidson84,
  author = 	 {Davidson, Donald},
  ALTeditor = 	 {},
  title = 	 {Inquiries into truth and interpretation},
  publisher = 	 {Oxford University Press},
  year = 	 {1984},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address = 	 {Oxford},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Article{Davies1978,
  author = 	 {Davies, Martin},
  title = 	 {Weak Necessity and Truth Theories},
  journal = 	 {Journal of Philosophical Logic},
  year = 	 {1978},
  OPTkey = 	 {},
  volume = 	 {7},
  number = 	 {4},
  pages = 	 {415--439},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Article{Deutsch1990,
  author = 	 {Deutsch, Harry},
  title = 	 {Contingency and Modal Logic},
  journal = 	 {Philosophical Studies},
  year = 	 {1990},
  OPTkey = 	 {},
  volume = 	 {60},
  number = 	 {1/2},
  pages = 	 {89--102},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Article{Deutsch1994,
  author = 	 {Deutsch, Harry},
  title = 	 {Logic for Contingent Beings},
  journal = 	 {Journal of Philosophical Research},
  year = 	 {1994},
  OPTkey = 	 {},
  volume = 	 {XIX},
  OPTnumber = 	 {},
  pages = 	 {273--32},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@InCollection{Deutsch89,
  author = 	 {Deutsch, Harry},
  title = 	 {On Direct Reference},
  booktitle = 	 {Themes from Kaplan},
  crossref =  {ThemesKaplan},
  OPTkey = 	 {},
  pages = 	 {167--195},
  OPTpublisher = {},
  OPTyear = 	 {},
  OPTeditor = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTtype = 	 {},
  chapter = 	 {9},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Article{Divers-Melia2003,
  author = 	 {Divers, John and Joseph Melia},
  title = 	 {The analytic limit of genuine modal realism},
  journal = 	 {Mind},
  year = 	 {2002},
  OPTkey = 	 {},
  volume = 	 {111},
  number = 	 {441},
  pages = 	 {15--36},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@article{Divers1995,
  title={{Modal Fictionalism Cannot Deliver Possible Worlds Semantics}},
  author={Divers, J.},
  journal={Analysis},
  volume={55},
  number={2},
  pages={81--89},
  year={1995},
  publisher={JSTOR}
}
@book{Divers2002,
  Title =	 "Possible Worlds",
  Author =	 "Divers, John",
  Publisher =	 "Routledge",
  Year =	 "2002",
  Address =	 "London"
}
@article{Divers2004,
  title={{Agnosticism about other worlds: A new antirealist programme in modality}},
  author={Divers, J.},
  journal={Philosophy and Phenomenological Research},
  volume={69},
  pages={659--84},
  year={2004}
}
@article{Divers2006,
  title={{Possible-Worlds Semantics Without Possible Worlds: The Agnostic Approach}},
  author={Divers, John},
  journal={Mind},
  volume={115},
  number={458},
  pages={187},
  year={2006},
  publisher={Mind Assoc}
}
@Article{Donnellan1977,
  author = 	 {Donnellan, Keith},
  title = 	 {The Contingent \emph{a priori} and Rigid Designation},
  journal = 	 {Midwest Studies in Philosophy},
  year = 	 {1977},
  OPTkey = 	 {},
  volume = 	 {2},
  number = 	 {},
  OPTpages = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@PhdThesis{Efird2002,
  author = 	 {Efird, David},
  title = 	 {Unfenced Existence: the Logic and the Metaphysics of Necessary Beings},
  school = 	 {New College},
  year = 	 {2002},
  OPTkey = 	 {},
  OPTtype = 	 {},
  address = 	 {Oxford},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Article{Elshof2000,
  author = 	 {Elshof, Greg},
  title = 	 {A defence of moderate haecceitism},
  journal = 	 {Grazer Philosophische Studien},
  year = 	 {2000},
  OPTkey = 	 {},
  volume = 	 {60},
  OPTnumber = 	 {},
  pages = 	 {55-74},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Article{Ernestojpl,
  author = 	 {Napoli, Ernesto},
  title = 	 {(Direct) Reference},
  journal = 	 {Journal of Philosophical Logic},
  year = 	 {1995},
  OPTkey = 	 {},
  volume = 	 {24},
  number = 	 {3},
  pages = 	 {321--339},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Article{Etchemendy88,
  author = 	 {Etchemendy, John},
  title = 	 {Models, semantics and logical truth},
  journal = 	 {Linguistics and Philosophy},
  year = 	 {1988},
  OPTkey = 	 {},
  volume = 	 {11},
  number = 	 {1},
  pages = 	 {91--106},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Book{Etchemendy99,
  author = 	 {Etchemendy, John},
  ALTeditor = 	 {},
  title = 	 {The concept of logical consequence},
  publisher = 	 {CSLI Publications},
  year = 	 {1999},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  series = 	 {The David Hume series},
  OPTaddress = 	 {},
  edition = 	 {second},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Article{Fara&Williamson2005,
  author = 	 {Fara, Michael and Williamson, Timothy},
  title = 	 {Counterparts and actuality},
  journal = 	 {Mind},
  year = 	 {2005},
  OPTkey = 	 {},
  volume = 	 {114},
  OPTnumber = 	 {},
  OPTpages = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@InCollection{Fine1977,
  author = 	 {Fine, Kit},
  title =        {Prior on the Construction of Possible Worlds
  and Instants},
  booktitle = 	 {World, Times and Selves},
  crossref =     {Prior1977},
  OPTkey = 	 {},
  pages = 	 {116--161},
  OPTpublisher = {},
  OPTyear = 	 {},
  OPTeditor = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTtype = 	 {},
  chapter = 	 {Postscript},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  note = 	 {Chapter 4 of \cite[pp.133--174]{Fine2005}},
  OPTannote = 	 {}
}
@article{Fine1978,
  title={{Model theory for modal logic, part I: the De re/de dicto distinction}},
  author={Fine, Kit},
  journal={Journal of Philosophical Logic},
  volume={7},
  number={1},
  pages={125--156},
  year={1978},
  publisher={Springer}
}
@article{Fine1978b,
  title={{Model theory for modal logic, part II: the elimination of De re modality}},
  author={Fine, Kit},
  journal={Journal of Philosophical Logic},
  volume={7},
  number={1},
  pages={277--306},
  year={1978},
  publisher={Springer}
}
@article{Fine1981,
  title={{Model theory for modal logic, part III: existence and predication}},
  author={Fine, Kit},
  journal={Journal of Philosophical Logic},
  volume={10},
  number={3},
  pages={293--307},
  year={1981},
  publisher={Springer}
}
@Book{Fine1985a,
  author = 	 {Fine, Kit},
  ALTeditor = 	 {},
  title = 	 {Reasoning with arbitrary objects},
  publisher = 	 {Basil Blackwell},
  year = 	 {1985},
  OPTkey = 	 {},
  volume = 	 {3},
  OPTnumber = 	 {},
  series = 	 {Aristotelian Society Series},
  address = 	 {Oxford},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@InCollection{Fine1985,
  author = 	 {Fine, Kit},
  title = 	 {Plantinga on the reduction of possibilist discourse},
  booktitle = 	 {Alvin Plantinga},
  crossref =  {Plantinga-coll},
  OPTkey = 	 {},
  pages = 	 {145--186},
  OPTpublisher = {},
  year = 	 {1985},
  OPTeditor = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTtype = 	 {},
  OPTchapter = 	 {},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@Article{Fine1994,
  author = 	 {Fine, Kit},
  title = 	 {Essence and Modality},
  journal = 	 {Philosophical Perspectives},
  year = 	 {1994},
  OPTkey = 	 {},
  volume = 	 {8},
  OPTnumber = 	 {},
  pages = 	 {1--16},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@InCollection{Fine2003,
  author = 	 {Fine, Kit},
  title = 	 {The problem of possiblia},
  booktitle = 	 {Oxford Handbook of Metaphysics},
  crossref =  {OxHandMetaph},
  OPTkey = 	 {},
  pages = 	 {161--179},
  OPTpublisher = {},
  OPTyear = 	 {},
  OPTeditor = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTtype = 	 {},
  OPTchapter = 	 {},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Book{Fine2005,
  author = 	 {Fine, Kit},
  ALTeditor = 	 {},
  title = 	 {Modality and Tense},
  publisher = 	 {Oxford University Press},
  year = 	 {2005},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address = 	 {Oxford},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Article{Fine83,
  author = 	 {Fine, Kit},
  title = 	 {Permutation in Quantificational Logic},
  journal = 	 {Journal of Philosohical Logic},
  year = 	 {1983},
  OPTkey = 	 {},
  volume = 	 {12},
  number = 	 {1},
  pages = 	 {33--37},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Article{Fitch1996,
  author = 	 {Fitch, G.W.},
  title = 	 {In Defense of Aristotelian Actualism},
  journal = 	 {Philosophical Perspectives},
  year = 	 {1996},
  OPTkey = 	 {},
  volume = 	 {10},
  OPTnumber = 	 {},
  pages = 	 {53--71},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Book{FittingMendelsohn,
  author = 	 {Fitting, Melvin and Mendelsohn, Richard},
  ALTeditor = 	 {},
  title = 	 {First-order Modal Logic},
  publisher = 	 {Kluwer Academic Publishers},
  year = 	 {1998},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  series = 	 {Synthese Library},
  OPTaddress = 	 {Dordrecht},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@book{Forbes1985,
  title={{The metaphysics of modality}},
  author={Forbes, G.},
  year={1985},
  publisher={Clarendon Press},
  Address={Oxford}
}
@book{Forbes1989,
  Title =	 "Languages of Possibility",
  Author =	 "Forbes, Graeme",
  Publisher =	 "Basil Blackwell",
  Year =	 "1989",
  Address =	 "Oxford"
}
@article{Forbes1992,
  Title =	 "Melia on Modalism",
  Author =	 "Forbes, Graeme",
  Journal =	 "Philosophical Studies",
  Year =	 "1992",
  Volume =	 "68",
  Pages =	 "57--63"
}
@InCollection{Garson1984,
  author = 	 {Garson, James W.},
  title = 	 {Quantification in Modal Logic},
  booktitle = 	 {Handbook of Philosophical Logic},
  crossref =  {Handbook},
  OPTkey = 	 {},
  OPTpages = 	 {},
  OPTpublisher = {},
  OPTyear = 	 {},
  OPTeditor = 	 {},
  volume = 	 {2: Extensions of Classical Logic},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTtype = 	 {},
  OPTchapter = 	 {},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Article{Geach1950,
  author = 	 {Geach, Peter T.},
  title = 	 {On names of expressions},
  journal = 	 {Mind},
  year = 	 {1950},
  OPTkey = 	 {},
  volume = 	 {59},
  number = 	 {235},
  pages = 	 {388},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Book{Geurts1999,
  author = 	 {Geurts, B.},
  ALTeditor = 	 {},
  title = 	 {Pronouns and Presuppositions},
  publisher = 	 {Elsevier},
  year = 	 {1999},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Book{Goossens2004,
  author = 	 {Braams, J. and Mittelbach, F, and Samarin, A.},
  ALTeditor = 	 {},
  title = 	 {The \LaTeX \ Companion},
  publisher = 	 {Addison-Wesley},
  year = 	 {2004},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address = 	 {Boston},
  edition = 	 {2nd},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Article{Gronendijk&Stokof1991,
  author = 	 {Gronendijk, J. and Stokhof, M.},
  title = 	 {Dynamic Predicate Logic},
  journal = 	 {Linguistics and Philosophy},
  year = 	 {1991},
  OPTkey = 	 {},
  volume = 	 {14},
  OPTnumber = 	 {},
  OPTpages = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@article{Gupta1978,
  Author =	 "Gupta, Anil",
  Title =	 "Modal Logic and Truth",
  Journal =	 "Journal of Philosophical Logic",
  Year =	 "1978",
  Volume =	 "7",
  Number =       "4",
  Pages =	 "441--472"
}
@Book{Gupta80,
  author = 	 {Gupta, Anil},
  ALTeditor = 	 {},
  title = 	 {The Logic of Common Nouns},
  publisher = 	 {Yale University Press},
  year = 	 {1980},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address = 	 {New Haven},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Book{Haack1978,
  author = 	 {Haack, Susan},
  ALTeditor = 	 {},
  title = 	 {Philosophy of logics},
  publisher = 	 {Cambridge University Press},
  year = 	 {1978},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Book{Haegeman1994,
  author = 	 {Haegeman, Liliane},
  ALTeditor = 	 {},
  title = 	 {Introduction to Government and Binding theory},
  publisher = 	 {Blackwell},
  year = 	 {1994},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address = 	 {Oxford},
  edition = 	 {2nd},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@article{Hale1995,
  title={{Modal Fictionalism: A Simple Dilemma}},
  author={Hale, B.},
  journal={Analysis},
  volume={55},
  number={2},
  pages={63--67},
  year={1995},
  publisher={}
}
@Book{Handbook,
  ALTauthor = 	 {},
  editor = 	 {Gabbay, D. and Guenther, F.},
  title = 	 {Handbook of Philosophical Logic},
  publisher = 	 {D. Reidel Publishing Company},
  year = 	 {1984},
  OPTkey = 	 {},
  volume = 	 {2},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address = 	 {Dordrecht},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Article{Hayaki2006,
  author = 	 {Hayaki, Reina},
  title = 	 {Contingent objects and the {B}arcan {F}ormula},
  journal = 	 {Erkenntnis},
  year = 	 {2006},
  OPTkey = 	 {},
  volume = 	 {64},
  number = 	 {1},
  pages = 	 {75--83},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Article{Hazen1976,
  author = 	 {Hazen, Allen},
  title = 	 {Expressive Incompleteness in Modal Logic},
  journal = 	 {Journal of Philosophical Logic},
  year = 	 {1976},
  OPTkey = 	 {},
  volume = 	 {5},
  OPTnumber = 	 {},
  pages = 	 {25--46},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Article{Hazen1990,
  author = 	 {Hazen, Allen},
  title = 	 {Actuality and Quantification},
  journal = 	 {Notre Dame journal of Formal Logic},
  year = 	 {1990},
  OPTkey = 	 {},
  volume = 	 {31},
  number = 	 {4},
  pages = 	 {498--508},
  month = 	 {Fall},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Article{Hintikka57,
  author = 	 {Hintikka, Jaakko},
  title = 	 {Modality and quantification},
  journal = 	 {Theoria},
  year = 	 {1957},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  number = 	 {27},
  pages = 	 {119--128},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@article{Hodes1984,
  title={{Axioms for actuality}},
  author={Hodes, H.T.},
  journal={Journal of Philosophical Logic},
  volume={13},
  number={1},
  pages={27--34},
  year={1984},
  publisher={Springer}
}
@Article{Hoffmann2003,
  author = 	 {Hoffmann, Aviv},
  title = 	 {A Puzzle about Truth and Singular Propositions},
  journal = 	 {Mind},
  year = 	 {2003},
  OPTkey = 	 {},
  volume = 	 {112},
  number = 	 {448},
  pages = 	 {636--651},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Article{Hofweber2005,
  author = 	 {Hofweber, Thomas},
  title = 	 {Supervenience and object-dependent properties},
  journal = 	 {Journal of Philosophy},
  year = 	 {2005},
  OPTkey = 	 {},
  volume = 	 {102},
  number = 	 {1},
  pages = 	 {5--32},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Book{HughesCresswell1996,
  author = 	 {Hughes, G. and Cresswell, M.J.},
  ALTeditor = 	 {},
  title = 	 {A New Introduction to Modal Logic},
  publisher = 	 {Routledge},
  year = 	 {1996},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address = 	 {London},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Book{Hugly-Sayward,
  author = 	 {Hugly, Philip and Sayward, Charles},
  ALTeditor = 	 {},
  title = 	 {Intensionality and Truth},
  publisher = 	 {Kluwer},
  year = 	 {1996},
  OPTkey = 	 {},
  volume = 	 {255},
  OPTnumber = 	 {},
  series = 	 {Synthese Library},
  address = 	 {Dordrecht},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Article{Humberstone1996,
  author = 	 {Humberstone, Lloyd I.},
  title = 	 {Intrinsic/extrinsic},
  journal = 	 {Synthese},
  year = 	 {1996},
  OPTkey = 	 {},
  volume = 	 {108},
  OPTnumber = 	 {2},
  pages = 	 {205--267},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@InCollection{Humberstone1996a,
  author = 	 {Humberstone, Lloyd},
  title = 	 {Homophony, Validity, Modality},
  booktitle = 	 {Logic and Reality: essays on the legacy of A.N. Prior},
  OPTcrossref =  {},
  OPTkey = 	 {},
  pages = 	 {215--236},
  publisher =    {Clarendon Press},
  year = 	 {1996},
  editor = 	 {Copeland, B.J.},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTtype = 	 {},
  chapter = 	 {9},
  address = 	 {Oxford},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Article{Humberstone2007,
  author = 	 {Humberstone, LLoyd},
  title = 	 {Modal Logic for other-worlds agnostic: neutrality and {H}alld\'en incompleteness},
  journal = 	 {Journal of Philosophical Logic},
  year = 	 {2007},
  OPTkey = 	 {},
  volume = 	 {36},
  OPTnumber = 	 {},
  pages = 	 {1--32},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Book{Hume1748,
  author = {Hume, David},
  editor = {},
  title = {An Enquiry Concerning Human Understanding},
  publisher = {A. Millar},
  address = {London},
  year = {1748},
  note = {trad. it. Laterza, Roma-Bari, 1996},
  otherinfo = {}
}
@Book{Hunter1971,
  author = 	 {Hunter, Geoffrey},
  ALTeditor = 	 {},
  title = 	 {Metalogic. An introduction to the metatheory of standard first-order logic},
  publisher = 	 {University of California Press},
  year = 	 {1971},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address = 	 {Berkeley},
  edition = 	 {{VI}},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Article{Jacobson1999,
  author = 	 {Jacobson, P.},
  title = 	 {Towards a Variable-Free Semantics},
  journal = 	 {Linguistics and Philosophy},
  year = 	 {1997},
  OPTkey = 	 {},
  volume = 	 {22},
  OPTnumber = 	 {},
  OPTpages = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Article{Jager1982,
  author = 	 {Jager, Thomas},
  title = 	 {An Actualist Semantics for Quantified Modal Logic},
  journal = 	 {Notre Dame Journal of Formal Logic},
  year = 	 {1982},
  OPTkey = 	 {},
  volume = 	 {23},
  number = 	 {3},
  pages = 	 {335--349},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@article{Jubien1996,
  Author =	 "Jubien, Michael",
  Title =	 "Actualism and Iterated Modalities",
  Journal =	 "Philosophical Studies",
  Year =	 "1996",
  Volume =	 "84",
  Pages =	 "109-125"
}
@Book{Kamp&Reyle1993,
  author = 	 {Kamp, H. and Reyle, U.},
  ALTeditor = 	 {},
  title = 	 {From Discourse to Logic},
  publisher = 	 {Kluwer},
  year = 	 {1993},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address = 	 {Dordrecht},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Book{Kanger,
  author = 	 {Kanger, Joseph},
  ALTeditor = 	 {},
  title = 	 {Provability in logic},
  publisher = 	 {Almqvist and Wiksell},
  year = 	 {1957},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address = 	 {Stockholm},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@InCollection{Kaplan1970,
  author = 	 {Kaplan, David},
  title = 	 {What is Russell's theory of descriptions?},
  booktitle = 	 {Physics, Logic and History},
  OPTcrossref =  {},
  OPTkey = 	 {},
  pages = 	 {277-288},
  publisher = {Plenum},
  year = 	 {1970},
  editor = 	 {Yourgrau, Wolfgang and Breck, Allen D.},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTtype = 	 {},
  OPTchapter = 	 {},
  address = 	 {},
  OPTedition = 	 {New York},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Article{Kaplan1975,
  author = 	 {Kaplan, David},
  title = 	 {How to {R}ussell a {F}rege-{C}hurch},
  journal = 	 {Journal of Philosophy},
  year = 	 {1975},
  OPTkey = 	 {},
  volume = 	 {72},
  number = 	 {19},
  pages = 	 {716--729},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@InCollection{Kaplan1977,
  author = 	 {Kaplan, David},
  title = 	 {Demonstratives},
  booktitle = 	 {Themes from Kaplan},
  crossref =  {ThemesKaplan},
  OPTkey = 	 {},
  pages = 	 {481--563},
  OPTpublisher = {},
  OPTyear = 	 {},
  OPTeditor = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTtype = 	 {},
  chapter = 	 {17},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Article{Kaplan1978,
  author = 	 {Kaplan, David},
  title = 	 {On the Logic of Demonstratives},
  journal = 	 {Journal of Philosophical Logic},
  year = 	 {1978},
  OPTkey = 	 {},
  volume = 	 {8},
  OPTnumber = 	 {},
  pages = 	 {81--98},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@InCollection{Kaplan1989,
  author = 	 {Kaplan, David},
  title = 	 {Afterthoughts},
  booktitle = 	 {Themes from Kaplan},
  crossref =  {ThemesKaplan},
  OPTkey = 	 {},
  pages = 	 {565--614},
  OPTpublisher = {},
  OPTyear = 	 {},
  OPTeditor = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTtype = 	 {},
  chapter = 	 {18},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@InCollection{Kaplan1995,
  author = 	 {Kaplan, David},
  title = 	 {A problem in possible-worlds semantics},
  booktitle = 	 {Modality, Morality and Belief: essays in honour of R.B. Marcus},
  crossref =  {Sinnott-Armstrong},
  OPTkey = 	 {},
  pages = 	 {41--52},
  OPTpublisher = {},
  OPTyear = 	 {},
  OPTeditor = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTtype = 	 {},
  OPTchapter = 	 {},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Article{Kim1982,
  author = 	 {Kim, Jaegwon},
  title = 	 {Psychophysical supervenience},
  journal = 	 {Philosophical Studies},
  year = 	 {1982},
  OPTkey = 	 {},
  volume = 	 {41},
  OPTnumber = 	 {},
  pages = 	 {51--70},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Article{Kripke1963,
  author = 	 {Kripke, Saul A.},
  title = 	 {Semantical Considerations on Modal Logic},
  journal = 	 {Acta Philsophica Fennica},
  year = 	 {1963},
  OPTkey = 	 {},
  volume = 	 {16},
  OPTnumber = 	 {},
  pages = 	 {83--94},
  OPTmonth = 	 {},
  note = 	 {},
  OPTannote = 	 {}
}
@InCollection{Kripke1971,
  author = 	 {Kripke, Saul A.},
  title = 	 {Identity and Necessity},
  booktitle = 	 {Identity and Individuation},
  OPTcrossref =  {},
  OPTkey = 	 {},
  pages = 	 {135-164},
  OPTpublisher = {New York University Press},
  OPTyear = 	 {},
  editor = 	 {Munitz, M.K.},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTtype = 	 {},
  OPTchapter = 	 {},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@book{Kripke1980,
  Title =	 {Naming and necessity},
  Author =	 "Kripke, Saul A.",
  Publisher =	 "Harvard University Press",
  Year =	 "1980",
  Address =	 "Harvard"
}
@Book{Kripke1980-it,
  author = 	 {Kripke, Saul},
  ALTeditor = 	 {},
  title = 	 {Nome e Necessità},
  publisher = 	 {Boringhieri},
  year = 	 {1980 (trad.it 1982)},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address = 	 {Torino},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Article{Kripke59,
  author = 	 {Kripke, Saul A.},
  title = 	 {Semantical analysis of modal logic {I}: Normal 
  propositional calculus},
  journal = 	 {Zeitschrift f\"ur Mathematik, Logik und Grundlagen der Mathematik},
  year = 	 {1959},
  OPTkey = 	 {},
  volume = 	 {9},
  OPTnumber = 	 {},
  pages = 	 {67--96},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Book{Lamport1994,
  author = 	 {Lamport, Leslie},
  ALTeditor = 	 {},
  title = 	 {\LaTeX: a document preparation system},
  publisher = 	 {Addison-Wesley},
  year = 	 {1994},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address = 	 {Boston},
  edition = 	 {2},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Book{Landini1998,
  author = 	 {Landini, Gregory},
  ALTeditor = 	 {},
  title = 	 {Russell's hidden substitutional theory},
  publisher = 	 {Oxford University Press},
  year = 	 {1998},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address = 	 {New York},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Article{Legenhausen1989,
  author = 	 {Legenhausen, Gary},
  title = 	 {Moderate anti-haecceitism},
  journal = 	 {Philosophy and Phenomenological Research},
  year = 	 {1989},
  OPTkey = 	 {},
  volume = 	 {49},
  number = 	 {4},
  pages = 	 {625--642},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@InCollection{Leibniz-teo,
  author = 	 {Leibniz, Gottfried W.},
  title = 	 {Saggi di Teodicea},
  booktitle = 	 {Scritti filosofici di G.W. Leibniz},
  crossref =  {Mugnai-leibniz},
  OPTkey = 	 {},
  OPTpages = 	 {},
  OPTpublisher = {},
  OPTyear = 	 {},
  OPTeditor = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTtype = 	 {},
  OPTchapter = 	 {},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Article{Lewis1968a,
  author = 	 {Lewis, David K.},
  title = 	 {Anselm and Actuality},
  journal = 	 {Nous},
  year = 	 {1968},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTpages = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Article{Lewis1968b,
  author = 	 {Lewis, David K.},
  title = 	 {Counterpart theory and quantified modal logic},
  journal = 	 {Journal of Philosophy},
  year = 	 {1968},
  OPTkey = 	 {},
  volume = 	 {LXV},
  number = 	 {5},
  pages = 	 {113--126},
  OPTmonth = 	 {},
  note = 	 {Ristampato in \citet[pp. 110-128]{Loux1979}},
  OPTannote = 	 {}
}
@Book{Lewis1973,
  author = 	 {Lewis, David K.},
  ALTeditor = 	 {},
  title = 	 {Counterfactuals},
  publisher = 	 {Blackwell},
  year = 	 {1973},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address = 	 {Oxford},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@InCollection{Lewis1975,
  author = 	 {Lewis, David K.},
  title = 	 {Language and languages},
  booktitle = 	 {Language, mind and knowledge},
  OPTcrossref =  {},
  OPTkey = 	 {},
  pages = 	 {3--35},
  publisher = {University of Minnesota Press},
  year = 	 {1975},
  editor = 	 {Gunderson, Keith},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTtype = 	 {},
  OPTchapter = 	 {},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  note = 	 {Reprinted in \cite[pp. 562--580]{Martinich2001}},
  OPTannote = 	 {}
}
@Article{Lewis1983,
  author = 	 {Lewis, David K.},
  title = 	 {New work for a theory of universals},
  journal = 	 {Australasian Journal of Philosophy},
  year = 	 {1983},
  OPTkey = 	 {},
  volume = 	 {61},
  OPTnumber = 	 {},
  pages = 	 {343--377},
  OPTmonth = 	 {},
  note = 	 {Reprinted in \cite[p. 8--55]{Lewis1999}},
  OPTannote = 	 {}
}
@book{Lewis1986,
  Title =	 "On The Plurality of Worlds",
  Author =	 "Lewis, David K.",
  Publisher =	 "Routledge",
  Year =	 "1986",
  Address =	 "London"
}
@Article{Lewis1998,
  author = 	 {Lewis, David K. and Langton, Rae },
  title = 	 {Defining `intrinsic'},
  journal = 	 {Philosophy and Phenomenological research},
  year = 	 {1998},
  OPTkey = 	 {},
  volume = 	 {58},
  OPTnumber = 	 {},
  pages = 	 {333-345},
  OPTmonth = 	 {},
  note = 	 {Reprinted in \cite[p. 116--132]{Lewis1999}},
  OPTannote = 	 {}
}
@Book{Lewis1999,
  author = 	 {Lewis, David K.},
  ALTeditor = 	 {},
  title = 	 {Papers in metaphysics and epistemology},
  publisher = 	 {Cambridge University Press},
  year = 	 {1999},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address = 	 {Cambridge},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@article{LinskyZalta1994,
  Author =	 "Linsky, Bernard and Zalta, Edward",
  Title =	 "In Defence of the Simplest Quantified Modal Logic",
  Journal =	 "Philosophical Perspectives",
  Year =	 "1994",
  Volume =	 "8",
  Pages =	 "431--458"
}
@Article{LinskyZalta1996,
  author = 	 {Linsky, Bernard and Zalta, Edward},
  title = 	 {In Defence of the Contingently Concrete},
  journal = 	 {Philosophical Studies},
  year = 	 {1996},
  OPTkey = 	 {},
  volume = 	 {84},
  OPTnumber = 	 {},
  pages = 	 {283--294},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Book{Locke1690,
  author = {Locke, John},
  editor = {},
  title = {An Essay Concerning Human Understanding},
  publisher = {},
  year = {1690},
  otherinfo = {}
}
@book{Loux1979,
  Title =	 "The Possible and the Actual",
  Editor =	 "Loux, Michael J.",
  Publisher =	 "Cornell University Press",
  Year =	 "1979",
  Address =	 "Itacha"
}
@Book{Loux1998,
  author = 	 {Loux, Michael J.},
  ALTeditor = 	 {},
  title = 	 {Metaphysics},
  publisher = 	 {Routledge},
  year = 	 {1998},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address = 	 {London},
  edition = 	 {1st},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Book{Lowe2002,
  author = 	 {Lowe, E.J.},
  ALTeditor = 	 {},
  title = 	 {A survey of metaphysics},
  publisher = 	 {Oxford University Press},
  year = 	 {2002},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address = 	 {Oxford},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Book{Making2000,
  author = 	 {Makin, Gideon },
  ALTeditor = 	 {},
  title = 	 {The metaphysicians of meaning: Russell and Frege on sense and denotation},
  publisher = 	 {Routledge},
  year = 	 {2000},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address = 	 {London},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Book{Marconi1997,
  author = 	 {Marconi, Diego},
  ALTeditor = 	 {},
  title = 	 {Lexical competence},
  publisher = 	 {MIT Press},
  year = 	 {1997},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address = 	 {Cambridge MA},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Book{Martinich2001,
  ALTauthor = 	 {},
  editor = 	 {Martinich, A.P.},
  title = 	 {The philosophy of language},
  publisher = 	 {Oxford University Press},
  year = 	 {2001},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address = 	 {Oxford},
  edition = 	 {4th},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Article{Martino2001,
  author = 	 {Martino, Enrico},
  title = 	 {Arbitrary reference in mathematical reasoning},
  journal = 	 {Topoi},
  year = 	 {2001},
  OPTkey = 	 {},
  volume = 	 {20},
  OPTnumber = 	 {},
  pages = 	 {65-77},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@InCollection{McFetridge1990,
  author = 	 {McFetridge, Ian},
  title = 	 {Logical Necessity: some issues},
  booktitle = 	 {Logical Necessity and Other Essays},
  OPTcrossref =  {},
  OPTkey = 	 {},
  pages = 	 {135--154},
  publisher = {Blackwell},
  year = 	 {1990},
  editor = 	 {Haldane, J. and Scruton, R.},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  series = 	 {the Aristotelian Society Monograph Series},
  OPTtype = 	 {},
  OPTchapter = 	 {},
  address = 	 {Oxford},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@article{McMichael1983,
  Author =	 "McMichael, Alan",
  Title =	 "A new Actualist Modal Semantics",
  Journal =	 "Journal of Philosophical Logic",
  Year =	 "1983",
  Volume =	 "12",
  Pages =	 "73-99"
}
@Article{McMichael1983a,
  author = 	 {McMichael, Alan},
  title = 	 {A Problem for Actualism About Possible Worlds},
  journal = 	 {The Philosophical Review},
  year = 	 {1983},
  OPTkey = 	 {},
  volume = 	 {92},
  number = 	 {1},
  pages = 	 {49--66},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@article{Melia1992,
  Title =	 "Against Modalism",
  Author =	 "Melia, Joseph",
  Journal =	 "Philosophical Studies",
  Year =	 "1992",
  Volume =	 "68",
  Pages =	 "35--56"
}
@Article{Melia2000,
  author = 	 {Melia, Joseph},
  title = 	 {Weaseling away the indespensability argument},
  journal = 	 {Mind},
  year = 	 {2000},
  OPTkey = 	 {},
  volume = 	 {109},
  number = 	 {3},
  pages = 	 {455-78},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Article{Melia2001,
  author = 	 {Melia, Joseph},
  title = 	 {Reducing Possibilities to Language},
  journal = 	 {Analysis},
  year = 	 {2001},
  OPTkey = 	 {},
  volume = 	 {61},
  OPTnumber = 	 {},
  pages = 	 {19--29},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@book{Melia2003,
  Title =	 "Modality",
  Author =	 "Melia, Joseph",
  Publisher =	 "Acumen",
  Year =	 "2003",
  Address =	 "Chesham"
}
@Book{Mendelson1964,
  author = 	 {Mendelson, Elliott},
  ALTeditor = 	 {},
  title = 	 {Introduction to Mathematical Logic},
  publisher = 	 {D. Van Norstrand},
  year = 	 {1979},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address = 	 {New York},
  edition = 	 {second},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@article{Menzel1990,
  Author =	 "Menzel, Christopher",
  Title =	 "Actualism, Ontological Commitment and Possible World
                  Semantics",
  Journal =	 "Synthese",
  Year =	 "1990",
  Volume =	 "85",
  Pages =	 "355--389"
}
@Article{Menzel1991,
  author = 	 {Menzel, Christopher},
  title = 	 {The True Modal Logic},
  journal = 	 {Journal of Philosophical Logic},
  year = 	 {1991},
  OPTkey = 	 {},
  volume = 	 {20},
  OPTnumber = 	 {},
  pages = 	 {331--374},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@inproceedings{Menzel2008,
  Author =	 "Menzel, Christopher",
  Title =	 "Actualism",
  Booktitle =	 "The Stanford Encyclopedia of Philosophy (Winter 2008 Edition) ",
  Editor =	 "Zalta, Edward",
  Year =	 "2008",
  Month =	 "",
  Address =      
{http://plato.stanford.edu/ar\-chiv\-es/win2008/ent\-ries/act\-ual\-ism}
}

@Book{Mugnai-leibniz,
  ALTauthor = 	 {},
  editor = 	 {Mugnai, Massimo and Pasini, Enrico},
  title = 	 {Scritti filosofici di G.W. Leibniz},
  publisher = 	 {UTET},
  year = 	 {2000},
  OPTkey = 	 {},
  volume = 	 {3},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Book{Neale1990,
  author = 	 {Neale, Stephen},
  ALTeditor = 	 {},
  title = 	 {Descriptions},
  publisher = 	 {MIT Press},
  year = 	 {1990},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address = 	 {Cambridge MA},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@article{Nolan1997,
  title={{Three Problems for Strong Modal Fictionalism}},
  author={Nolan, D.},
  journal={Philosophical Studies},
  volume={87},
  number={3},
  pages={259--275},
  year={1997},
  publisher={Springer}
}
@Book{Nolan2002,
  author = 	 {Nolan, Daniel},
  ALTeditor = 	 {},
  title = 	 {Topics in the philosophy of possible worlds},
  publisher = 	 {Routledge},
  year = 	 {2002},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address = 	 {London},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@article{Noonan1994,
  title={{In Defence of the Letter of Fictionalism}},
  author={Noonan, H.W.},
  journal={Analysis},
  volume={54},
  number={3},
  pages={133--139},
  year={1994},
  publisher={JSTOR}
}
@Article{Orilia1996,
  author = 	 {Orilia, Francesco},
  title = 	 {A contingent {R}ussell's paradox},
  journal = 	 {Notre Dame journal of formal logic},
  year = 	 {1996},
  OPTkey = 	 {},
  volume = 	 {37},
  OPTnumber = 	 {},
  pages = 	 {105--111},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Article{Orilia2000,
  author = 	 {Orilia, Francesco},
  title = 	 {Property Theory and the Revision Theory of Definitions},
  journal = 	 {Journal of Symbolic Logic},
  year = 	 {2000},
  OPTkey = 	 {},
  volume = 	 {65},
  OPTnumber = 	 {},
  pages = 	 {212--246},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@InCollection{Orilia2003,
  author = 	 {Orilia, Francesco},
  title = 	 {Logical rules, principles of reasoning and Russell's paradox},
  booktitle = 	 {The Logica yearbook 2002},
  OPTcrossref =  {},
  OPTkey = 	 {},
  pages = 	 {179--192},
  publisher = {Institute of Philosophy, Academy of Sciences of the Czech Repubblic},
  year = 	 {2003},
  editor = 	 {Childers, T. and Majer O.},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTtype = 	 {},
  OPTchapter = 	 {},
  address = 	 {Prague},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Book{OxHandMetaph,
  ALTauthor = 	 {},
  editor = 	 {Loux, Michael J. \and Zimmerman, Dean W.},
  title = 	 {Oxford Handbook of Metaphysics},
  publisher = 	 {Oxford University Press},
  year = 	 {2003},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@InCollection{Parsons,
  author = 	 {Parsons, Terence},
  title = 	 {Ruth Barcan Marcus and the Barcan Formula},
  booktitle = 	 {Modality, Morality and Belief: essays in honour of R. Barcan Marcus},
  crossref =  {Sinnott-Armstrong},
  OPTkey = 	 {},
  pages = 	 {3--11},
  OPTpublisher = {},
  OPTyear = 	 {},
  OPTeditor = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTtype = 	 {},
  OPTchapter = 	 {},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Article{Peacocke1978,
  author = 	 {Peacocke, Christopher},
  title = 	 {Necessity and Truth Theories},
  journal = 	 {Journal of Philosophical Logic},
  year = 	 {1978},
  OPTkey = 	 {},
  volume = 	 {7},
  number = 	 {4},
  pages = 	 {473--500},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@book{Peacocke1999,
  Title =	 "Being Known",
  Author =	 "Peacocke, Christopher",
  Publisher =	 "Clarendon Press",
  Year =	 "1999",
  Address =	 "Oxford"
}
@Book{Peirce,
  ALTauthor = 	 {},
  editor = 	 {Hartshorne, C. and Weiss, P.},
  title = 	 {Collected papers of Charles Sanders Peirce},
  publisher = 	 {Harvard University Press},
  year = 	 {1932},
  OPTkey = 	 {},
  volume = 	 {II: Elements of Logic},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address = 	 {Cambridge MA},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Article{Pellettier1999,
  author = 	 {Pelletier, Francy Jeffry},
  title = 	 {A brief history of natural deduction},
  journal = 	 {History and philosophy of logic},
  year = 	 {1999},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  number = 	 {20},
  pages = 	 {1-31},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Article{Plantinga,
  author = 	 {Plantinga, Alvin},
  title = 	 {Two concepts of possible worlds: modal realism and modal reductionism},
  journal = 	 {Philosophical Perspectives},
  year = 	 {1987},
  OPTkey = 	 {},
  volume = 	 {1},
  OPTnumber = 	 {},
  OPTpages = 	 {},
  OPTmonth = 	 {},
  note = 	 {Reprinted in \cite{Loux1979}},
  OPTannote = 	 {}
}
@Book{Plantinga-coll,
  ALTauthor = 	 {},
  editor = 	 {Tomberlin, James E. and Van Inwagen, Peter},
  title = 	 {Alvin Plantinga},
  publisher = 	 {D. Reidel},
  year = 	 {1985},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  series = 	 {Profiles},
  address = 	 {Dordrecht},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@book{Plantinga1974,
  Title =	 "The Nature of Necessity",
  Author =	 "Plantinga, Alvin",
  Publisher =	 "Clarendon Press",
  Year =	 "1974",
  Address =	 "Oxford"
}
@article{Plantinga1976,
  Title =	 "Actualism and Possible Worlds",
  Author =	 "Plantinga, Alvin",
  Journal =	 "Theoria",
  Year =	 "1976",
  Volume =	 "42",
  Pages =	 "139--160",
  Note =         "Reprinted in \cite[pp. 253-273]{Loux1979}"
}
@Article{Plantinga1983,
  author = 	 {Plantinga, Alvin},
  title = 	 {On Existentialism},
  journal = 	 {Philosophical Studies},
  year = 	 {1983},
  OPTkey = 	 {},
  volume = 	 {44},
  number = 	 {1},
  pages = 	 {1--20},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@InCollection{Prior-Iden,
  author = 	 {Prior, Arthur N.},
  title = 	 {Identifiable Individuals},
  booktitle = 	 {Papers on Time and Tense},
  crossref =  {Prior2003},
  OPTkey = 	 {},
  pages = 	 {81--92},
  OPTpublisher = {},
  OPTyear = 	 {},
  OPTeditor = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTtype = 	 {},
  chapter = 	 {VII},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@InCollection{Prior-Quasi,
  author = 	 {Prior, Arthur N.},
  title = 	 {Quasi Propositions and Quasi-Individuals},
  booktitle = 	 {Papers on Time and Tense},
  crossref =  {Prior2003},
  OPTkey = 	 {},
  pages = 	 {213--221},
  OPTpublisher = {},
  OPTyear = 	 {},
  OPTeditor = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTtype = 	 {},
  chapter = 	 {XVI},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Article{Prior-ax-q,
  author = 	 {Prior, Arthur N.},
  title = 	 {Axiomatizations of the modal calculus $\mathsf{Q}$},
  journal = 	 {Notre Dame Journal of Formal Logic},
  year = 	 {1964},
  OPTkey = 	 {},
  volume = 	 {5},
  number = 	 {3},
  pages = 	 {215--217},
  month = 	 {July},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@InCollection{Prior1968,
  author = 	 {Prior, Arthur N.},
  title = 	 {Tense Logic for Non-Permanent Existents},
  booktitle = 	 {Papers on Time and Tense},
  crossref =  {Prior2003},
  OPTkey = 	 {},
  pages = 	 {257--274},
  OPTpublisher = {},
  OPTyear = 	 {},
  OPTeditor = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTtype = 	 {},
  chapter = 	 {XIX},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@InCollection{Prior1969,
  author = 	 {Prior, Arthur},
  title = 	 {Worlds, Time and Selves},
  booktitle = 	 {Papers on Time and Tense},
  crossref =     {Prior2003},
  OPTkey = 	 {},
  pages = 	 {241--256},
  OPTpublisher = {},
  OPTyear = 	 {},
  OPTeditor = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTtype = 	 {},
  chapter = 	 {XVIII},
  OPTaddress = 	 {},
  edition = 	 {new edition},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Book{Prior1977,
  author = 	 {Prior, Arthur N.},
  title = 	 {Worlds, Times and Selves},
  publisher = 	 {Duckworth},
  year = 	 {1977},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address = 	 {London},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  note = 	 {Edited and postscripted by K. Fine},
  OPTannote = 	 {}
}
@Book{Prior2003,
  author = 	 {Prior, Arthur N.},
  ALTeditor = 	 {},
  title = 	 {Papers on Time and Tense},
  publisher = 	 {Oxford University Press},
  year = 	 {2003},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTaddress = 	 {},
  edition = 	 {New},
  OPTmonth = 	 {},
  OPTnote = 	 {New edition},
  OPTannote = 	 {}
}
@Book{Prior57,
  author = 	 {Prior, Arthur N.},
  ALTeditor = 	 {},
  title = 	 {Time and Modality},
  publisher = 	 {Oxford University Press},
  year = 	 {1957},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Book{Prior67,
  author = 	 {Prior, Arthur N.},
  ALTeditor = 	 {},
  title = 	 {Past, Present and Future},
  publisher = 	 {Oxford at the Clarendon Press},
  year = 	 {1967},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@InCollection{PriorNow,
  author = 	 {Prior, Arthur N.},
  title = 	 {Now},
  booktitle = 	 {Papers on Time and Tense},
  crossref =  {Prior2003},
  OPTkey = 	 {},
  pages = 	 {170--193},
  OPTpublisher = {},
  OPTyear = 	 {},
  OPTeditor = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTtype = 	 {},
  chapter = 	 {XIV},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Book{Quine40,
  author = 	 {Quine, Willard van Orman},
  ALTeditor = 	 {},
  title = 	 {Mathematical Logic},
  publisher = 	 {Harvard University Press},
  year = 	 {1940},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTaddress = 	 {Cambridge (MA)},
  edition = 	 {first},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Book{Quine51,
  author = 	 {Quine, Willard van Orman},
  ALTeditor = 	 {},
  title = 	 {Mathematical Logic},
  publisher = 	 {Harvard University Press},
  year = 	 {1951},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address = 	 {Cambridge (MA)},
  edition = 	 {second and revised},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Article{Quine56,
  author = 	 {Quine, Willard van Orman},
  title = 	 {Quantifiers and Propositional Attitudes},
  journal = 	 {Journal of Philosophy},
  year = 	 {1956},
  OPTkey = 	 {},
  volume = 	 {53},
  number = 	 {5},
  pages = 	 {177--187},
  OPTmonth = 	 {},
  note = 	 {Ristampato in \citet{Quine66}},
  OPTannote = 	 {}
}
@InCollection{Quine66Red,
  author = 	 {Quine, Willard van Orman},
  title = 	 {Ontological Reduction and the World of Numbers},
  booktitle = 	 {The Ways of Paradox and Other Essays},
  crossref =  {Quine66},
  OPTkey = 	 {},
  pages = 	 {199--207},
  OPTpublisher = {},
  year = 	 {1966},
  OPTeditor = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTtype = 	 {},
  chapter = 	 {17},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Book{Quine66,
  author = 	 {Quine, Willard van Orman},
  ALTeditor = 	 {},
  title = 	 {The Ways of Paradox and Other Essays},
  publisher = 	 {Harvard University Press},
  year = 	 {1966},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address = 	 {Cambridge MA},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@InCollection{Quine68,
  author = 	 {Quine, Willard van Orman},
  title = 	 {Propositional Objects},
  booktitle = 	 {Ontological Relativity},
  crossref =  {Quine77},
  OPTkey = 	 {},
  pages = 	 {139--160},
  OPTpublisher = {},
  OPTyear = 	 {},
  OPTeditor = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTtype = 	 {},
  OPTchapter = 	 {},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Book{Quine77,
  author = 	 {Quine, Willard van Orman},
  ALTeditor = 	 {},
  title = 	 {Ontological Relativity},
  publisher = 	 {Columbia University Press},
  year = 	 {1977},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@article{Ramachandran1989,
  title={{An Alternative Translation Scheme for Counterpart Theory}},
  author={Ramachandran, M.},
  journal={Analysis},
  volume={49},
  number={3},
  pages={131--141},
  year={1989},
  publisher={}
}
@article{Ramachandran1990,
  title={{Contingent Identity in Counterpart Theory}},
  author={Ramachandran, M.},
  journal={Analysis},
  volume={50},
  number={3},
  pages={163--166},
  year={1990},
  publisher={}
}
@Article{Ray1996,
  author = 	 {Ray, Greg},
  title = 	 {Ontology-free modal semantics},
  journal = 	 {Journal of Philosophical Logic},
  year = 	 {1996},
  OPTkey = 	 {},
  volume = 	 {25},
  number = 	 {4},
  pages = 	 {333--361},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Article{Reina2003,
  author = 	 {Hayaki, Reina},
  title = 	 {Actualism and Higher-order Worlds},
  journal = 	 {Philosophical Studies},
  year = 	 {2003},
  OPTkey = 	 {},
  volume = 	 {115},
  number = 	 {2},
  pages = 	 {149--178},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Article{Rosen1990,
  author = 	 {Rosen, Gideon},
  title = 	 {Modal fictionalism},
  journal = 	 {Mind},
  year = 	 {1990},
  OPTkey = 	 {},
  volume = 	 {99},
  number = 	 {395},
  pages = 	 {327-354},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@article{Rosen1993,
  title={{A Problem for Fictionalism about Possible Worlds}},
  author={Rosen, G.},
  journal={Analysis},
  volume={53},
  number={2},
  pages={71--81},
  year={1993},
  publisher={JSTOR}
}
@article{Rosen1995,
  title={{Modal Fictionalism Fixed}},
  author={Rosen, G.},
  journal={Analysis},
  volume={55},
  number={2},
  pages={67--73},
  year={1995},
  publisher={}
}
@Book{Rosenkrantz1993,
  author = 	 {Rosenkrantz, Gary S.},
  ALTeditor = 	 {},
  title = 	 {Haecceity},
  publisher = 	 {Kluwer},
  year = 	 {1993},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address = 	 {Dordrecht},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Article{Roy1993,
  author = 	 {Roy, Tony},
  title = 	 {Worlds and modality},
  journal = 	 {Philosophical Review},
  year = 	 {1993},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  number = 	 {102},
  pages = 	 {335--61},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Article{Roy1995,
  author = 	 {Roy, Tony},
  title = 	 {In Defence of Linguistic Ersatzism},
  journal = 	 {Philosophical Studies},
  year = 	 {1995},
  OPTkey = 	 {},
  volume = 	 {80},
  OPTnumber = 	 {},
  pages = 	 {217--242},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Article{Rumfitt2003,
  author = 	 {Rumfitt, Ian},
  title = 	 {Contingent Existents},
  journal = 	 {Philosophy},
  year = 	 {2003},
  OPTkey = 	 {},
  volume = 	 {78},
  OPTnumber = 	 {},
  pages = 	 {461--481},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Article{Russell1905,
  author = 	 {Russell, Bertrand},
  title = 	 {On Denoting},
  journal = 	 {Mind},
  year = 	 {1905},
  OPTkey = 	 {},
  volume = 	 {14},
  OPTnumber = 	 {},
  pages = 	 {479--495},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Article{Russell1910,
  author = 	 {Russell, Bertrand},
  title = 	 {Knowledge by Acquaintance and Knowledge by Description},
  journal = 	 {Proceedings of Aristotelian Society},
  year = 	 {1910},
  OPTkey = 	 {},
  volume = 	 {30},
  OPTnumber = 	 {},
  pages = 	 {108--128},
  OPTmonth = 	 {},
  note = 	 {Reprinted as chapter V of \cite{Russell1912}},
  OPTannote = 	 {}
}
@Book{Russell1912,
  author = 	 {Russell, Bertrand},
  ALTeditor = 	 {},
  title = 	 {The Problems of Philosophy},
  publisher = 	 {Williams and Norgate},
  year = 	 {1912},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address = 	 {London},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Book{Russell1913,
  author = 	 {Russell, Bertrand},
  ALTeditor = 	 {},
  title = 	 {Theory of knowledge: the 1913 manyscript},
  publisher = 	 {Allen and Unwin},
  year = 	 {1984},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address = 	 {London},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@InCollection{Russell1914,
  author = 	 {Russell, Bertrand},
  title = 	 {On the Nature of Acquaintance},
  booktitle = 	 {Logic and Knowledge},
  crossref =  {Russell1956},
  OPTkey = 	 {},
  pages = 	 {127--174},
  OPTpublisher = {},
  year = 	 {1914},
  OPTeditor = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTtype = 	 {},
  OPTchapter = 	 {},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@InCollection{Russell1918,
  author = 	 {Russell, Bertrand},
  title = 	 {The philosophy of logical atomism},
  booktitle = 	 {Logic and Knowledge},
  crossref =  {Russell1956},
  OPTkey = 	 {},
  OPTpages = 	 {},
  OPTpublisher = {},
  year = 	 {1918},
  OPTeditor = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTtype = 	 {},
  OPTchapter = 	 {},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Book{Russell1921,
  author = 	 {B. Russell},
  ALTeditor = 	 {},
  title = 	 {Analysis of Mind},
  publisher = 	 {Allen and Unwin},
  year = 	 {1921},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address = 	 {London},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Book{Russell1956,
  author = 	 {Russell, Bertrand},
  ALTeditor = 	 {},
  title = 	 {Logic and Knowledge},
  publisher = 	 {George Allen and Unwin},
  year = 	 {1956},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address = 	 {London},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  annote = 	 {Edited by R.C. Marsh}
}
@Book{Russell1959,
  author = 	 {Russell, Bertrand},
  ALTeditor = 	 {},
  title = 	 {My Philosophical Development},
  publisher = 	 {Allen and Unwin},
  year = 	 {1959},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address = 	 {London},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Article{Salmon1987,
  author =	 {Salmon, Nathan U.},
  title =	 {Existence},
  journal =	 {Philosophical Perspectives},
  year =	 {1987},
  OPTkey =	 {},
  volume =	 {1},
  OPTnumber =	 {},
  OPTpages =	 {},
  OPTmonth =	 {},
  OPTnote =	 {},
  OPTannote =	 {}
}
@Book{Schirn98,
  ALTauthor = 	 {},
  editor = 	 {Schirn, Matthias},
  title = 	 {The Philosophy of Mathematics Today},
  publisher = 	 {Clarendon Press},
  year = 	 {1998},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address = 	 {Oxford},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Book{Searle1969,
  author = 	 {Searle, J},
  ALTeditor = 	 {},
  title = 	 {Speech acts: an essay in the philosophy of language},
  publisher = 	 {Cambridge University Press},
  year = 	 {1969},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address = 	 {Cambridge},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Book{Shapiro1997,
  author = 	 {Shapiro, Stewart},
  title = 	 {Philosophy of Mathematics},
  publisher = 	 {Oxford University Press},
  year = 	 {1997},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address = 	 {Oxford},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@InCollection{Shapiro98,
  author = 	 {Shapiro, Stewart},
  title = 	 {Logical Consequence: Models and Modality},
  booktitle = 	 {The Philosophy of Mathematics Today},
  crossref =  {Schirn98},
  OPTkey = 	 {},
  pages = 	 {131--156},
  OPTpublisher = {},
  OPTyear = 	 {},
  OPTeditor = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTtype = 	 {},
  chapter = 	 {4},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Book{Sidelle1989,
  author = 	 {Sidelle, Alan},
  ALTeditor = 	 {},
  title = 	 {Necessity, Essence and Individuation: a Defence of Conventionalism},
  publisher = 	 {Cornell University Press},
  year = 	 {1989},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address = 	 {Ithaca},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Article{Sider2002,
  author = 	 {Sider, Ted},
  title = 	 {The Ersatz Pluriverse},
  journal = 	 {Journal of Philosophy},
  year = 	 {2002},
  OPTkey = 	 {},
  volume = 	 {99},
  OPTnumber = 	 {},
  pages = 	 {279--315},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Article{Simchen05,
  author = 	 {Simchen, Ori},
  title = 	 {On the impossibility of nonactual epistemic possibilities},
  journal = 	 {The Journal of Philosophy},
  year = 	 {2005},
  OPTkey = 	 {},
  volume = 	 {CI},
  number = 	 {10},
  pages = 	 {527--554},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Book{Sinnott-Armstrong,
  ALTauthor = 	 {},
  editor = 	 {Sinnott-Armstrong, W. and Raffman, W. and Asher, N.},
  title = 	 {Modality, Morality, and Belief: Essays in Honour of Ruth Barcan Marcus},
  publisher = 	 {Cambridge University Press},
  year = 	 {1995},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address = 	 {Cambridge},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Article{Stalnaker-Thomason1968,
  author = 	 {Stalnaker, Robert C. \and Thomason, Richard H.},
  title = 	 {Abstraction in First-Order Modal Logic},
  journal = 	 {Theoria},
  year = 	 {1968},
  OPTkey = 	 {},
  volume = 	 {34},
  number = 	 {3},
  pages = 	 {202--207},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Article{Stalnaker1976,
  author = 	 {Stalnaker, Robert},
  title = 	 {Possible Worlds},
  journal = 	 {Nous},
  year = 	 {1976},
  OPTkey = 	 {},
  volume = 	 {10},
  OPTnumber = 	 {},
  pages = 	 {65--75},
  OPTmonth = 	 {},
  note = 	 {Reprinted in \cite[pp. 25--39]{Stalnaker2003}},
  OPTannote = 	 {}
}
@InCollection{Stalnaker1994,
  author = 	 {Stalnaker, Robert},
  title = 	 {The Interaction of Modality with Quantification and Identity},
  booktitle = 	 {Ways a World Might Be},
  crossref =  {Stalnaker2003},
  OPTkey = 	 {},
  OPTpages = 	 {},
  OPTpublisher = {},
  OPTyear = 	 {},
  OPTeditor = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTtype = 	 {},
  OPTchapter = 	 {},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Book{Stalnaker2003,
  author = 	 {Stalnaker, Robert},
  title = 	 {Ways a World Might Be},
  publisher = 	 {Oxford University Press},
  year = 	 {2003},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address = 	 {Oxford},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@TechReport{Stojanovic,
  author = 	 {Stojanovic, Isidora},
  title = 	 {A Different Story about Indexicals},
  institution =  {ILLC},
  year = 	 {2005},
  OPTkey = 	 {},
  OPTtype = 	 {},
  OPTnumber = 	 {},
  address = 	 {Amsterdam},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@PhdThesis{Stojanovic2002,
  author = 	 {Stojanovic, Isidora},
  title = 	 {Resolving Indexicals},
  school = 	 {Ecole Polytechnique},
  year = 	 {2002},
  OPTkey = 	 {},
  OPTtype = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Book{Swift1726,
  author = 	 {Swift, Jonathan},
  ALTeditor = 	 {},
  title = 	 {Gulliver's Travels},
  publisher = 	 {Penguin Classics},
  year = 	 {2003},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Article{Swoyer1982,
  author = 	 {Swoyer, Christopher},
  title = 	 {The nature of natural laws},
  journal = 	 {Australasian Journal of Philosophy},
  year = 	 {1982},
  OPTkey = 	 {},
  volume = 	 {60},
  OPTnumber = 	 {},
  pages = 	 {202-223},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Book{ThemesKaplan,
  ALTauthor = 	 {},
  editor = 	 {Almog, Joseph and Perry, John and Wettstein, Howard},
  title = 	 {Themes from Kaplan},
  publisher = 	 {Oxford University Press},
  year = 	 {1989},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Book{Tichy1988,
  author = 	 {Tichy, Pavel},
  ALTeditor = 	 {},
  title = 	 {The foundations of Frege's logic},
  publisher = 	 {De Gruyter},
  year = 	 {1988},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address = 	 {Berlin},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Book{Tichy2004,
  author = 	 {Tichy, Pavel},
  ALTeditor = 	 {},
  title = 	 {Collected papers in logic and philosophy},
  publisher = 	 {Czech Academy of Sciences and University of Otago Press},
  year = 	 {},
  OPTkey = 	 {},
  volume = 	 {V},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address = 	 {Prague and Dunedin},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  note = 	 {Edited by V. Svoboda, C. Cheyne, B. Jespersen},
  OPTannote = 	 {}
}
@article{Tomberlin1996,
  Author =	 "Tomberlin, James E.",
  Title =	 "Actualism or Possibilism",
  Journal =	 "Philosophical Studies",
  Year =	 "1996",
  Volume =	 "84",
  Pages =	 "263--281"
}
@Article{Turner2005,
  author = 	 {Turner, Jason},
  title = 	 {Strong and Weak Possibility},
  journal = 	 {Philosophical Studies},
  year = 	 {2005},
  OPTkey = 	 {},
  volume = 	 {125},
  number = 	 {2},
  pages = 	 {191-217},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Article{VanderSandt1992,
  author = 	 {Van der Sandt, R.},
  title = 	 {Presupposition as Anaphora Resolution},
  journal = 	 {Journal of Semantics},
  year = 	 {1992},
  OPTkey = 	 {},
  volume = 	 {9},
  OPTnumber = 	 {},
  OPTpages = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@InCollection{VonFintel2005,
  author = 	 {Von Fintel, Kai},
  title = 	 {Modality and Language},
  booktitle = 	 {Encyclopedia of Philosophy},
  OPTcrossref =  {},
  OPTkey = 	 {},
  OPTpages = 	 {},
  publisher = {McMillian},
  OPTyear = 	 {2005},
  OPTeditor = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTtype = 	 {},
  OPTchapter = 	 {},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  note = 	 {http://mit.edu/fintel/modality.pdf},
  OPTannote = 	 {}
}
@Article{Wahl1993,
  author = 	 {Wahl, Russell},
  title = 	 {Russell's theory on meaning and denotation and \emph{On Denoting}},
  journal = 	 {Journal of the history of philosophy},
  year = 	 {1993},
  OPTkey = 	 {},
  volume = 	 {31},
  OPTnumber = 	 {},
  pages = 	 {71--94},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Book{Wiggins2001,
  author = 	 {Wiggins, David},
  ALTeditor = 	 {},
  title = 	 {Sameness and substance renewed},
  publisher = 	 {Cambridge University Press},
  year = 	 {2001},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@article{Williams1959,
  Author =	 "Williams, Donald",
  Title =	 "Mind as a Matter of Fact",
  Journal =	 "Review of Metaphysics",
  Year =	 "1959",
  Volume =	 "13",
  Pages =	 "203--225"
}
@Article{Williamson1999,
  author = 	 {Williamson, Timothy},
  title = 	 {Existence and Contingency},
  journal = 	 {Aristotelian Society},
  year = 	 {1999},
  OPTkey = 	 {},
  volume = 	 {Supp. 73},
  OPTnumber = 	 {},
  pages = 	 {181-203},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@article{Williamson2000,
  Author =	 "Williamson, Timothy",
  Title =	 "The Necessary Framework of Objects",
  Journal =	 "Topoi",
  Year =	 "2000",
  Volume =	 "19",
  Pages =	 "201--208"
}
@Article{Williamson2005,
  author = 	 {Williamson, Timothy},
  title = 	 {Armchair philosophy, metaphysical necessity and counterfactual thinking},
  journal = 	 {Proceedings of the {A}ristotelian society},
  year = 	 {2005},
  OPTkey = 	 {},
  volume = 	 {105},
  number = 	 {I},
  pages = 	 {1--23},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Book{Willy-know,
  author = 	 {Williamson, Timothy},
  ALTeditor = 	 {},
  title = 	 {Knowledge and its limits},
  publisher = 	 {Oxford University Press},
  year = 	 {2000},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address = 	 {Oxford},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Article{Willy1998,
  author = 	 {Williamson, Timothy},
  title = 	 {Bare Possibilia},
  journal = 	 {Erkenntnis},
  year = 	 {1998},
  volume = 	 {48},
  pages = 	 {263--281}
}
@Article{Willy1999,
  author = 	 {Williamson, Timothy},
  title = 	 {Truthmakers and the Converse Barcan Formula},
  journal = 	 {Dialectica},
  year = 	 {1999},
  OPTkey = 	 {},
  volume = 	 {53},
  number = 	 {3/4},
  pages = 	 {253--270},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Article{Willy2000-c,
  author = 	 {Williamson, Timothy},
  title = 	 {Existence and contingency},
  journal = 	 {Proceedings of the {A}ristotelian Society},
  year = 	 {2000},
  OPTkey = 	 {},
  volume = 	 {C},
  number = 	 {1},
  pages = 	 {117--139},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@InCollection{Willy2002,
  author = 	 {Williamson, Timothy},
  title = 	 {Necessary Existents},
  booktitle = 	 {Logic, Thought and Language},
  OPTcrossref =  {},
  OPTkey = 	 {},
  pages = 	 {233--251},
  publisher = {Cambridge University Press},
  year = 	 {2002},
  editor = 	 {O'Hear, Anthony},
  volume = 	 {51},
  OPTnumber = 	 {},
  series = 	 {Royal Institute of Philosophy Supplement},
  OPTtype = 	 {},
  OPTchapter = 	 {},
  address = 	 {Cambridge},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Article{Willy2003,
  author = 	 {Williamson, Timothy},
  title = 	 {Everything},
  journal = 	 {Philosophical Perspectives},
  year = 	 {2003},
  OPTkey = 	 {},
  volume = 	 {17},
  OPTnumber = 	 {},
  pages = 	 {415--465},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@article{Willy2003,
  AUTHOR={Williamson, Timothy},
  TITLE={Everything},
  JOURNAL={Philosophical Perspectives},
  VOLUME={17},
  PAGES={415--465},
  YEAR={2003}
 }
@Book{Witt1-it,
  author = 	 {Wittgenstein, Ludwig M.},
  ALTeditor = 	 {},
  title = 	 {Tractatus logico-philosophicus},
  publisher = 	 {Kegan},
  year = 	 {1922},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address = 	 {London},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  note = 	 {trad. it. Einaudi, Torino, 1994},
  OPTannote = 	 {}
}
@Article{Yannis2002,
  author = 	 {Stephanou, Yannis},
  title = 	 {Investigations into Quantified Modal Logic},
  journal = 	 {Notre Dame Journal of Formal Logic},
  year = 	 {2002},
  OPTkey = 	 {},
  volume = 	 {43},
  number = 	 {4},
  pages = 	 {193--220},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Article{Zalta1988,
  AUTHOR={Zalta, Edward and Linsky, Bernard},
  title = 	 {Logical and Analytic Truths That Are Not Necessary},
  journal = 	 {Journal of Philosophy},
  year = 	 {1988},
  OPTkey = 	 {},
  volume = 	 {LXXXV},
  number = 	 {2},
  pages = 	 {57--74},
  OPTmonth = 	 {February},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@Article{Zimmerman1997,
  author = 	 {Zimmerman, Dean W.},
  title = 	 {Distinct indiscernibles and bundle theory},
  journal = 	 {Mind},
  year = 	 {1997},
  OPTkey = 	 {},
  volume = 	 {106},
  number = 	 {422},
  pages = 	 {305--309},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@InCollection{io-biblio,
  author = 	 {Carrara, Massimilano and Morato, Vittorio},
  title = 	 {Una guida ad alcuni temi fondamentali di logica filosofica: identit\`a, esistenza, verit\`a, modalit\`a e fatti},
  booktitle = 	 {Filosofia e Logica},
  OPTcrossref =  {},
  OPTkey = 	 {},
  pages = 	 {229--274},
  publisher = {Rubettino},
  year = 	 {2005},
  editor = 	 {Carrara, Massimiliano and Giaretta, Pierdaniele},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTtype = 	 {},
  OPTchapter = 	 {},
  address = 	 {Catanzaro},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Article{io-estetica,
  author = 	 {Morato, Vittorio},
  title = 	 {Possibilit\`a, \emph{possibilia} ed essenze individuali},
  journal = 	 {Rivista di Estetica},
  year = 	 {2004},
  OPTkey = 	 {},
  volume = 	 {26},
  number = 	 {2},
  pages = 	 {105--118},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@InProceedings{io-fois,
  author = 	 {Carrara, Massimiliano and Giaretta, Pierdaniele and Morato, Vittorio and Soavi, Marzia and Spolaore, Giuseppe},
  title = 	 {Identity and modality in {O}nto{C}lean},
  booktitle = 	 {Formal Ontology in Information Systems},
  OPTcrossref =  {},
  OPTkey = 	 {},
  pages = 	 {128--139},
  year = 	 {2004},
  editor = 	 {Varzi, A.C. and Vieu, L.},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address = 	 {Amsterdam},
  OPTmonth = 	 {},
  OPTorganization = {},
  publisher = {IOS Press},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Article{io-haec,
  author = 	 {Carrara, Massimiliano and Morato, Vittorio},
  title = 	 {Di cosa parlano i filosofi analitici quando parlano di \emph{haecceitas}?},
  journal = 	 {Medioevo},
  year = 	 {2003},
  OPTkey = 	 {},
  volume = 	 {28},
  OPTnumber = 	 {},
  pages = 	 {265--302},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@InCollection{io-rigidity,
  author = 	 {Morato, Vittorio},
  title = 	 {I problemi della designazione rigida},
  booktitle = 	 {Linguaggio, Mente e Mondo. Saggi di filosofia del linguaggio, filosofia della mente e metafisica},
  OPTcrossref =  {},
  OPTkey = 	 {},
  pages = 	 {121--160},
  publisher = {Il Poligrafo},
  year = 	 {2003},
  editor = 	 {Carrara, Massimiliano and De Anna, Gabriele and Magrin, Sara},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTtype = 	 {},
  OPTchapter = 	 {},
  address = 	 {Padova},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Book{vanBenthem1997,
  author = 	 {van Benthem, J.},
  ALTeditor = 	 {},
  title = 	 {Exploring Logical Dynamics},
  publisher = 	 {CSLI},
  year = 	 {1997},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address = 	 {Stanford},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Book{vanBenthem83,
  author = 	 {van Benthem, Johan},
  ALTeditor = 	 {},
  title = 	 {Modal Logic and Classical Logic},
  publisher = 	 {Bibliopolis},
  year = 	 {1983},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address = 	 {Naples},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@Article{vanCleve,
  author = 	 {van Cleve, James},
  title = 	 {Three versions of bundle theory},
  journal = 	 {Philosophical Studies},
  year = 	 {1985},
  OPTkey = 	 {},
  volume = 	 {47},
  number = 	 {4},
  pages = 	 {95--107},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@article{vanInwagen1986,
  title={{Two Concepts of Possible Worlds}},
  author={van Inwagen, P.},
  journal={Midwest Studies in Philosophy},
  volume={11},
  pages={185--213},
  year={1986},
  note= {Reprinted in \cite[p. 206--242]{vanInwagen2001}}
}
@Book{vanInwagen2001,
  author = 	 {van Inwagen, Peter},
  ALTeditor = 	 {},
  title = 	 {Ontology, Identity and Modality},
  publisher = 	 {Cambridge University Press},
  year = 	 {2001},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address = 	 {Cambridge},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}



\bibliography{bibliografia}
