{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T23:28:41Z","timestamp":1743118121435,"version":"3.40.3"},"publisher-location":"Dordrecht","reference-count":28,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9789400719224"},{"type":"electronic","value":"9789400719231"}],"license":[{"start":{"date-parts":[[2011,9,8]],"date-time":"2011-09-08T00:00:00Z","timestamp":1315440000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2011,9,8]],"date-time":"2011-09-08T00:00:00Z","timestamp":1315440000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-94-007-1923-1_6","type":"book-chapter","created":{"date-parts":[[2011,9,21]],"date-time":"2011-09-21T07:52:52Z","timestamp":1316591572000},"page":"101-118","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Modalities Without Worlds"],"prefix":"10.1007","author":[{"given":"Reinhard","family":"Kahle","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,9,8]]},"reference":[{"issue":"2","key":"6_CR1","doi-asserted-by":"publisher","first-page":"439","DOI":"10.2178\/jsl\/1185803617","volume":"72","author":"S. Artemov","year":"2007","unstructured":"Artemov, S., and R. Iemhoff. 2007. \u201cThe Basic Intuitionistic Logic of Proofs.\u201d Journal of Symbolic Logic 72(2):439\u201351.","journal-title":"Journal of Symbolic Logic"},{"issue":"6","key":"6_CR2","doi-asserted-by":"publisher","first-page":"1059","DOI":"10.1093\/logcom\/exi053","volume":"15","author":"S. Artemov","year":"2005","unstructured":"Artemov, S., and E. Nogina. 2005. \u201cIntroducing Justification to Epistemic Logic.\u201d Journal of Logic and Computation 15(6):1059\u201373.","journal-title":"Journal of Logic and Computation"},{"key":"6_CR3","first-page":"1","volume-title":"Handbook of Philosophical Logic","author":"R. Bull","year":"1984","unstructured":"Bull, R., and K. Segerberg. 1984. \u201cBasic Modal Logic.\u201d In Handbook of Philosophical Logic, edited by D. Gabbay and F. Guenthner, vol. II, 1\u201388. Dordrecht: Kluwer."},{"key":"6_CR4","volume-title":"Meaning and Necessity: A Study in Semantics and Modal Logic","author":"R. Carnap","year":"1947","unstructured":"Carnap, R. 1947. Meaning and Necessity: A Study in Semantics and Modal Logic. Chicago, IL: University of Chicago Press."},{"key":"6_CR5","volume-title":"The Worlds of Possibility","author":"C. S. Chihara","year":"1998","unstructured":"Chihara, C. S. 1998. The Worlds of Possibility. Oxford: Oxford Unviersity Press."},{"issue":"2","key":"6_CR6","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1023\/A:1015273407895","volume":"31","author":"B. J. Copeland","year":"2002","unstructured":"Copeland, B. J. 2002. \u201cThe Genesis of Possible Worlds Semantics.\u201d Journal of Philosophical Logic 31(2):99\u2013137.","journal-title":"Journal of Philosophical Logic"},{"key":"6_CR7","volume-title":"Possible Worlds","author":"J. Divers","year":"2002","unstructured":"Divers, J. 2002. Possible Worlds. London: Routledge."},{"key":"6_CR8","first-page":"568","volume-title":"Handbuch wissenschaftstheoretischer Begriffe","author":"D. F\u00f8llesdal","year":"1980","unstructured":"F\u00f8llesdal, D. 1980. \u201cEintrag Semantik.\u201d In Handbuch wissenschaftstheoretischer Begriffe, edited by J. Speck, vol. 3 (R\u2013Z), 568\u201379. G\u00f6ttingen: Vandenhoek and Ruprecht."},{"key":"6_CR9","first-page":"1","volume-title":"Intensionality","author":"T. Forster","year":"2005","unstructured":"Forster, T. 2005. \u201cThe Modal Aether.\u201d In Intensionality, vol. 22 of Lecture Notes in Logic, edited by R. Kahle, 1\u201319. Wellesley, MA: ASL and AK Peters."},{"key":"6_CR10","volume-title":"Begriffsschrift. Eine der arithmetischen nachgebildete Formelsprache des reinen Denkens","author":"G. Frege","year":"1879","unstructured":"Frege, G. 1879. Begriffsschrift. Eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Halle: Louis Nebert."},{"key":"6_CR11","unstructured":"Frege, G. 1879. Begriffsschrift, a Formula Language, Modeled Upon That of Arithmetic, for Pure Thought, 1\u201382. English translation of Begriffsschrift. Eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Halle: Louis Nebert; reprinted in From Frege to G\u00f6del a Source Book in Mathematical Logic, 1879\u20131931, edited by Jean van Heijenoort. Cambridge, MA: Harvard University Press."},{"key":"6_CR12","first-page":"64","volume-title":"The Logic of Grammar","author":"P. Grice","year":"1975","unstructured":"Grice, P. 1975. \u201cLogic and Conversation.\u201d In The Logic of Grammar, edited by D. Davidson and G. Harman, 64\u201375. Encino, CA: Dickenson."},{"key":"6_CR13","first-page":"49","volume":"10","author":"R. Kahle","year":"2002","unstructured":"Kahle, R. 2002. \u201cStructured Belief Bases.\u201d Logic and Logical Philosophy 10:49\u201362.","journal-title":"Logic and Logical Philosophy"},{"issue":"3","key":"6_CR14","doi-asserted-by":"publisher","first-page":"659","DOI":"10.1007\/s11229-004-6293-4","volume":"148","author":"R. Kahle","year":"2006","unstructured":"Kahle, R. 2006. \u201cA Proof-Theoretic View of Necessity.\u201d Synthese 148(3):659\u201373.","journal-title":"Synthese"},{"key":"6_CR15","first-page":"235","volume-title":"Dialogues, Logics and Other Strange Things. Essays in Honour of Shahid Rahman","author":"R. Kahle","year":"2008","unstructured":"Kahle, R. 2008. \u201cAgainst Possible Worlds.\u201d In Dialogues, Logics and Other Strange Things. Essays in Honour of Shahid Rahman, vol. 7 of Tributes, edited by C. Degremont, L. Keiff, and H. R\u00fcckert, 235\u201353. London: College Publications."},{"key":"6_CR16","volume-title":"Naming and Necessity","author":"S. Kripke","year":"1980","unstructured":"Kripke, S. 1980. Naming and Necessity. Cambridge, MA: Harvard University Press."},{"key":"6_CR17","volume-title":"On the Plurality of Worlds","author":"D. Lewis","year":"1986","unstructured":"Lewis, D. 1986. On the Plurality of Worlds. Oxford: Blackwell."},{"key":"6_CR18","volume-title":"Aristotle\u2019s Syllogistic. From the Standpoint of Modern Formal Logic","author":"J. \u0141ukasiewicz","year":"1957","unstructured":"\u0141ukasiewicz, J. 1957. Aristotle\u2019s Syllogistic. From the Standpoint of Modern Formal Logic, 2nd Edition. Oxford: Clarendon Press. (1st Edition, 1951).","edition":"2"},{"key":"6_CR19","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511520006","volume-title":"Relevant Logic","author":"E. D. Mares","year":"2004","unstructured":"Mares, E. D. 2004. Relevant Logic. Cambridge, MA: Cambridge University Press."},{"issue":"3","key":"6_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1352582.1352591","volume":"9","author":"A. Nanevski","year":"2008","unstructured":"Nanevski, A., F. Pfenning, and B. Pientka. 2008. \u201cContextual Modal Type Theory.\u201d ACM Transactions on Computational Logic 9(3):1\u201349.","journal-title":"ACM Transactions on Computational Logic"},{"key":"6_CR21","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1017\/S0960129501003322","volume":"11","author":"F. Pfenning","year":"2001","unstructured":"Pfenning F., and R. Davies. 2001. \u201cA Judgmental Reconstruction of Modal Logic.\u201d Mathematical Structures in Computer Science 11:511\u201340.","journal-title":"Mathematical Structures in Computer Science"},{"key":"6_CR22","first-page":"207","volume-title":"Acts of Knowledge\u2014History, Philosophy and Logic","author":"G. Primiero","year":"2009","unstructured":"Primiero, G. 2009. \u201cEpistemic Modalities.\u201d In Acts of Knowledge\u2014History, Philosophy and Logic, edited by G. Primiero and S. Rahman, 207\u201332. London: College Publications."},{"key":"6_CR23","unstructured":"Primiero, G. 2010. \u201cConstructive Contextual Modal Judgments for Reasoning from Open Assumptions.\u201d In Programs, Proofs, Processes, edited by F. Ferreira, H. Guerra, E. Mayordomo, and J. Rasga. Proceedings of the Sixth Conference on Computability in Europe, CiE 2010, 336\u201345. University of Azores, Centre for Applied Mathematics and Information Technology."},{"key":"6_CR24","unstructured":"Smith, R. 2009. \u201cAristotle\u2019s Logic.\u201d In The Stanford Encyclopedia of Philosophy (Summer 2011 Edition), edited by Edward N. Zalta. http:\/\/plato.stanford.edu\/archives\/sum2011\/entries\/aristotle-logic\/"},{"key":"6_CR25","first-page":"333","volume-title":"A Companion to Metaphysics","author":"R. Stalnaker","year":"1995","unstructured":"Stalnaker, R. 1995. \u201cModalities and Possible Worlds.\u201d In A Companion to Metaphysics, edited by J. Kim and E. Sosa, 333\u201337. Oxford: Blackwell."},{"key":"6_CR26","doi-asserted-by":"publisher","first-page":"607","DOI":"10.1023\/B:LOGI.0000046193.69391.18","volume":"33","author":"K. Wehmeier","year":"2004","unstructured":"Wehmeier, K. 2004. \u201cIn the Mood.\u201d Journal of Philosophical Logic 33:607\u201330.","journal-title":"Journal of Philosophical Logic"},{"key":"6_CR27","first-page":"187","volume-title":"Intensionality, vol. 22 of Lecture Notes in Logic","author":"K. Wehmeier","year":"2005","unstructured":"Wehmeier, K. 2005. \u201cModality, Mood, and Descriptions.\u201d In Intensionality, vol. 22 of Lecture Notes in Logic, edited by R. Kahle, 187\u2013216. Wellesley, MA: ASL and AK Peters."},{"key":"6_CR28","unstructured":"Woods, J. (preprint). \u201cMaking Too Much of Possible Worlds.\u201d 201x. Available at the author\u2019s home page: http:\/\/www.johnwoods.ca\/"}],"container-title":["The Realism-Antirealism Debate in the Age of Alternative Logics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-94-007-1923-1_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,19]],"date-time":"2023-01-19T00:21:06Z","timestamp":1674087666000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-94-007-1923-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9,8]]},"ISBN":["9789400719224","9789400719231"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-94-007-1923-1_6","relation":{},"subject":[],"published":{"date-parts":[[2011,9,8]]},"assertion":[{"value":"8 September 2011","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}