
@inproceedings{benzmuller_automating_2013,
	title = {Automating {Quantified} {Conditional} {Logics} in {HOL}.},
	url = {http://page.mi.fu-berlin.de/cbenzmueller/papers/2013-IJCAI-Poster.pdf},
	urldate = {2016-10-25},
	booktitle = {{IJCAI}},
	author = {Benzmüller, Christoph},
	year = {2013},
	pages = {746--753},
	file = {[PDF] fu-berlin.de:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/QQPPRPQ6/Benzmüller - 2013 - Automating Quantified Conditional Logics in HOL..pdf:application/pdf}
}

@article{gratzl_incomplete_2015,
	title = {Incomplete {Symbols} --- {Definite} {Descriptions} {Revisited}},
	volume = {44},
	issn = {0022-3611, 1573-0433},
	url = {https://link-springer-com.libproxy1.nus.edu.sg/article/10.1007/s10992-014-9339-1},
	doi = {10.1007/s10992-014-9339-1},
	abstract = {We investigate incomplete symbols, i.e. definite descriptions with scope-operators. Russell famously introduced definite descriptions by contextual definitions; in this article definite descriptions a},
	language = {en},
	number = {5},
	urldate = {2017-03-01},
	journal = {Journal of Philosophical Logic},
	author = {Gratzl, Norbert},
	month = oct,
	year = {2015},
	pages = {489--506},
	file = {Full Text PDF:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/6C3WU9PE/Gratzl - 2015 - Incomplete Symbols --- Definite Descriptions Revisit.pdf:application/pdf;Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/ANZAXKIG/10.html:text/html}
}

@inproceedings{alama_automating_2015,
	address = {Berlin},
	title = {Automating {Leibniz}'s {Theory} of {Concepts}},
	url = {https://link.springer.com/chapter/10.1007/978-3-319-21401-6_4},
	abstract = {Our computational metaphysics group describes its use of automated reasoning tools to study Leibniz’s theory of concepts. We start with a reconstruction of Leibniz’s theory within the theory of abstract objects (henceforth ‘object theory’). Leibniz’s theory of concepts, under this reconstruction, has a non-modal algebra of concepts, a concept-containment theory of truth, and a modal metaphysics of complete individual concepts. We show how the object-theoretic reconstruction of these components of Leibniz’s theory can be represented for investigation by means of automated theorem provers and finite model builders. The fundamental theorem of Leibniz’s theory is derived using these tools.},
	language = {en},
	urldate = {2017-03-01},
	booktitle = {Automated {Deduction} - {CADE}-25},
	publisher = {Springer},
	author = {Alama, Jesse and Oppenheimer, Paul and Zalta, Edward},
	month = aug,
	year = {2015},
	note = {DOI: 10.1007/978-3-319-21401-6\_4},
	pages = {73--97},
	file = {cade.pdf:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/9HQN5N53/cade.pdf:application/pdf;Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/V5X5ECBB/978-3-319-21401-6_4.html:text/html}
}

@incollection{thion_general_2002,
	series = {Lecture {Notes} in {Computer} {Science}},
	title = {A {General} {Theorem} {Prover} for {Quantified} {Modal} {Logics}},
	copyright = {©2002 Springer-Verlag Berlin Heidelberg},
	isbn = {978-3-540-43929-5 978-3-540-45616-2},
	url = {http://link.springer.com.libproxy1.nus.edu.sg/chapter/10.1007/3-540-45616-3_19},
	abstract = {The main contribution of this work is twofold. It presents a modular tableau calculus, in the free-variable style, treating the main domain variants of quantified modal logic and dealing with languages where rigid and non-rigid designation can coexist. The calculus uses, to this end, light and simple semantical annotations. Such a general proof-system results from the fusion into a unified framework of two calculi previously defined by the second and third authors. Moreover, the work presents a theorem prover, called GQML-Prover, based on such a calculus, which is accessible in the Internet. The fair deterministic proof-search strategy used by the prover is described and illustrated via a meaningful example.},
	language = {en},
	number = {2381},
	urldate = {2016-10-09},
	booktitle = {Automated {Reasoning} with {Analytic} {Tableaux} and {Related} {Methods}},
	publisher = {Springer Berlin Heidelberg},
	author = {Thion, V. and Cerrito, S. and Mayer, Marta Cialdea},
	editor = {Egly, Uwe and Fermüller, Chritian G.},
	month = jul,
	year = {2002},
	note = {DOI: 10.1007/3-540-45616-3\_19},
	keywords = {Artificial Intelligence (incl. Robotics), Mathematical Logic and Formal Languages, Programming Techniques, Software Engineering},
	pages = {266--280},
	file = {Full Text PDF:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/97CQFSVK/Thion et al. - 2002 - A General Theorem Prover for Quantified Modal Logi.pdf:application/pdf;Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/35372XV2/Thion et al. - 2002 - A General Theorem Prover for Quantified Modal Logi.html:text/html}
}

@article{norby_against_2014,
	title = {Against {Fragmentation}},
	volume = {3},
	copyright = {© 2014 Wiley Periodicals, Inc and the Northern Institute of Philosophy},
	issn = {2161-2234},
	url = {http://onlinelibrary.wiley.com.libproxy1.nus.edu.sg/doi/10.1002/tht3.110/abstract},
	doi = {10.1002/tht3.110},
	abstract = {I criticize the idea that theories of ‘fragmented’ or ‘compartmentalized’ belief (as found in, e.g., Lewis 1982, Egan 2008) can help to account for the puzzling phenomena they are often taken to account for. After introducing fragmentationalism and a paradigm case that purportedly motivates it, I criticize the view primarily on the grounds that the models and explanations it offers are at best trivial---as witnessed by examples of over-generation---and should be seen as merely re-describing in figurative terms the phenomena it is designed to account for. I also point out that fragments, as used in these theories, are not likely to be psychologically real in any robust sense and so cannot be appealed to on such grounds.},
	language = {en},
	number = {1},
	urldate = {2014-11-25},
	journal = {Thought: A Journal of Philosophy},
	author = {Norby, Aaron},
	month = mar,
	year = {2014},
	keywords = {belief, compartmentalization, fragmentation, psychological explanation, rationality},
	pages = {30--38},
	file = {Full Text PDF:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/FKMGWE2C/Norby - 2014 - Against Fragmentation.pdf:application/pdf;Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/U9W5G982/Norby - 2014 - Against Fragmentation.html:text/html}
}

@article{gustafsson_money-pump_2010,
	title = {A {Money}-{Pump} for {Acyclic} {Intransitive} {Preferences}},
	volume = {64},
	issn = {1746-8361},
	url = {http://onlinelibrary.wiley.com.libproxy1.nus.edu.sg/doi/10.1111/j.1746-8361.2010.01230.x/abstract},
	doi = {10.1111/j.1746-8361.2010.01230.x},
	abstract = {The standard argument for the claim that rational preferences are transitive is the pragmatic money-pump argument. However, a money-pump only exploits agents with cyclic strict preferences. In order to pump agents who violate transitivity but without a cycle of strict preferences, one needs to somehow induce such a cycle. Methods for inducing cycles of strict preferences from non-cyclic violations of transitivity have been proposed in the literature, based either on offering the agent small monetary transaction premiums or on multi-dimensional preferences. This paper argues that previous proposals have been flawed and presents a new approach based on the dominance principle.},
	language = {en},
	number = {2},
	urldate = {2016-11-16},
	journal = {Dialectica},
	author = {Gustafsson, Johan E.},
	month = jun,
	year = {2010},
	pages = {251--257},
	file = {Full Text PDF:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/UEJQHI3G/Gustafsson - 2010 - A Money-Pump for Acyclic Intransitive Preferences.pdf:application/pdf;Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/JPE9RXP4/abstract\;jsessionid=539AA6E7134562AFBAA6ECDD380F6A7F.html:text/html}
}

@article{russell_denoting_1905,
	title = {On {Denoting}},
	volume = {14},
	issn = {0026-4423},
	url = {http://www.jstor.org.libproxy1.nus.edu.sg/stable/2248381},
	number = {56},
	urldate = {2017-02-28},
	journal = {Mind},
	author = {Russell, Bertrand},
	year = {1905},
	pages = {479--493},
	file = {2248381.pdf:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/547QTU4A/2248381.pdf:application/pdf}
}

@incollection{dorsch_limits_2014,
	title = {The {Limits} of {Aesthetic} {Empiricism}},
	booktitle = {Aesthetics and the {Sciences} of {Mind}},
	publisher = {Oxford University Press},
	author = {Dorsch, Fabian},
	editor = {Currie, Gregory and Kieran, Matthew and Meskin, Aaron and Robson, Jon},
	year = {2014},
	pages = {75--100},
	file = {DORTLO-7.1.pdf:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/HT8TDTE4/DORTLO-7.1.pdf:application/pdf;PhilPapers - Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/QNQ3UUMW/undefined.html:text/html}
}

@article{garbacz_digitalizacja_2016,
	title = {Digitalizacja filozofii formalnej},
	volume = {24},
	issn = {1230-6894},
	url = {https://www.ceeol.com/search/article-detail?id=470577},
	language = {Polish},
	number = {4 (96)},
	urldate = {2017-03-01},
	journal = {Filozofia Nauki},
	author = {Garbacz, Paweł},
	year = {2016},
	pages = {27--47},
	file = {Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/N47KWP2P/article-detail.html:text/html}
}

@book{szatkowski_ontological_2013,
	address = {Berlin, Boston},
	title = {Ontological {Proofs} {Today}},
	isbn = {978-3-11-032588-1},
	url = {https://www.degruyter.com/viewbooktoc/product/209124},
	language = {ENGL},
	urldate = {2017-02-27},
	publisher = {De Gruyter},
	author = {Szatkowski, Miroslaw},
	year = {2013},
	note = {DOI: 10.1515/9783110325881},
	file = {[Miroslaw_Szatkowski]_Ontological_Proofs_Today(BookZZ.org).pdf:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/QVSWW62M/[Miroslaw_Szatkowski]_Ontological_Proofs_Today(BookZZ.org).pdf:application/pdf}
}

@book{mcclennen_rationality_1990,
	title = {Rationality and {Dynamic} {Choice}: {Foundational} {Explorations}},
	shorttitle = {Rationality and {Dynamic} {Choice}},
	publisher = {Cambridge University Press},
	author = {McClennen, Edward F.},
	year = {1990},
	file = {[Edward_F._McClennen]_Rationality_and_Dynamic_Choi(BookZZ.org).pdf:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/SFVRD8GP/[Edward_F._McClennen]_Rationality_and_Dynamic_Choi(BookZZ.org).pdf:application/pdf;PhilPapers - Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/AS4CKMF5/undefined.html:text/html}
}

@book{williamson_modal_2013,
	address = {Oxford, New York},
	title = {Modal {Logic} as {Metaphysics}},
	isbn = {978-0-19-955207-8},
	abstract = {Are there such things as merely possible people, who would have lived if our ancestors had acted differently? Are there future people, who have not yet been conceived? Questions like those raise deep issues about both the nature of being and its logical relations with contingency and change. In Modal Logic as Metaphysics, Timothy Williamson argues for positive answers to those questions on the basis of an integrated approach to the issues, applying the technical resources of modal logic to provide structural cores for metaphysical theories. He rejects the search for a metaphysically neutral logic as futile. The book contains detailed historical discussion of how the metaphysical issues emerged in the twentieth century development of quantified modal logic, through the work of such figures as Rudolf Carnap, Ruth Barcan Marcus, Arthur Prior, and Saul Kripke. It proposes higher-order modal logic as a new setting in which to resolve such metaphysical questions scientifically, by the construction of systematic logical theories embodying rival answers and their comparison by normal scientific standards. Williamson provides both a rigorous introduction to the technical background needed to understand metaphysical questions in quantified modal logic and an extended argument for controversial, provocative answers to them. He gives original, precise treatments of topics including the relation between logic and metaphysics, the methodology of theory choice in philosophy, the nature of possible worlds and their role in semantics, plural quantification compared to quantification into predicate position, communication across metaphysical disagreement, and problems for truthmaker theory.},
	publisher = {Oxford University Press},
	author = {Williamson, Timothy},
	month = may,
	year = {2013},
	file = {Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/962F9J3X/modal-logic-as-metaphysics-9780199552078.html:text/html;[Timothy_Williamson]_Modal_Logic_as_Metaphysics(BookZZ.org).pdf:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/PTQM6X6E/[Timothy_Williamson]_Modal_Logic_as_Metaphysics(BookZZ.org).pdf:application/pdf}
}

@incollection{graham_aesthetic_2006,
	title = {Aesthetic {Empiricism} and the {Challenge} of {Fakes} and {Ready}-{Mades}},
	booktitle = {Contemporary {Debates} in {Aesthetics} and the {Philosophy} of {Art}},
	publisher = {Blackwell Pub.},
	author = {Graham, Gordon},
	editor = {Kieran, Matthew},
	year = {2006},
	pages = {11--21},
	file = {PhilPapers - Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/69F6AAVP/undefined.html:text/html}
}

@article{bjordal_understanding_1999,
	title = {Understanding {Gödel}'s {Ontological} {Argument}},
	url = {https://www.duo.uio.no/handle/10852/24476},
	urldate = {2016-10-25},
	author = {Bjørdal, Frode},
	year = {1999},
	file = {[PDF] uio.no:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/XN6D592B/Bjørdal - 1999 - Understanding Gödel's Ontological Argument.pdf:application/pdf;Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/DJR5CW9X/24476.html:text/html}
}

@incollection{gibbard_counterfactuals_1978,
	series = {The {University} of {Western} {Ontario} {Series} in {Philosophy} of {Science}},
	title = {Counterfactuals and {Two} {Kinds} of {Expected} {Utility}},
	copyright = {©1981 Springer Science+Business Media B.V.},
	isbn = {978-90-277-1220-2 978-94-009-9117-0},
	url = {http://link.springer.com.libproxy1.nus.edu.sg/chapter/10.1007/978-94-009-9117-0_8},
	abstract = {We begin with a rough theory of rational decision-making. In the first place, rational decision-making involves conditional propositions: when a person weighs a major decision, it is rational for him to ask, for each act he considers, what would happen if he performed that act. It is rational, then, for him to consider propositions of the form ‘If I were to do a, then c would happen’. Such a proposition we shall call a counterfactual, and we shall form counterfactuals with a connective ‘☐→' on this pattern: ‘If I were to do a, then c would happen’ is to be written ‘I do a ‘☐→' c happens’.},
	language = {en},
	number = {15},
	urldate = {2015-06-08},
	booktitle = {{IFS}},
	publisher = {Springer Netherlands},
	author = {Gibbard, Allan and Harper, William L.},
	editor = {Harper, William L. and Stalnaker, Robert and Pearce, Glenn},
	year = {1978},
	keywords = {Philosophy of Language, Philosophy of Science},
	pages = {153--190},
	file = {Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/WUAN3ZSR/978-94-009-9117-0_8.html:text/html}
}

@article{peterson_prospectism_2015,
	title = {Prospectism and the weak money pump argument},
	volume = {78},
	issn = {0040-5833, 1573-7187},
	url = {http://link.springer.com.libproxy1.nus.edu.sg/article/10.1007/s11238-014-9435-2},
	doi = {10.1007/s11238-014-9435-2},
	abstract = {Hare (Analysis 70:237--247, 2010) proposes a view he calls prospectism for making choices in situations in which preferences have a common, but problematic structure. I show that prospectism permits the decision-maker to make a series of choices she knows in advance will lead to a sure loss. I also argue that a theory that permits the decision-maker to make choices she knows in advance will lead to a sure loss should be rejected.},
	language = {en},
	number = {3},
	urldate = {2016-11-16},
	journal = {Theory and Decision},
	author = {Peterson, Martin},
	month = mar,
	year = {2015},
	pages = {451--456},
	file = {Full Text PDF:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/E866DFMC/Peterson - 2015 - Prospectism and the weak money pump argument.pdf:application/pdf;Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/BPAF8Q7G/10.html:text/html}
}

@article{temkin_continuum_1996,
	title = {A {Continuum} {Argument} for {Intransitivity}},
	volume = {25},
	copyright = {Copyright © 1996 Wiley},
	issn = {0048-3915},
	url = {http://www.jstor.org.libproxy1.nus.edu.sg/stable/2961924},
	number = {3},
	urldate = {2015-05-01},
	journal = {Philosophy \& Public Affairs},
	author = {Temkin, Larry S.},
	month = jul,
	year = {1996},
	pages = {175--210},
	file = {JSTOR Full Text PDF:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/MWW55M7F/Temkin - 1996 - A Continuum Argument for Intransitivity.pdf:application/pdf}
}

@inproceedings{benzmuller_computer-assisted_2015,
	title = {Computer-assisted analysis of the {Anderson}-{Hájek} ontological controversy},
	url = {https://www.researchgate.net/profile/Christoph_Benzmueller/publication/271584989_COMPUTER-ASSISTED_ANALYSIS_OF_THE_ANDERSON-HJEK_ONTOLOGICAL_CONTROVERSY/links/54ccc0360cf29ca810f5a1c1.pdf},
	urldate = {2016-10-25},
	booktitle = {Handbook of the 1st {World} {Congress} on {Logic} and {Religion}, {Joao} {Pessoa}, {Brasil}},
	author = {Benzmüller, Christoph and Weber, Leon and Paleo, B. Woltzenlogel},
	year = {2015},
	pages = {53--54},
	file = {[PDF] fu-berlin.de:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/3XU8GQ9A/Benzmüller et al. - 2015 - Computer-assisted analysis of the Anderson-Hájek o.pdf:application/pdf;Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/6VPPF7EW/54ccc0360cf29ca810f5a1c1.pdf:application/pdf}
}

@article{temkin_intransitivity_1999,
	title = {Intransitivity and the {Person}-{Affecting} {Principle}: {A} {Response}},
	volume = {59},
	copyright = {Copyright © 1999 International Phenomenological Society},
	issn = {0031-8205},
	shorttitle = {Intransitivity and the {Person}-{Affecting} {Principle}},
	url = {http://www.jstor.org.libproxy1.nus.edu.sg/stable/2653796},
	doi = {10.2307/2653796},
	number = {3},
	urldate = {2015-05-01},
	journal = {Philosophy and Phenomenological Research},
	author = {Temkin, Larry S.},
	month = sep,
	year = {1999},
	pages = {777--784},
	file = {JSTOR Full Text PDF:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/NZIPRPH5/Temkin - 1999 - Intransitivity and the Person-Affecting Principle.pdf:application/pdf}
}

@article{fitelson_steps_2007,
	title = {Steps {Toward} a {Computational} {Metaphysics}},
	volume = {36},
	url = {http://link.springer.com/article/10.1007/s10992-006-9038-7},
	number = {2},
	urldate = {2016-10-25},
	journal = {Journal of Philosophical Logic},
	author = {Fitelson, Branden and Zalta, Edward N.},
	year = {2007},
	pages = {227--247},
	file = {[PDF] researchgate.net:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/VDN8IPIA/Fitelson and Zalta - 2007 - Steps toward a computational metaphysics.pdf:application/pdf;Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/SI8X8XWJ/s10992-006-9038-7.html:text/html}
}

@article{smith_perceptual_2017,
	title = {The perceptual categorisation of blended and single malt {Scotch} whiskies},
	volume = {6},
	copyright = {2017 The Author(s).},
	issn = {2044-7248},
	url = {http://flavourjournal.biomedcentral.com.libproxy1.nus.edu.sg/articles/10.1186/s13411-017-0056-x},
	doi = {10.1186/s13411-017-0056-x},
	abstract = {Although most Scotch whisky is blended from different casks, a firm distinction exists in the minds of consumers and in the marketing of Scotch between single malts and blended whiskies. Consumers are offered cultural, geographical and production reasons to treat Scotch whiskies as falling into the categories of blends and single malts. There are differences in the composition, method of distillation and origin of the two kinds of bottled spirits. But does this category distinction correspond to a perceptual difference detectable by whisky drinkers? Do experts and novices show differences in their perceptual sensitivities to the distinction between blends and single malts? To test the sensory basis of this distinction, we conducted a series of blind tasting experiments in three countries with different levels of familiarity with the blends versus single malts distinction (the UK, the USA and France). In each country, expert and novice participants had to perform a free sorting task on nine whiskies (four blends, four single malts, one single grain, plus one repeat) first by olfaction, then by tasting. Overall, no reliable perceptual distinction was revealed in the tasting condition between blends and single malts by experts or novices when asked to group whiskies according to their similarities and differences. There was nonetheless a clear effect of expertise, with experts showing a more reliable classification of the repeat sample. French experts came closest to a making a distinction between blends and single malts in the olfactory condition, which might be explained by a lack of familiarity with blends. Interestingly, the similarity between the blends and some of their ingredient single malts explained more of participants’ groupings than the dichotomy between blends and single malts. The firmly established making and marketing distinction between blends and single malts corresponds to no broad perceptually salient difference for whisky tasters, whether experts or novices. The present study indicates that successfully blended whiskies have their own distinctive and recognizable profiles, taking their place in a common similarity space, with groupings that can reflect their component parts.},
	language = {En},
	number = {1},
	urldate = {2017-03-17},
	journal = {Flavour},
	author = {Smith, Barry C. and Sester, Carole and Ballester, Jordi and Deroy, Ophelia},
	month = mar,
	year = {2017},
	pages = {5},
	file = {Full Text PDF:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/R2TQNAXC/Smith et al. - 2017 - The perceptual categorisation of blended and singl.pdf:application/pdf;Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/XXA38CAX/Smith et al. - 2017 - The perceptual categorisation of blended and singl.html:text/html}
}

@article{rushby_ontological_2013,
	title = {The {Ontological} {Argument} in {PVS}},
	url = {http://www.csl.sri.com/users/rushby/papers/ontological.pdf},
	urldate = {2016-10-25},
	journal = {Fun With Formal Methods, St Petersburg, Russia},
	author = {Rushby, John},
	year = {2013},
	file = {[PDF] from sri.com:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/G8FTR4UJ/Rushby - 2013 - The Ontological Argument in PVS.pdf:application/pdf}
}

@article{rabinowicz_centipede_2001,
	title = {A {Centipede} for {Intransitive} {Preferrers}},
	volume = {67},
	issn = {0039-3215, 1572-8730},
	url = {http://link.springer.com.libproxy1.nus.edu.sg/article/10.1023/A:1010586802757},
	doi = {10.1023/A:1010586802757},
	abstract = {In the standard money pump, an agent with cyclical preferences can avoid exploitation if he shows foresight and solves his sequential decision problem using backward induction (BI). This way out is foreclosed in a modified money pump, which has been presented in Rabinowicz (2000). There, BI will lead the agent to behave in a self-defeating way. The present paper describes another sequential decision problem of this kind, the Centipede for an Intransitive Preferrer, which in some respects is even more striking than the modified pump. In the new problem, the BI reasoning that implies self-defeating behavior does not rest on the controversial robustness assumption concerning beliefs in one's future rationality. This strengthens the claim that foresight cannot save the intransitive preferrer from a self-defeating course of action.},
	language = {en},
	number = {2},
	urldate = {2016-11-16},
	journal = {Studia Logica},
	author = {Rabinowicz, Wlodek},
	month = mar,
	year = {2001},
	pages = {167--178},
	file = {Full Text PDF:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/855NBR66/Rabinowicz - 2001 - A Centipede for Intransitive Preferrers.pdf:application/pdf;Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/74DRP34H/10.html:text/html}
}

@article{oppenheimer_reflections_2007,
	title = {Reflections on the {Logic} of the {Ontological} {Argument}: {A} {Journal} of {Analytic} {Scholasticism}},
	volume = {4},
	shorttitle = {Reflections on the {Logic} of the {Ontological} {Argument}},
	url = {https://www-pdcnet-org.libproxy1.nus.edu.sg//pdc/bvdb.nsf/purchase?openform&fp=studneoar&id=studneoar_2007_0004_0001_0028_0035&onlyautologin=true},
	doi = {10.5840/studneoar20074114},
	number = {1},
	urldate = {2016-12-15},
	journal = {Studia Neoaristotelica},
	author = {Oppenheimer, Paul E. and Zalta, Edward N.},
	month = apr,
	year = {2007},
	pages = {28--35},
	file = {reflections-ontological.pdf:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/THV6AV8H/reflections-ontological.pdf:application/pdf;Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/CSX6NPHN/purchase.html:text/html}
}

@article{garbacz_prover9s_2012,
	title = {Prover9's {Simplification} {Explained} {Away}},
	volume = {90},
	url = {http://www.tandfonline.com/doi/abs/10.1080/00048402.2011.636177},
	number = {3},
	urldate = {2016-10-25},
	journal = {Australasian Journal of Philosophy},
	author = {Garbacz, Pawe{\textbackslash}l},
	year = {2012},
	pages = {585--592},
	file = {Prover9 s Simplification Explained Away.pdf:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/RCJUKWFJ/Prover9 s Simplification Explained Away.pdf:application/pdf;Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/56GREU8G/cookieAbsent.html:text/html}
}

@article{kallestrup_causal_nodate,
	title = {The {Causal} {Exclusion} {Argument}},
	volume = {131},
	issn = {0031-8116, 1573-0883},
	url = {http://link.springer.com.libproxy1.nus.edu.sg/article/10.1007/s11098-005-1439-x},
	doi = {10.1007/s11098-005-1439-x},
	abstract = {Jaegwon Kim’s causal exclusion argument says that if all physical effects have sufficient physical causes, and no physical effects are caused twice over by distinct physical and mental causes, there cannot be any irreducible mental causes. In addition, Kim has argued that the nonreductive physicalist must give up completeness, and embrace the possibility of downward causation. This paper argues first that this extra argument relies on a principle of property individuation, which the nonreductive physicalist need not accept, and second that once we get clear on overdetermination, there is a way to reject the exclusion principle upon which the causal exclusion argument depends, but third that this should not lead to the belief that mental causation is easily accounted for in terms of counterfactual dependencies.},
	language = {en},
	number = {2},
	urldate = {2016-10-05},
	journal = {Philosophical Studies},
	author = {Kallestrup, Jesper},
	pages = {459--485},
	file = {Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/ESMKI44K/10.html:text/html}
}

@inproceedings{matichuk_isabelle_2014,
	title = {An {Isabelle} {Proof} {Method} {Language}},
	url = {https://link-springer-com.libproxy1.nus.edu.sg/chapter/10.1007/978-3-319-08970-6_25},
	doi = {10.1007/978-3-319-08970-6_25},
	abstract = {Machine-checked proofs are becoming ever-larger, presenting an increasing maintenance challenge. Isabelle’s most popular language interface, Isar, is attractive for new users, and powerful in the hand},
	language = {en},
	urldate = {2017-03-07},
	booktitle = {{SpringerLink}},
	publisher = {Springer, Cham},
	author = {Matichuk, Daniel and Wenzel, Makarius and Murray, Toby},
	month = jul,
	year = {2014},
	pages = {390--405},
	file = {Full Text PDF:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/PIFEZS5N/Matichuk et al. - 2014 - An Isabelle Proof Method Language.pdf:application/pdf;Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/W77NEMPQ/978-3-319-08970-6_25.html:text/html}
}

@article{benzmuller_godels_2013,
	title = {Godel's {God} in {Isabelle}/{HOL}},
	url = {http://www.isa-afp.org/browser_info/devel/AFP/GoedelGod/document.pdf},
	urldate = {2016-10-25},
	journal = {Archive of Formal Proofs},
	author = {Benzmuller, Christoph and Paleo, Woltzenlogel},
	year = {2013},
	file = {[PDF] isa-afp.org:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/FJUMBQKI/Benzmüller and Paleo - 2013 - Gödel’s god in isabellehol.pdf:application/pdf}
}

@book{harper_ifs_1980,
	address = {Dordrecht},
	title = {{IFS}},
	isbn = {978-90-277-1220-2 978-94-009-9117-0},
	url = {http://link.springer.com/10.1007/978-94-009-9117-0},
	urldate = {2015-06-08},
	publisher = {Springer Netherlands},
	editor = {Harper, William L. and Stalnaker, Robert and Pearce, Glenn},
	year = {1980}
}

@incollection{otten_mleancop:_2014,
	series = {Lecture {Notes} in {Computer} {Science}},
	title = {{MleanCoP}: {A} {Connection} {Prover} for {First}-{Order} {Modal} {Logic}},
	copyright = {©2014 Springer International Publishing Switzerland},
	isbn = {978-3-319-08586-9 978-3-319-08587-6},
	shorttitle = {{MleanCoP}},
	url = {http://link.springer.com.libproxy1.nus.edu.sg/chapter/10.1007/978-3-319-08587-6_20},
	abstract = {MleanCoP is a fully automated theorem prover for first-order modal logic. The proof search is based on a prefixed connection calculus and an additional prefix unification, which captures the Kripke semantics of different modal logics. MleanCoP is implemented in Prolog and the source code of the core proof search procedure consists only of a few lines. It supports the standard modal logics D, T, S4, and S5 with constant, cumulative, and varying domain conditions. The most recent version also supports heterogeneous multimodal logics and outputs a compact prefixed connection proof. An experimental evaluation shows the strong performance of MleanCoP.},
	language = {en},
	number = {8562},
	urldate = {2016-10-26},
	booktitle = {Automated {Reasoning}},
	publisher = {Springer International Publishing},
	author = {Otten, Jens},
	editor = {Demri, Stéphane and Kapur, Deepak and Weidenbach, Christoph},
	month = jul,
	year = {2014},
	note = {DOI: 10.1007/978-3-319-08587-6\_20},
	keywords = {Artificial Intelligence (incl. Robotics), Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Mathematics of Computing, Numeric Computing, Software Engineering},
	pages = {269--276},
	file = {chp%3A10.1007%2F978-3-319-08587-6_20.pdf:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/4IWM3JR4/chp%3A10.1007%2F978-3-319-08587-6_20.pdf:application/pdf;Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/HB3PB4MS/10.html:text/html}
}

@article{oppenheimer_computationally-discovered_2011,
	title = {A {Computationally}-{Discovered} {Simplification} of the {Ontological} {Argument}},
	volume = {89},
	url = {http://www.tandfonline.com/doi/abs/10.1080/00048401003674482},
	number = {2},
	urldate = {2016-10-25},
	journal = {Australasian Journal of Philosophy},
	author = {Oppenheimer, Paul E. and Zalta, Edward N.},
	year = {2011},
	pages = {333--349},
	file = {Full Text PDF:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/2AVNEF4Q/Oppenheimer and Zalta - 2011 - A Computationally-Discovered Simplification of the.pdf:application/pdf;[PDF] peoppenheimer.us:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/HC4WM87C/Oppenheimer and Zalta - 2011 - A computationally-discovered simplification of the.pdf:application/pdf;Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/G53F8575/cookieAbsent.html:text/html}
}

@article{benzmuller_formalization_2013,
	title = {Formalization, {Mechanization} and {Automation} of {Godel}'s {Proof} of {God}'s {Existence}},
	url = {http://arxiv.org/abs/1308.4526},
	urldate = {2016-10-25},
	journal = {arXiv preprint arXiv:1308.4526},
	author = {Benzmüller, Christoph and Paleo, Bruno Woltzenlogel},
	year = {2013},
	file = {[PDF] arxiv.org:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/88RIIWTI/Benzmüller and Paleo - 2013 - Formalization, Mechanization and Automation of G\$.pdf:application/pdf;Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/6JXQJ6TA/1308.html:text/html}
}

@article{thompson_when_1995,
	title = {When a "{White} {Horse}" {Is} {Not} a "{Horse}"},
	volume = {45},
	copyright = {Copyright © 1995 University of Hawai'i Press},
	issn = {0031-8221},
	url = {http://www.jstor.org.libproxy1.nus.edu.sg/stable/1399790},
	doi = {10.2307/1399790},
	abstract = {Is the white horse paradox just a sleight of hand, or is it indicative of some truths about words, language, and logic? The paradox underscores some differences in the significance and implications of terms when considered in the context of mention rather than use. Moreover, the paradox shows that insights into how words and phrases operate in language can be gained by considering them in the context of mention. The paradox also causes us to think of the instrumental value of words, as opposed to thinking of their roles just in referring and in judgments and inferences.},
	number = {4},
	urldate = {2014-10-16},
	journal = {Philosophy East and West},
	author = {Thompson, Kirill Ole},
	month = oct,
	year = {1995},
	pages = {481--499},
	file = {JSTOR Full Text PDF:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/5KPAP2CW/Thompson - 1995 - When a White Horse Is Not a Horse.pdf:application/pdf}
}

@incollection{benzmuller_automating_2016,
	title = {Automating {Free} {Logic} in {Isabelle}/{HOL}},
	url = {http://link.springer.com.libproxy1.nus.edu.sg/chapter/10.1007/978-3-319-42432-3_6},
	abstract = {We present an interactive and automated theorem prover for free higher-order logic. Our implementation on top of the Isabelle/HOL framework utilizes a semantic embedding of free logic in classical higher-order logic. The capabilities of our tool are demonstrated with first experiments in category theory.},
	language = {en},
	urldate = {2016-12-07},
	booktitle = {Mathematical {Software} -- {ICMS} 2016},
	publisher = {Springer International Publishing},
	author = {Benzmuller, Christoph and Scott, Dana},
	month = jul,
	year = {2016},
	note = {DOI: 10.1007/978-3-319-42432-3\_6},
	pages = {43--50},
	file = {Full Text PDF:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/2P62RQED/Benzmüller and Scott - 2016 - Automating Free Logic in IsabelleHOL.pdf:application/pdf;Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/JXV6S9RQ/978-3-319-42432-3_6.html:text/html}
}

@inproceedings{benzmuller_automating_2014,
	title = {Automating {Gödel}'s {Ontological} {Proof} of {God}'s {Existence} with {Higher}-order {Automated} {Theorem} {Provers}.},
	volume = {263},
	url = {https://books.google.com.sg/books?hl=en&lr=&id=Kp3YBAAAQBAJ&oi=fnd&pg=PA93&dq=related:L9E7ZhVkupoJ:scholar.google.com/&ots=kqUzFeWOpU&sig=rpSMk2j1-CGV7uk5CcnAhrhIX-0},
	urldate = {2016-10-25},
	booktitle = {{ECAI}},
	author = {Benzmüller, Christoph and Paleo, Bruno Woltzenlogel},
	year = {2014},
	pages = {93--98},
	file = {C40.pdf:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/CVN5ETID/C40.pdf:application/pdf;[PDF] fu-berlin.de:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/KVZD8QJ4/Benzmüller and Paleo - 2014 - Automating Gödel's Ontological Proof of God's Exis.pdf:application/pdf;Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/27E2XP7C/books.html:text/html}
}

@article{paleo_inconsistency_nodate,
	title = {The {Inconsistency} in {Gödel}’s {Ontological} {Argument}: {A} {Success} {Story} for {AI} in {Metaphysics}},
	shorttitle = {The {Inconsistency} in {Gödel}’s {Ontological} {Argument}},
	url = {http://page.mi.fu-berlin.de/cbenzmueller/papers/C55.pdf},
	urldate = {2016-10-25},
	author = {Paleo, Bruno Woltzenlogel},
	file = {[PDF] fu-berlin.de:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/CN37EI7B/Paleo - The Inconsistency in Gödel’s Ontological Argument.pdf:application/pdf}
}

@article{benzmuller_formalization_2013-1,
	title = {Formalization, {Mechanization} and {Automation} of {G}{\textbackslash}"odel's {Proof} of {God}'s {Existence}},
	url = {http://arxiv.org/abs/1308.4526},
	doi = {10.3233/978-1-61499-419-0-93},
	abstract = {Goedel's ontological proof has been analysed for the first-time with an unprecedent degree of detail and formality with the help of higher-order theorem provers. The following has been done (and in this order): A detailed natural deduction proof. A formalization of the axioms, definitions and theorems in the TPTP THF syntax. Automatic verification of the consistency of the axioms and definitions with Nitpick. Automatic demonstration of the theorems with the provers LEO-II and Satallax. A step-by-step formalization using the Coq proof assistant. A formalization using the Isabelle proof assistant, where the theorems (and some additional lemmata) have been automated with Sledgehammer and Metis.},
	urldate = {2016-10-14},
	journal = {arXiv:1308.4526 [cs, math]},
	author = {Benzmüller, Christoph and Paleo, Bruno Woltzenlogel},
	month = aug,
	year = {2013},
	note = {arXiv: 1308.4526},
	keywords = {03Axx, 68T27, 68T30, 68T15, Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science, F.4.1, I.2.3, I.2.4, Mathematics - Logic},
	file = {FormalizationMechanizationandAutomationofGodelsProofOfGodsExistence.pdf:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/KDB4EF7T/FormalizationMechanizationandAutomationofGodelsProofOfGodsExistence.pdf:application/pdf}
}

@article{rabinowicz_have_1995,
	title = {To {Have} {One}'s {Cake} and {Eat} {It}, {Too}: {Sequential} {Choice} and {Expected}-{Utility} {Violations}},
	volume = {92},
	issn = {0022-362X},
	shorttitle = {To {Have} {One}'s {Cake} and {Eat} {It}, {Too}},
	url = {http://www.jstor.org.libproxy1.nus.edu.sg/stable/2941089},
	doi = {10.2307/2941089},
	number = {11},
	urldate = {2016-11-17},
	journal = {The Journal of Philosophy},
	author = {Rabinowicz, Wlodek},
	year = {1995},
	pages = {586--620},
	file = {2941089.pdf:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/5R4AXWXQ/2941089.pdf:application/pdf}
}

@book{zalta_abstract_1983,
	address = {Dordrecht},
	title = {Abstract {Objects}},
	isbn = {978-94-009-6982-7 978-94-009-6980-3},
	url = {http://link.springer.com/10.1007/978-94-009-6980-3},
	language = {en},
	urldate = {2017-03-01},
	publisher = {Springer Netherlands},
	author = {Zalta, Edward N.},
	year = {1983},
	note = {DOI: 10.1007/978-94-009-6980-3},
	file = {bok%3A978-94-009-6980-3.pdf:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/TQ9AV89R/bok%3A978-94-009-6980-3.pdf:application/pdf}
}

@article{parent_prover9_2015,
	title = {On the {Prover}9 {Ontological} {Argument}},
	volume = {43},
	url = {http://link.springer.com/article/10.1007/s11406-015-9594-6},
	number = {2},
	urldate = {2016-10-25},
	journal = {Philosophia},
	author = {Parent, T.},
	year = {2015},
	pages = {475--483},
	file = {art%3A10.1007%2Fs11406-015-9594-6.pdf:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/KGEE6EU3/art%3A10.1007%2Fs11406-015-9594-6.pdf:application/pdf;Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/Q57T5Z7R/s11406-015-9594-6.html:text/html}
}

@article{temkin_intransitivity_1987,
	title = {Intransitivity and the {Mere} {Addition} {Paradox}},
	volume = {16},
	copyright = {Copyright © 1987 Wiley},
	issn = {0048-3915},
	url = {http://www.jstor.org.libproxy1.nus.edu.sg/stable/2265425},
	number = {2},
	urldate = {2015-05-01},
	journal = {Philosophy \& Public Affairs},
	author = {Temkin, Larry S.},
	month = apr,
	year = {1987},
	pages = {138--187},
	file = {JSTOR Full Text PDF:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/X763URC8/Temkin - 1987 - Intransitivity and the Mere Addition Paradox.pdf:application/pdf}
}

@article{schick_dutch_1986,
	title = {Dutch {Bookies} and {Money} {Pumps}},
	volume = {83},
	issn = {0022-362X},
	url = {http://www.jstor.org.libproxy1.nus.edu.sg/stable/2026054},
	doi = {10.2307/2026054},
	number = {2},
	urldate = {2016-11-17},
	journal = {The Journal of Philosophy},
	author = {Schick, Frederic},
	year = {1986},
	pages = {112--119},
	file = {2026054.pdf:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/CKNKXXQI/2026054.pdf:application/pdf}
}

@article{hansen_mass_1976,
	title = {Mass {Nouns} and "{A} {White} {Horse} {Is} {Not} a {Horse}"},
	volume = {26},
	copyright = {Copyright © 1976 University of Hawai'i Press},
	issn = {0031-8221},
	url = {http://www.jstor.org.libproxy1.nus.edu.sg/stable/1398188},
	doi = {10.2307/1398188},
	number = {2},
	urldate = {2014-10-16},
	journal = {Philosophy East and West},
	author = {Hansen, Chad D.},
	month = apr,
	year = {1976},
	pages = {189--209},
	file = {JSTOR Full Text PDF:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/BG8QH6NZ/Hansen - 1976 - Mass Nouns and A White Horse Is Not a Horse.pdf:application/pdf}
}

@article{gustafsson_irrelevance_2013,
	title = {The {Irrelevance} of the {Diachronic} {Money}-{Pump} {Argument} for {Acyclicity}},
	volume = {110},
	number = {8},
	journal = {Journal of Philosophy},
	author = {Gustafsson, Johan E.},
	year = {2013},
	pages = {460--464},
	file = {PhilPapers - Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/GHS8W6ZX/undefined.html:text/html;the-irrelevance-of-the-diachronic-money-pump-argument-for-acyclicity.pdf:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/FMD6RWCQ/the-irrelevance-of-the-diachronic-money-pump-argument-for-acyclicity.pdf:application/pdf}
}

@article{walton_categories_1970,
	title = {Categories of {Art}},
	volume = {79},
	copyright = {Copyright © 1970 Duke University Press},
	issn = {0031-8108},
	url = {http://www.jstor.org/stable/2183933},
	doi = {10.2307/2183933},
	number = {3},
	urldate = {2014-12-03},
	journal = {The Philosophical Review},
	author = {Walton, Kendall L.},
	month = jul,
	year = {1970},
	pages = {334--367},
	file = {JSTOR Full Text PDF:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/WRZCHUSP/Walton - 1970 - Categories of Art.pdf:application/pdf}
}

@inproceedings{benzmuller_godels_2013-1,
	title = {Godel’s {God} on the computer},
	url = {http://page.mi.fu-berlin.de/cbenzmueller/papers/2013-IWIL.pdf},
	urldate = {2016-10-25},
	booktitle = {10th {Intl}. {Workshop} {Implementation} of {Logics}, {EPiC} {Series}. {EasyChair}},
	author = {Benzmuller, Christoph and Paleo, Bruno Woltzenlogel},
	year = {2013},
	file = {[PDF] fu-berlin.de:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/GW9CXNRT/Benzmüller and Paleo - 2013 - Gödel’s God on the computer.pdf:application/pdf}
}

@incollection{fraser_school_2012,
	edition = {Winter 2012},
	title = {School of {Names}},
	url = {http://plato.stanford.edu/archives/win2012/entries/school-names/},
	abstract = {The “School of Names” (ming jia) is thetraditional Chinese label for a diverse group of Warring States(479--221 B.C.E.) thinkers who shared an interest in language,disputation, and metaphysics. They were notorious for logic-chopping,purportedly idle conceptual puzzles, and paradoxes such as“Today go to Yue but arrive yesterday” and “A whitehorse is not a horse.” Because reflection on language in ancientChina centered on “names” (ming, words) and theirrelation to “stuff” (shi, objects, events,situations), 2nd-century B.C.E. Han dynasty archivists dubbed thesethinkers the “School of Names,” one of six recognizedphilosophical movements. The “school” is a taxonomicalfiction, however. The varied figures assigned to it---Deng Xi, YinWen, Hui Shi, and Gongsun Long, among others---never formed adistinct circle or movement devoted to any particular doctrine or wayof life, and their intellectual interests overlapped extensively withthose of the later Mohists, Zhuangzi,  and Xunzi. Several of these men were activepolitically: Hui Shi was a government minister, Yin Wen and GongsunLong political advisors and peace activists. Still, in the eyes of Hanhistorians, they devoted themselves to no signature ethical orpolitical doctrines. Hence they became known primarily for theirinterest in language and disputation and on that basis were deemed a“school.” ,  Before the Han dynasty, the social group of which these thinkers werea part was known as the bianzhe---“disputers” or“dialecticians”---because they spent much of theirtime in “disputation” (bian, also“discrimination” or “distinction drawing”), aform of dialectical persuasion and inquiry aimed fundamentally at“distinguishing” the proper semantic relations betweennames and the things or kinds of things to which theyrefer. “Disputers” is thus probably a more appropriateEnglish label for Hui Shi, Gongsun Long, and the others than is the“School of Names,” though it refers not specifically tothese figures but to the broader class of scholars to which theybelonged. (“Name-distinguishers” or“distinction-disputers” would be even more accurate,though these terms are too clumsy to adopt as English equivalents.)The disputers flourished for about a century and a half as wanderingpolitical advisors, counseling rulers throughout pre-unificationChina. They disappeared with the onset of the Qin dynasty (221 B.C.E.),partly because the political and intellectual climate of the newempire was hostile to their purely theoretical, occasionally flippantinquiries, and partly because with unification their politicalservices became obsolete.},
	urldate = {2014-10-16},
	booktitle = {The {Stanford} {Encyclopedia} of {Philosophy}},
	author = {Fraser, Chris},
	editor = {Zalta, Edward N.},
	year = {2012},
	keywords = {Confucius, Daoism, Mencius, mereology, Mohism, Mohist Canons, Xunzi, Zhuangzi},
	file = {SEP - Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/QZ25J2BT/Fraser and Zalta - 2012 - School of Names.html:text/html}
}

@article{norcross_intransitivity_1999,
	title = {Intransitivity and the {Person}-{Affecting} {Principle}},
	volume = {59},
	copyright = {Copyright © 1999 International Phenomenological Society},
	issn = {0031-8205},
	url = {http://www.jstor.org.libproxy1.nus.edu.sg/stable/2653795},
	doi = {10.2307/2653795},
	abstract = {Philosophy journals and conferences have recently seen several attempts to argue that 'all-things-considered better than' does not obey strict transitivity. This paper focuses on Larry Temkin's argument in "Intransitivity and the Mere Addition Paradox." Although his argument is not aimed just at utilitarians or even consequentialists in general, it is of prticular significance to consequentialists. If 'all-things-considered better than' does not obey transitivity, there may be choice situations in which there is no optimal choice, which would seem to open the door to a consequentialist account of moral dilemmas. Temkin's argument crucially appeals to what he calls "the Person-Affecting Principle (PAP)", which he roughly characterizes as follows, "On PAP, one outcome is worse than another only if it affects people for the worse" This paper argues that PAP, although plausible, does not hold in precisely those situations in which it would have to hold in order for Temkin's argument against transitivity to work.},
	number = {3},
	urldate = {2015-05-01},
	journal = {Philosophy and Phenomenological Research},
	author = {Norcross, Alastair},
	month = sep,
	year = {1999},
	pages = {769--776},
	file = {JSTOR Full Text PDF:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/VTFQZGBJ/Norcross - 1999 - Intransitivity and the Person-Affecting Principle.pdf:application/pdf}
}

@phdthesis{dowling_vindication_2007,
	type = {Ph.{D}.},
	title = {The vindication of aesthetic empiricism},
	url = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.485354},
	abstract = {'This doctoral thesis is an examination, and vindication, of a position that has been identified with the expression 'aesthetic empiricism' and typically captured by the claim that 'what is aesthetically valuable in a painting can be detected merely by looking at it - features that cannot be so detected are not properly aesthetic ones' (Currie, 1989). Such a position continues to be a focus for contemporary discussion (e.g., Davies, 2004, 2006, and Graham, 2006), yet it is far from clear precisely what it entails or even who subscribes to it. All that seems to have been agreed is that aesthetic empiricism is false, demonstrably so in the light of Walton's claims in 'Categories of Art' (1970), and Danto's work on indiscernibles (1981). The lack of theoretical clarity would suffice to motivate a closer look at aesthetic empiricism; however, the more specific target of this thesis isÃ‚Â· to show that the received treatment is mistaken - aesthetic empiricism, once clearly identified, can be seen to be both intuitive and beguiling. It earns our philosophical consideration by providing a formidable accoiint ofthe aesthetic and also a valuable contribution to our understanding of art criticism.},
	language = {eng},
	urldate = {2016-11-28},
	school = {University of York},
	author = {Dowling, Christopher Michael},
	year = {2007},
	file = {Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/F98BKMUA/OrderDetails.html:text/html}
}

@article{levy_money_2014,
	title = {Money {Pumps}, {Diachronic} and {Synchronic}},
	journal = {Journal of Ethics and Social Philosophy},
	author = {Levy, Yair},
	year = {2014},
	pages = {XX},
	file = {money-pumps-diachronic-and-synchronic.pdf:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/AGMMXT6C/money-pumps-diachronic-and-synchronic.pdf:application/pdf;PhilPapers - Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/UCD3838J/undefined.html:text/html}
}

@book{wiedijk_seventeen_2006,
	address = {Secaucus, NJ, USA},
	title = {The {Seventeen} {Provers} of the {World}: {Foreword} by {Dana} {S}. {Scott} ({Lecture} {Notes} in {Computer} {Science} / {Lecture} {Notes} in {Artificial} {Intelligence})},
	isbn = {978-3-540-30704-4},
	shorttitle = {The {Seventeen} {Provers} of the {World}},
	publisher = {Springer-Verlag New York, Inc.},
	author = {Wiedijk, Freek},
	year = {2006}
}

@book{rabinowicz_levi_2006,
	title = {Levi on {Money} {Pumps} and {Diachronic} {Dutch}-{Book} {Arguments}},
	copyright = {info:eu-repo/semantics/openAccess},
	isbn = {978-0-521-84556-4},
	url = {http://lup.lub.lu.se/record/775394},
	abstract = {My focus is on pragmatic arguments for various ‘rationality constraints’ on a decision maker’s state of mind: on his beliefs or preferences. An argument of this kind purports to show that a violator of a given constraint can be exposed to a decision problem in which he will act to his guaranteed disadvantage. Dramatically put, he can be exploited by a clever bookie who doesn’t know more than the agent himself. Examples of pragmatic arguments of this kind are synchronic Dutch Books, for the standard probability axioms, diachronic Dutch Books, for the more controversial principles of reflection and conditionalization, and Money Pumps, for the transitivity requirement on preferences.{\textless}br/{\textgreater}{\textless}br{\textgreater}
The proposed exploitation set-ups share a common feature. If the violator of a given constraint is logically and mathematically competent, he can be exploited only if he is disunified in his decision-making. Exploitation is possible only if the agent makes decisions on various issues he confronts one by one, rather than on all of them together. {\textless}br/{\textgreater}{\textless}br{\textgreater}
Unity in decision making may be quite costly and is often inconvenient, especially when it concerns opportunity packages that are spread over time. On my view, therefore, pragmatic arguments should be seen as delivering conditional conclusions: “If you want to afford being disunified as a decision maker, then you’d better satisfy these constraints.” The arguments of this kind fail to establish the inherent rationality of the constraints under consideration. {\textless}br/{\textgreater}{\textless}br{\textgreater}
Levi’s view of the status of pragmatic arguments (cf. Levi 2002) is opposed to mine. According to him, only synchronic pragmatic arguments are valid (indeed, categorically valid). The diachronic ones, he argues, lack any validity at all. This line of reasoning is questioned in my paper.},
	language = {eng},
	urldate = {2016-11-16},
	publisher = {Cambridge University Press},
	author = {Rabinowicz, Wlodek},
	year = {2006},
	file = {Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/NZ8ATXDX/775394.html:text/html}
}

@incollection{piper_money_2014,
	title = {The {Money} {Pump} {Is} {Necessarily} {Diachronic}},
	booktitle = {Adrian {Piper} {Research} {Archive} {Foundation} {Berlin}/{Philosophy}},
	author = {Piper, Adrian M. S.},
	year = {2014},
	pages = {1--7},
	file = {PhilPapers - Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/C44WW8HJ/undefined.html:text/html;PIPTMP.pdf:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/6N52TRJM/PIPTMP.pdf:application/pdf}
}

@article{hansen_mass_1976-1,
	title = {Mass {Nouns} and "{A} {White} {Horse} {Is} {Not} a {Horse}"},
	volume = {26},
	copyright = {Copyright © 1976 University of Hawai'i Press},
	issn = {0031-8221},
	url = {http://www.jstor.org.libproxy1.nus.edu.sg/stable/1398188},
	doi = {10.2307/1398188},
	number = {2},
	urldate = {2014-10-16},
	journal = {Philosophy East and West},
	author = {Hansen, Chad D.},
	month = apr,
	year = {1976},
	pages = {189--209},
	file = {JSTOR Full Text PDF:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/A7946HNU/Hansen - 1976 - Mass Nouns and A White Horse Is Not a Horse.pdf:application/pdf}
}

@article{nipkow_tutorial_2011,
	title = {A tutorial introduction to structured {Isar} proofs},
	url = {http://arachne.it.uu.se/grad/courses/gc0910/isabelle/isar-overview.pdf},
	urldate = {2016-12-12},
	journal = {Available from World Wide Web: http://www. in. tum. de/∼ nipkow},
	author = {Nipkow, Tobias},
	year = {2011},
	file = {isar-overview.pdf:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/6CJCJAF6/isar-overview.pdf:application/pdf;[PDF] uu.se:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/TB378QC3/Nipkow - 2011 - A tutorial introduction to structured Isar proofs.pdf:application/pdf}
}

@book{sobel_logic_2009,
	address = {Cambridge},
	edition = {1 edition},
	title = {Logic and {Theism}: {Arguments} for and against {Beliefs} in {God}},
	isbn = {978-0-521-10866-9},
	shorttitle = {Logic and {Theism}},
	abstract = {This book includes arguments for and against belief in God. The arguments for the belief are analyzed in the first six chapters and include ontological arguments from Anselm through Gödel; the cosmological arguments of Aquinas and Leibniz; and arguments from evidence for design and miracles.  The next two chapters consider arguments against belief.  The last chapter examines Pascalian arguments for and against belief in God. This book is a valuable resource for philosophers of religion and theologians and interests logicians and mathematicians as well.},
	language = {English},
	publisher = {Cambridge University Press},
	author = {Sobel, Jordan Howard},
	month = apr,
	year = {2009},
	file = {[Jordan_Howard_Sobel]_Logic_and_Theism_Arguments_(BookZZ.org).pdf:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/P7Z4SNXI/[Jordan_Howard_Sobel]_Logic_and_Theism_Arguments_(BookZZ.org).pdf:application/pdf}
}

@article{portugal_weber-fechner_2011,
	title = {Weber-{Fechner} {Law} and the {Optimality} of the {Logarithmic} {Scale}},
	volume = {21},
	issn = {0924-6495, 1572-8641},
	url = {http://link.springer.com.libproxy1.nus.edu.sg/article/10.1007/s11023-010-9221-z},
	doi = {10.1007/s11023-010-9221-z},
	abstract = {Weber-Fechner Law states that the perceived intensity is proportional to the logarithm of the stimulus. Recent experiments suggest that this law also holds true for perception of numerosity. Therefore, the use of a logarithmic scale for the quantification of the perceived intensity may also depend on how the cognitive apparatus processes information. If Weber-Fechner law is the result of natural selection, then the logarithmic scale should be better, in some sense, than other biologically feasible scales. We consider the minimization of the relative error as the target of natural selection and we provide a formal proof that the logarithmic scale minimizes the maximal relative error.},
	language = {en},
	number = {1},
	urldate = {2017-02-10},
	journal = {Minds and Machines},
	author = {Portugal, R. D. and Svaiter, B. F.},
	month = feb,
	year = {2011},
	pages = {73--81},
	file = {Full Text PDF:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/G43TII7D/Portugal and Svaiter - 2011 - Weber-Fechner Law and the Optimality of the Logari.pdf:application/pdf;Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/HSP9NRJW/10.html:text/html}
}

@article{bourget_paperless_2010,
	title = {Paperless {Philosophy} as a {Philosophical} {Method}},
	volume = {24},
	issn = {0269-1728},
	url = {https://doi.org/10.1080/02691728.2010.499180},
	doi = {10.1080/02691728.2010.499180},
	abstract = {I discuss the prospects for new forms of professional communication in philosophy. I argue that online discussions and online surveys ought to play a more important role in communications between philosophers than they play today. However, there are major obstacles to the widespread adoption of these media as channels of communication between academics. I offer an overview of these obstacles and sketch a strategy for surmounting them. The strategy I propose involves the development of a new kind of service which could expand the reach of the analytic method in philosophy.},
	number = {4},
	urldate = {2017-02-28},
	journal = {Social Epistemology},
	author = {Bourget, David},
	month = oct,
	year = {2010},
	keywords = {Paperless Philosophy, Philosophical Method, Professional Communication},
	pages = {363--375},
	file = {Full Text PDF:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/J7MXKM65/Bourget - 2010 - Paperless Philosophy as a Philosophical Method.pdf:application/pdf;Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/8BXBWNP9/02691728.2010.html:text/html}
}

@article{omahony_who_1995,
	series = {Second {Sensometrics} {Meeting}},
	title = {Who told you the triangle test was simple?},
	volume = {6},
	issn = {0950-3293},
	url = {http://www.sciencedirect.com/science/article/pii/0950329395000224},
	doi = {10.1016/0950-3293(95)00022-4},
	abstract = {The effects of response bias, cognitive strategy change and the sequence of tasting are discussed in relation to the triangle test. Theoretical approaches like Thurstonian modelling and Sequential Sensitivity Analysis are reviewed. It is concluded that the triangle test is prone to many pitfalls; even a slight change in the instructions can bring about a radical change in performance.},
	number = {4},
	urldate = {2017-02-10},
	journal = {Food Quality and Preference},
	author = {O'Mahony, Michael},
	month = jan,
	year = {1995},
	pages = {227--238},
	file = {ScienceDirect Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/25DZIPXX/0950329395000224.html:text/html}
}

@article{hales_formal_2015,
	title = {A formal proof of the {Kepler} conjecture},
	url = {http://arxiv.org/abs/1501.02155},
	abstract = {This article describes a formal proof of the Kepler conjecture on dense sphere packings in a combination of the HOL Light and Isabelle proof assistants. This paper constitutes the official published account of the now completed Flyspeck project.},
	urldate = {2017-02-28},
	journal = {arXiv:1501.02155 [cs, math]},
	author = {Hales, Thomas and Adams, Mark and Bauer, Gertrud and Dang, Dat Tat and Harrison, John and Hoang, Truong Le and Kaliszyk, Cezary and Magron, Victor and McLaughlin, Sean and Nguyen, Thang Tat and Nguyen, Truong Quang and Nipkow, Tobias and Obua, Steven and Pleso, Joseph and Rute, Jason and Solovyev, Alexey and Ta, An Hoai Thi and Tran, Trung Nam and Trieu, Diep Thi and Urban, Josef and Vu, Ky Khac and Zumkeller, Roland},
	month = jan,
	year = {2015},
	note = {arXiv: 1501.02155},
	keywords = {Computer Science - Logic in Computer Science, Mathematics - Metric Geometry},
	file = {1501.02155.pdf:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/EPGESX9D/1501.02155.pdf:application/pdf;arXiv\:1501.02155 PDF:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/SZ4WAEZQ/Hales et al. - 2015 - A formal proof of the Kepler conjecture.pdf:application/pdf;arXiv.org Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/23FGE5TR/1501.html:text/html}
}

@article{oppenheimer_logic_1991,
	title = {On the {Logic} of the {Ontological} {Argument}},
	volume = {5},
	issn = {1520-8583},
	url = {http://www.jstor.org.libproxy1.nus.edu.sg/stable/2214107},
	doi = {10.2307/2214107},
	urldate = {2016-12-15},
	journal = {Philosophical Perspectives},
	author = {Oppenheimer, Paul E. and Zalta, Edward N.},
	year = {1991},
	pages = {509--529},
	file = {2214107.pdf:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/8D9VIMAK/2214107.pdf:application/pdf}
}

@article{dehaene_neural_2003,
	title = {The neural basis of the {Weber}--{Fechner} law: a logarithmic mental number line},
	volume = {7},
	issn = {1364-6613},
	shorttitle = {The neural basis of the {Weber}--{Fechner} law},
	url = {http://www.sciencedirect.com/science/article/pii/S136466130300055X},
	doi = {10.1016/S1364-6613(03)00055-X},
	abstract = {The recent discovery of number neurons allows for a dissection of the neuronal implementation of number representation. In a recent article, Nieder and Miller demonstrate a neural correlate of Weber's law, and thus resolve a classical debate in psychophysics: the mental number line seems to be logarithmic rather than linear.},
	number = {4},
	urldate = {2017-02-10},
	journal = {Trends in Cognitive Sciences},
	author = {Dehaene, Stanislas},
	month = apr,
	year = {2003},
	pages = {145--147},
	file = {ScienceDirect Full Text PDF:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/PVTZR9EA/Dehaene - 2003 - The neural basis of the Weber--Fechner law a logar.pdf:application/pdf;ScienceDirect Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/CHVBJB9R/S136466130300055X.html:text/html}
}

@article{benzmuller_computer-assisted_2017,
	title = {Computer-{Assisted} {Analysis} of the {Anderson}--{Hájek} {Ontological} {Controversy}},
	volume = {11},
	issn = {1661-8297, 1661-8300},
	url = {https://link-springer-com.libproxy1.nus.edu.sg/article/10.1007/s11787-017-0160-9},
	doi = {10.1007/s11787-017-0160-9},
	abstract = {A universal reasoning approach based on shallow semantical embeddings of higher-order modal logics into classical higher-order logic is exemplarily employed to analyze several modern variants of the o},
	language = {en},
	number = {1},
	urldate = {2017-03-24},
	journal = {Logica Universalis},
	author = {Benzmüller, C. and Weber, L. and Paleo, B. Woltzenlogel},
	month = mar,
	year = {2017},
	pages = {139--151},
	file = {art%3A10.1007%2Fs11787-017-0160-9.pdf:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/JEV87CVI/art%3A10.1007%2Fs11787-017-0160-9.pdf:application/pdf;Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/GUT648XJ/Benzmüller et al. - 2017 - Computer-Assisted Analysis of the Anderson--Hájek O.html:text/html}
}

@article{benzmuller_systematic_2015,
	title = {Systematic {Verification} of the {Modal} {Logic} {Cube} in {Isabelle}/{HOL}},
	volume = {186},
	issn = {2075-2180},
	url = {http://arxiv.org/abs/1507.08717},
	doi = {10.4204/EPTCS.186.5},
	abstract = {We present an automated verification of the well-known modal logic cube in Isabelle/HOL, in which we prove the inclusion relations between the cube's logics using automated reasoning tools. Prior work addresses this problem but without restriction to the modal logic cube, and using encodings in first-order logic in combination with first-order automated theorem provers. In contrast, our solution is more elegant, transparent and effective. It employs an embedding of quantified modal logic in classical higher-order logic. Automated reasoning tools, such as Sledgehammer with LEO-II, Satallax and CVC4, Metis and Nitpick, are employed to achieve full automation. Though successful, the experiments also motivate some technical improvements in the Isabelle/HOL tool.},
	urldate = {2017-03-24},
	journal = {Electronic Proceedings in Theoretical Computer Science},
	author = {Benzmüller, Christoph and Claus, Maximilian and Sultana, Nik},
	month = jul,
	year = {2015},
	note = {arXiv: 1507.08717},
	keywords = {Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science, F.4.1, I.2.3, I.2.4},
	pages = {27--41},
	file = {cade25_pxtp.pdf:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/VV7UW6UK/cade25_pxtp.pdf:application/pdf}
}

@article{kanckos_variants_2017,
	title = {Variants of {Gödel}’s {Ontological} {Proof} in a {Natural} {Deduction} {Calculus}},
	issn = {0039-3215, 1572-8730},
	url = {https://link-springer-com.libproxy1.nus.edu.sg/article/10.1007/s11225-016-9700-1},
	doi = {10.1007/s11225-016-9700-1},
	abstract = {This paper presents detailed formalizations of ontological arguments in a simple modal natural deduction calculus. The first formal proof closely follows the hints in Scott’s manuscript about Gödel’s},
	language = {en},
	urldate = {2017-03-24},
	journal = {Studia Logica},
	author = {Kanckos, Annika and Paleo, B. Woltzenlogel},
	month = jan,
	year = {2017},
	pages = {1--34},
	file = {art%3A10.1007%2Fs11225-016-9700-1.pdf:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/PCHAQ932/art%3A10.1007%2Fs11225-016-9700-1.pdf:application/pdf;Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/9P8EDSKJ/Kanckos and Paleo - 2017 - Variants of Gödel’s Ontological Proof in a Natural.html:text/html}
}

@inproceedings{benzmuller_interacting_2015,
	title = {Interacting with {Modal} {Logics} in the {Coq} {Proof} {Assistant}},
	url = {https://link-springer-com.libproxy1.nus.edu.sg/chapter/10.1007/978-3-319-20297-6_25},
	doi = {10.1007/978-3-319-20297-6_25},
	abstract = {This paper describes an embedding of higher-order modal logics in the Coq proof assistant. Coq’s capabilities are used to implement modal logics in a minimalistic manner, which is nevertheless suffici},
	language = {en},
	urldate = {2017-03-24},
	booktitle = {{SpringerLink}},
	publisher = {Springer, Cham},
	author = {Benzmüller, Christoph and Paleo, Bruno Woltzenlogel},
	month = jul,
	year = {2015},
	pages = {398--411},
	file = {Full Text PDF:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/UA3H57GP/Benzmüller and Paleo - 2015 - Interacting with Modal Logics in the Coq Proof Ass.pdf:application/pdf;Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/WS52VKMN/978-3-319-20297-6_25.html:text/html}
}

@article{benzmuller_ontological_2017,
	title = {The {Ontological} {Modal} {Collapse} as a {Collapse} of the {Square} of {Opposition}},
	url = {http://link.springer.com.libproxy1.nus.edu.sg/chapter/10.1007/978-3-319-45062-9_18},
	doi = {10.1007/978-3-319-45062-9_18},
	language = {en},
	urldate = {2017-03-24},
	author = {Benzmüller, Christoph and Paleo, Bruno Woltzenlogel},
	year = {2017},
	pages = {307--313},
	file = {Full Text PDF:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/4DURHPA6/Benzmüller and Paleo - 2017 - The Ontological Modal Collapse as a Collapse of th.pdf:application/pdf;Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/TI2BBBIB/978-3-319-45062-9_18.html:text/html}
}

@article{benzmuller_cut-elimination_2016,
	title = {Cut-{Elimination} for {Quantified} {Conditional} {Logic}},
	issn = {0022-3611, 1573-0433},
	url = {https://link-springer-com.libproxy1.nus.edu.sg/article/10.1007/s10992-016-9403-0},
	doi = {10.1007/s10992-016-9403-0},
	abstract = {A semantic embedding of quantified conditional logic in classical higher-order logic is utilized for reducing cut-elimination in the former logic to existing results for the latter logic. The presente},
	language = {en},
	urldate = {2017-03-24},
	journal = {Journal of Philosophical Logic},
	author = {Benzmüller, Christoph},
	month = jun,
	year = {2016},
	pages = {1--21},
	file = {Full Text PDF:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/T7EMRXS2/Benzmüller - 2016 - Cut-Elimination for Quantified Conditional Logic.pdf:application/pdf;Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/EUVMTTIH/10.html:text/html}
}

@inproceedings{benzmuller_invited_2015,
	title = {Invited {Talk}: {On} a ({Quite}) {Universal} {Theorem} {Proving} {Approach} and {Its} {Application} in {Metaphysics}},
	shorttitle = {Invited {Talk}},
	url = {https://link-springer-com.libproxy1.nus.edu.sg/chapter/10.1007/978-3-319-24312-2_15},
	doi = {10.1007/978-3-319-24312-2_15},
	abstract = {Classical higher-order logic is suited as a meta-logic in which a range of other logics can be elegantly embedded. Interactive and automated theorem provers for higher-order logic are therefore readil},
	language = {en},
	urldate = {2017-03-24},
	booktitle = {{SpringerLink}},
	publisher = {Springer, Cham},
	author = {Benzmüller, Christoph},
	month = sep,
	year = {2015},
	pages = {213--220},
	file = {Full Text PDF:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/N9CT4EEQ/Benzmüller - 2015 - Invited Talk On a (Quite) Universal Theorem Provi.pdf:application/pdf;Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/22MF3WKI/978-3-319-24312-2_15.html:text/html}
}

@inproceedings{benzmuller_hol_2013,
	title = {{HOL} {Based} {First}-{Order} {Modal} {Logic} {Provers}},
	url = {https://link-springer-com.libproxy1.nus.edu.sg/chapter/10.1007/978-3-642-45221-5_9},
	doi = {10.1007/978-3-642-45221-5_9},
	abstract = {First-order modal logics (FMLs) can be modeled as natural fragments of classical higher-order logic (HOL). The FMLtoHOL tool exploits this fact and it enables the application of off-the-shelf HOL prov},
	language = {en},
	urldate = {2017-03-24},
	booktitle = {{SpringerLink}},
	publisher = {Springer, Berlin, Heidelberg},
	author = {Benzmüller, Christoph and Raths, Thomas},
	month = dec,
	year = {2013},
	pages = {127--136},
	file = {Full Text PDF:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/D9PWVNAS/Benzmüller and Raths - 2013 - HOL Based First-Order Modal Logic Provers.pdf:application/pdf;Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/VU8AKJ3M/978-3-642-45221-5_9.html:text/html}
}

@article{benzmuller_quantified_2013,
	title = {Quantified {Multimodal} {Logics} in {Simple} {Type} {Theory}},
	volume = {7},
	issn = {1661-8297, 1661-8300},
	url = {https://link-springer-com.libproxy1.nus.edu.sg/article/10.1007/s11787-012-0052-y},
	doi = {10.1007/s11787-012-0052-y},
	abstract = {We present an embedding of quantified multimodal logics into simple type theory and prove its soundness and completeness. A correspondence between QKπ models for quantified multimodal logics and Henki},
	language = {en},
	number = {1},
	urldate = {2017-03-26},
	journal = {Logica Universalis},
	author = {Benzmüller, Christoph and Paulson, Lawrence C.},
	month = mar,
	year = {2013},
	pages = {7--20},
	file = {Full Text PDF:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/RG3KG2MZ/Benzmüller and Paulson - 2013 - Quantified Multimodal Logics in Simple Type Theory.pdf:application/pdf;Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/H8PQQURC/10.html:text/html}
}

@article{segerberg_two-dimensional_1973,
	title = {Two-dimensional modal logic},
	volume = {2},
	issn = {0022-3611, 1573-0433},
	url = {https://link-springer-com.libproxy1.nus.edu.sg/article/10.1007/BF02115610},
	doi = {10.1007/BF02115610},
	language = {en},
	number = {1},
	urldate = {2017-03-30},
	journal = {Journal of Philosophical Logic},
	author = {Segerberg, Krister},
	month = jan,
	year = {1973},
	pages = {77--96},
	file = {Full Text PDF:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/MQN6UFQT/Segerberg - 1973 - Two-dimensional modal logic.pdf:application/pdf;Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/GKW4N2QQ/10.html:text/html}
}

@article{restall_cut-free_2012,
	series = {Kurt {Goedel} {Research} {Prize} {Fellowships} 2010},
	title = {A cut-free sequent system for two-dimensional modal logic, and why it matters},
	volume = {163},
	issn = {0168-0072},
	url = {http://www.sciencedirect.com/science/article/pii/S0168007211001850},
	doi = {10.1016/j.apal.2011.12.012},
	abstract = {The two-dimensional modal logic of Davies and Humberstone (1980) [3] is an important aid to our understanding the relationship between actuality, necessity and a priori knowability. I show how a cut-free hypersequent calculus for 2D modal logic not only captures the logic precisely, but may be used to address issues in the epistemology and metaphysics of our modal concepts. I will explain how the use of our concepts motivates the inference rules of the sequent calculus, and then show that the completeness of the calculus for Davies--Humberstone models explains why those concepts have the structure described by those models. The result is yet another application of the completeness theorem.},
	number = {11},
	urldate = {2017-03-30},
	journal = {Annals of Pure and Applied Logic},
	author = {Restall, Greg},
	month = nov,
	year = {2012},
	keywords = {Completeness, Hypersequent, Modal logic, Semantics},
	pages = {1611--1623},
	file = {ScienceDirect Full Text PDF:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/J3QNNZP9/Restall - 2012 - A cut-free sequent system for two-dimensional moda.pdf:application/pdf;ScienceDirect Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/FPBUHXWB/S0168007211001850.html:text/html}
}

@article{fabio_actuality_nodate,
	title = {Actuality, {Tableaux}, and {Two}-{Dimensional} {Modal} {Logic}},
	journal = {Erkenntnis},
	author = {Fabio, Lampert},
	file = {PhilPapers - Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/FT34KVZM/undefined.html:text/html}
}

@article{davies_two_1980,
	title = {Two notions of necessity},
	volume = {38},
	issn = {0031-8116, 1573-0883},
	url = {https://link-springer-com.libproxy1.nus.edu.sg/article/10.1007/BF00354523},
	doi = {10.1007/BF00354523},
	language = {en},
	number = {1},
	urldate = {2017-03-30},
	journal = {Philosophical Studies},
	author = {Davies, Martin and Humberstone, Lloyd},
	month = jul,
	year = {1980},
	pages = {1--30},
	file = {Full Text PDF:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/2PQQ9VEV/Davies and Humberstone - 1980 - Two notions of necessity.pdf:application/pdf;Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/TQUCP32Q/10.html:text/html}
}

@article{leuenberger_total_2014,
	title = {Total {Logic}},
	volume = {7},
	url = {/core/journals/review-of-symbolic-logic/article/total-logic/934AB649A89A7B2D56579E5FCBCF28DF},
	number = {3},
	urldate = {2017-03-30},
	journal = {The Review of Symbolic Logic},
	author = {Leuenberger, Stephan},
	year = {2014},
	pages = {529--547},
	file = {Full Text PDF:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/R8SV2GN8/Leuenberger - 2014 - TOTAL LOGIC.pdf:application/pdf;Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/IEMHRDAE/934AB649A89A7B2D56579E5FCBCF28DF.html:text/html}
}

@article{fritz_logic_2013,
	title = {A logic for epistemic two-dimensional semantics},
	volume = {190},
	issn = {0039-7857, 1573-0964},
	url = {https://link-springer-com.libproxy1.nus.edu.sg/article/10.1007/s11229-013-0260-x},
	doi = {10.1007/s11229-013-0260-x},
	abstract = {Epistemic two-dimensional semantics is a theory in the philosophy of language that provides an account of meaning which is sensitive to the distinction between necessity and apriority. While this theo},
	language = {en},
	number = {10},
	urldate = {2017-04-06},
	journal = {Synthese},
	author = {Fritz, Peter},
	month = jul,
	year = {2013},
	pages = {1753--1770},
	file = {Full Text PDF:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/6TEJJD9S/Fritz - 2013 - A logic for epistemic two-dimensional semantics.pdf:application/pdf;Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/5IZHUV4C/10.html:text/html}
}

@article{chalmers_two-dimensional_2014,
	title = {Two-dimensional semantics and the nesting problem},
	volume = {74},
	issn = {0003-2638},
	url = {https://academic-oup-com.libproxy1.nus.edu.sg/analysis/article/74/2/210/208222/Two-dimensional-semantics-and-the-nesting-problem},
	doi = {10.1093/analys/anu032},
	number = {2},
	urldate = {2017-04-06},
	journal = {Analysis},
	author = {Chalmers, David and Rabern, Brian},
	month = apr,
	year = {2014},
	pages = {210--224},
	file = {Full Text PDF:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/DR857V4B/Chalmers and Rabern - 2014 - Two-dimensional semantics and the nesting problem.pdf:application/pdf;Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/UEQIP9VX/anu032.html:text/html}
}

@misc{fritz_what_2014,
	title = {{WHAT} {IS} {THE} {CORRECT} {LOGIC} {OF} {NECESSITY}, {ACTUALITY} {AND} {APRIORITY}?},
	url = {/core/journals/review-of-symbolic-logic/article/what-is-the-correct-logic-of-necessity-actuality-and-apriority/F3A98ED96296D123AC95D1B596BC7463},
	abstract = {{\textless}div class="title"{\textgreater}WHAT IS THE CORRECT LOGIC OF NECESSITY, ACTUALITY AND APRIORITY?{\textless}/div{\textgreater} - Volume 7 Issue 3 - PETER FRITZ},
	urldate = {2017-04-06},
	journal = {The Review of Symbolic Logic},
	author = {Fritz, Peter},
	month = sep,
	year = {2014},
	file = {Full Text PDF:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/3WSV94QP/Fritz - 2014 - WHAT IS THE CORRECT LOGIC OF NECESSITY, ACTUALITY .pdf:application/pdf;Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/644NUNXC/F3A98ED96296D123AC95D1B596BC7463.html:text/html}
}

@article{tymoczko_geometry_2006,
	title = {The {Geometry} of {Musical} {Chords}},
	volume = {313},
	copyright = {American Association for the Advancement of Science},
	issn = {0036-8075, 1095-9203},
	url = {http://science.sciencemag.org.libproxy1.nus.edu.sg/content/313/5783/72},
	doi = {10.1126/science.1126287},
	abstract = {A musical chord can be represented as a point in a geometrical space called an orbifold. Line segments represent mappings from the notes of one chord to those of another. Composers in a wide range of styles have exploited the non-Euclidean geometry of these spaces, typically by using short line segments between structurally similar chords. Such line segments exist only when chords are nearly symmetrical under translation, reflection, or permutation. Paradigmatically consonant and dissonant chords possess different near-symmetries and suggest different musical uses.
Chords can be mapped as points onto a many-fold surface, on which consonant chords cluster together, connected by melodic lines that reveal western harmony and counterpoint.
Chords can be mapped as points onto a many-fold surface, on which consonant chords cluster together, connected by melodic lines that reveal western harmony and counterpoint.},
	language = {en},
	number = {5783},
	urldate = {2017-04-10},
	journal = {Science},
	author = {Tymoczko, Dmitri},
	month = jul,
	year = {2006},
	pmid = {16825563},
	pages = {72--74},
	file = {science.pdf:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/5SVZJCJ2/science.pdf:application/pdf;Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/5SUWWTE6/72.html:text/html;supplement.pdf:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/FZSTJJ8Z/supplement.pdf:application/pdf}
}

@article{bourget_what_2014,
	title = {What do philosophers believe?},
	volume = {170},
	issn = {0031-8116, 1573-0883},
	url = {https://link-springer-com.libproxy1.nus.edu.sg/article/10.1007/s11098-013-0259-7},
	doi = {10.1007/s11098-013-0259-7},
	abstract = {What are the philosophical views of contemporary professional philosophers? We surveyed many professional philosophers in order to help determine their views on 30 central philosophical issues. This a},
	language = {en},
	number = {3},
	urldate = {2017-04-14},
	journal = {Philosophical Studies},
	author = {Bourget, David and Chalmers, David J.},
	month = sep,
	year = {2014},
	pages = {465--500},
	file = {Full Text PDF:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/3W6QKGSU/Bourget and Chalmers - 2014 - What do philosophers believe.pdf:application/pdf;Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/BPJC5PA6/10.html:text/html}
}

@book{nipkow_isabelle/hol_2002,
	address = {Berlin},
	title = {Isabelle/{HOL}},
	isbn = {978-3-540-43376-7 978-3-540-45949-1},
	url = {http://link.springer.com/10.1007/3-540-45949-9},
	urldate = {2017-04-16},
	publisher = {Springer},
	author = {Nipkow, Tobias and Wenzel, Markus and Paulson, Lawrence},
	year = {2002},
	file = {bok%3A978-3-540-45949-1.pdf:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/MHS48R93/bok%3A978-3-540-45949-1.pdf:application/pdf}
}

@book{chalmers_conscious_1996,
	address = {Oxford},
	title = {The {Conscious} {Mind}},
	shorttitle = {The {Conscious} {Mind}},
	publisher = {Oxford University Press},
	author = {Chalmers, David},
	year = {1996},
	file = {PhilPapers - Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/Q3ECCQP2/undefined.html:text/html}
}

@book{chalmers_constructing_2012,
	address = {Oxford},
	title = {Constructing the {World}},
	publisher = {Oxford University Press},
	author = {Chalmers, David},
	year = {2012},
	file = {PhilPapers - Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/VDG8M8DH/undefined.html:text/html}
}

@incollection{lepore_two-dimensional_2006,
	title = {Two-{Dimensional} {Semantics}},
	booktitle = {Oxford {Handbook} of the {Philosophy} of {Language}},
	publisher = {Oxford University Press},
	author = {Chalmers, David J.},
	editor = {Lepore, E. and Smith, B.},
	year = {2006},
	file = {PhilPapers - Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/I2TNUS2S/undefined.html:text/html}
}

@article{chalmers_conceptual_2001,
	title = {Conceptual {Analysis} and {Reductive} {Explanation}},
	volume = {110},
	number = {3},
	journal = {Philosophical Review},
	author = {Chalmers, David J. and Jackson, Frank},
	year = {2001},
	pages = {315--61},
	file = {PhilPapers - Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/NEEIVSI6/undefined.html:text/html}
}

@incollection{chalmers_does_2002,
	title = {Does {Conceivability} {Entail} {Possibility}?},
	booktitle = {Conceivability and {Possibility}},
	publisher = {Oxford University Press},
	author = {Chalmers, David J.},
	editor = {Gendler, Tamar S. and Hawthorne, John},
	year = {2002},
	pages = {145--200},
	file = {PhilPapers - Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/HDPTPKN5/undefined.html:text/html}
}

@incollection{garcia-carpintero_foundations_2006,
	title = {The {Foundations} of {Two}-{Dimensional} {Semantics}},
	booktitle = {Two-{Dimensional} {Semantics}: {Foundations} and {Applications}},
	publisher = {Oxford University Press},
	author = {Chalmers, David J.},
	editor = {Garcia-Carpintero, Manuel and Macia, Josep},
	year = {2006},
	pages = {55--140},
	file = {PhilPapers - Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/S2XEIVW4/undefined.html:text/html}
}

@article{chalmers_why_2015,
	title = {Why {Isn}'t {There} {More} {Progress} in {Philosophy}?},
	volume = {90},
	number = {1},
	journal = {Philosophy},
	author = {Chalmers, David J.},
	year = {2015},
	pages = {3--31},
	file = {PhilPapers - Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/NASZRV5M/undefined.html:text/html}
}

@article{chalmers_actuality_2011,
	title = {Actuality and {Knowability}},
	volume = {71},
	number = {3},
	journal = {Analysis},
	author = {Chalmers, David J.},
	year = {2011},
	pages = {411--419},
	file = {PhilPapers - Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/F97AN9PU/undefined.html:text/html}
}

@incollection{chalmers_nature_2011,
	title = {The {Nature} of {Epistemic} {Space}},
	booktitle = {Epistemic {Modality}},
	publisher = {Oxford University Press},
	author = {Chalmers, David J.},
	editor = {Egan, Andy and Weatherson, Brian},
	year = {2011},
	file = {PhilPapers - Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/2W8NJJ8G/undefined.html:text/html}
}

@article{chalmers_sense_2002,
	title = {On {Sense} and {Intension}},
	volume = {16},
	number = {s16},
	journal = {Philosophical Perspectives},
	author = {Chalmers, David J.},
	year = {2002},
	pages = {135--82},
	file = {PhilPapers - Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/5JQRKQ5T/undefined.html:text/html}
}

@incollection{chalmers_two-dimensional_2010,
	address = {Oxford},
	title = {The {Two}-{Dimensional} {Argument} {Against} {Materialism}},
	booktitle = {The {Character} of {Consciousness}},
	publisher = {Oxford University Press},
	author = {Chalmers, David},
	year = {2010},
	pages = {141--205},
	file = {PhilPapers - Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/HA3ICBUP/undefined.html:text/html}
}

@article{chalmers_epistemic_2004,
	title = {Epistemic {Two}-{Dimensional} {Semantics}},
	volume = {118},
	issn = {0031-8116, 1573-0883},
	url = {https://link-springer-com.libproxy1.nus.edu.sg/article/10.1023/B:PHIL.0000019546.17135.e0},
	doi = {10.1023/B:PHIL.0000019546.17135.e0},
	language = {en},
	number = {1-2},
	urldate = {2017-04-17},
	journal = {Philosophical Studies},
	author = {Chalmers, David},
	year = {2004},
	pages = {153--226},
	file = {Full Text PDF:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/N2NDS2A6/Chalmers - 2004 - Epistemic Two-Dimensional Semantics.pdf:application/pdf;Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/N7GSB7DD/10.1023BPHIL.0000019546.17135.html:text/html}
}

@incollection{stalnaker_assertion_1999,
	address = {Oxford},
	title = {Assertion},
	booktitle = {Context and {Content}},
	publisher = {Oxford University Press},
	author = {Stalnaker, Robert},
	year = {1999},
	pages = {78--95},
	file = {PhilPapers - Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/TRRXFTCA/undefined.html:text/html}
}

@incollection{kaplan_demonstratives_1989,
	title = {Demonstratives},
	booktitle = {Themes {From} {Kaplan}},
	publisher = {Oxford University Press},
	author = {Kaplan, David},
	editor = {Almog, Joseph and Perry, John and Wettstein, Howard},
	year = {1989},
	pages = {481--563},
	file = {PhilPapers - Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/SPR66QIR/undefined.html:text/html}
}

@book{loveland_automated_1978,
	address = {Amsterdam},
	title = {Automated {Theorem} {Proving}},
	isbn = {978-0-7204-0499-9},
	shorttitle = {Automated {Theorem} {Proving}},
	language = {en},
	publisher = {North-Holland Publishing Company},
	author = {Loveland, Donald},
	year = {1978}
}

@incollection{lewis_index_1980,
	title = {Index, {Context}, and {Content}},
	copyright = {©1981 D. Reidel Publishing Company},
	isbn = {978-94-009-9014-2 978-94-009-9012-8},
	url = {http://link.springer.com/chapter/10.1007/978-94-009-9012-8_6},
	abstract = {If a grammar is to do its jobs as part of a systematic restatement of our common knowledge about our practices of linguistic communication, it must assign semantic values that determine which sentences are true in which contexts. If the semantic values of sentences also serve to help determine the semantic values of larger sentences having the given sentence as a constituent, then also the semantic values must determine how the truth of a sentence varies when certain features of context are shifted, one feature at a time.},
	language = {en},
	urldate = {2017-04-17},
	booktitle = {Philosophy and {Grammar}},
	publisher = {Springer},
	author = {Lewis, Davis},
	editor = {Kanger, Stig and Ohman, Sven},
	year = {1980},
	note = {DOI: 10.1007/978-94-009-9012-8\_6},
	keywords = {Philosophy of Language},
	pages = {79--100},
	file = {Full Text PDF:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/X9Q68U9B/Lewis - 1980 - Index, Context, and Content.pdf:application/pdf;Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/A27HH6FG/10.html:text/html}
}

@inproceedings{haftmann_local_2008,
	title = {Local {Theory} {Specifications} in {Isabelle}/{Isar}},
	url = {https://link-springer-com.libproxy1.nus.edu.sg/chapter/10.1007/978-3-642-02444-3_10},
	doi = {10.1007/978-3-642-02444-3_10},
	abstract = {The proof assistant Isabelle has recently acquired a “local theory” concept that integrates a variety of mechanisms for structured specifications into a common framework. We explicitly separate a loca},
	language = {en},
	urldate = {2017-05-02},
	booktitle = {{SpringerLink}},
	publisher = {Springer, Berlin, Heidelberg},
	author = {Haftmann, Florian and Wenzel, Makarius},
	month = mar,
	year = {2008},
	pages = {153--168},
	file = {Full Text PDF:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/BM9HE3V8/Haftmann and Wenzel - 2008 - Local Theory Specifications in IsabelleIsar.pdf:application/pdf;Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/C77HNI3R/978-3-642-02444-3_10.html:text/html}
}

@article{church_formulation_1940,
	title = {A {Formulation} of the {Simple} {Theory} of {Types}},
	volume = {5},
	issn = {0022-4812},
	url = {http://www.jstor.org.libproxy1.nus.edu.sg/stable/2266170},
	doi = {10.2307/2266170},
	number = {2},
	urldate = {2017-05-15},
	journal = {The Journal of Symbolic Logic},
	author = {Church, Alonzo},
	year = {1940},
	pages = {56--68},
	file = {JSTOR Full Text PDF:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/FUPQ3RVJ/Church - 1940 - A Formulation of the Simple Theory of Types.pdf:application/pdf}
}

@article{eder_formal_2015,
	title = {Formal reconstructions of {St}. {Anselm}’s ontological argument},
	volume = {192},
	issn = {0039-7857, 1573-0964},
	url = {https://link-springer-com.libproxy1.nus.edu.sg/article/10.1007/s11229-015-0682-8},
	doi = {10.1007/s11229-015-0682-8},
	abstract = {In this paper, we discuss formal reconstructions of Anselm’s ontological argument. We first present a number of requirements that any successful reconstruction should meet. We then offer a detailed preparatory study of the basic concepts involved in Anselm’s argument. Next, we present our own reconstructions---one in modal logic and one in classical logic---and compare them with each other and with existing reconstructions from the reviewed literature. Finally, we try to show why and how one can gain a better understanding of Anselm’s argument by using modern formal logic. In particular, we try to explain why formal reconstructions of the argument, despite its apparent simplicity, tend to become quite involved.},
	language = {en},
	number = {9},
	urldate = {2017-09-04},
	journal = {Synthese},
	author = {Eder, Günther and Ramharter, Esther},
	month = oct,
	year = {2015},
	pages = {2795--2825},
	file = {Full Text PDF:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/HQUFC7QC/Eder and Ramharter - 2015 - Formal reconstructions of St. Anselm’s ontological.pdf:application/pdf;Snapshot:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/S2IMR2F2/10.html:text/html}
}

@article{rushby_mechanized_2016,
	title = {Mechanized {Analysis} {Of} a {Formalization} of {Anselm}’s {Ontological} {Argument} by {Eder} and {Ramharter}},
	url = {http://www.csl.sri.com/~rushby/papers/er-ontarg.pdf},
	journal = {CSL technical note, SRI International, Menlo Park, CA},
	author = {Rushby, John},
	year = {2016}
}

@article{gratz_computerized_nodate,
	title = {Computerized {Verification} of {Formal} {Reconstructions} of {Anselm}’s {Argument} by {Eder} and {Ramharter}},
	url = {http://page.mi.fu-berlin.de/cbenzmueller/compmeta/htdocs/poster4.pdf},
	author = {Grätz, Lukas and Schütz, Fabian and Benzmüller, C. and Steen, A. and Wisniewski, M.},
	file = {[PDF] fu-berlin.de:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/BS9BHCIN/Grätz et al. - Computerized Verification of Formal Reconstruction.pdf:application/pdf}
}

@article{rushby_proofs_nodate,
	title = {Proofs and {Assurance} {The} {Case} of {The} {Ontological} {Argument}},
	url = {http://www.csl.sri.com/~rushby/slides/marktoberdorf16-3.pdf},
	author = {Rushby, John}
}

@article{fuenmayor_types_2017,
	title = {Types, {Tableaus} and {Godel}'s {God} in {Isabelle}/{HOL}},
	issn = {2150-914x},
	url = {http://isa-afp.org/entries/Types_Tableaus_and_Goedels_God.html},
	journal = {Archive of Formal Proofs},
	author = {Fuenmayor, David and Benzmuller, Christoph},
	year = {2017},
	file = {document.pdf:/Users/nus/Library/Application Support/Zotero/Profiles/zo5xklzu.default/zotero/storage/RJ4AAEFZ/document.pdf:application/pdf}
}