{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,30]],"date-time":"2026-09-30T05:12:42Z","timestamp":1790745162590,"version":"4.1.0"},"publisher-location":"Cham","reference-count":67,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319060248","type":"print"},{"value":"9783319060255","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-06025-5_22","type":"book-chapter","created":{"date-parts":[[2014,8,26]],"date-time":"2014-08-26T12:47:27Z","timestamp":1409057247000},"page":"591-629","source":"Crossref","is-referenced-by-count":15,"title":["Roles, Rigidity, and Quantification in Epistemic Logic"],"prefix":"10.1007","author":[{"given":"Wesley H.","family":"Holliday","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"John","family":"Perry","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2014,8,27]]},"reference":[{"issue":"1","key":"22_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10992-004-4065-8","volume":"34","author":"M Aloni","year":"2005","unstructured":"Aloni M (2005) Individual concepts in modal predicate logic. J Philos Log 34(1):1\u201364","journal-title":"J Philos Log"},{"key":"22_CR2","first-page":"821","volume-title":"Handbook of modal logic","author":"C Areces","year":"2006","unstructured":"Areces C, ten Cate B (2006) Hybrid logic. In: van Benthem J, Wolter F, Blackburn P (eds) Handbook of modal logic. Elsevier, Amsterdam, pp 821\u2013868"},{"key":"22_CR3","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/s11225-006-9010-0","volume":"84","author":"H Arl\u00f3-Costa","year":"2006","unstructured":"Arl\u00f3-Costa H, Pacuit E (2006) First-order classical modal logic. Studia Logica 84:171\u2013210","journal-title":"Studia Logica"},{"issue":"1","key":"22_CR4","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/BF02383252","volume":"6","author":"KT Barnes","year":"1976","unstructured":"Barnes KT (1976) Proper names, possible worlds, and propositional attitudes. Philosophia 6(1):29\u201338","journal-title":"Philosophia"},{"key":"22_CR5","unstructured":"Barwise J, Perry J (1983) Situations and attitudes. MIT Press, Cambridge"},{"key":"22_CR6","doi-asserted-by":"publisher","first-page":"982","DOI":"10.1016\/j.artint.2009.02.003","volume":"173","author":"F Belardinelli","year":"2009","unstructured":"Belardinelli F, Lomuscio A (2009) Quantified epistemic logics for reasoning about knowledge in multi-agent systems. Artif Intell 173:982\u20131013","journal-title":"Artif Intell"},{"key":"22_CR7","volume-title":"Modal logic and classical logic","author":"J Benthem van","year":"1985","unstructured":"van Benthem J (1985) Modal logic and classical logic. Bibliopolis, Napoli"},{"key":"22_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-94-015-8242-1_1","volume-title":"Diamonds and defaults","author":"J Benthem van","year":"1993","unstructured":"van Benthem J (1993) Beyond accessibility: functional models for modal logic. In: de Rijke M (ed) Diamonds and defaults. Kluwer Academic, Dordrecht, pp 1\u201318"},{"key":"22_CR9","volume-title":"Proofs, categories and computations: essays in honor of Grigori Mints","author":"J Benthem van","year":"2010","unstructured":"van Benthem J (2010a) Frame correspondences in modal predicate logic. In: Feferman S, Sieg W (eds) Proofs, categories and computations: essays in honor of Grigori Mints. College Publications, London"},{"key":"22_CR10","volume-title":"Modal logic for open minds","author":"J Benthem van","year":"2010","unstructured":"van Benthem J (2010b) Modal logic for open minds. CSLI Publications, Stanford"},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"van Benthem J (2011) Logical dynamics of information and interaction. Cambridge University Press, Cambridge","DOI":"10.1017\/CBO9780511974533"},{"key":"22_CR12","unstructured":"Bra\u00fcner T, Ghilardi S (2006) First-order modal logic. In: van Benthem J, Wolter F, Blackburn P (eds) Handbook of modal logic. Elsevier, Amsterdam, pp 549\u2013620"},{"issue":"14","key":"22_CR13","doi-asserted-by":"publisher","first-page":"425","DOI":"10.2307\/2025107","volume":"70","author":"T Burge","year":"1973","unstructured":"Burge T (1973) Reference and proper names. J Philos 70(14):425\u2013439","journal-title":"J Philos"},{"issue":"2","key":"22_CR14","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/BF00869554","volume":"74","author":"L Carlson","year":"1988","unstructured":"Carlson L (1988) Quantified Hintikka-style epistemic logic. Synthese 74(2):223\u2013262","journal-title":"Synthese"},{"key":"22_CR15","unstructured":"Carnap R (1947) Meaning and necessity. University of Chicago Press, Chicago"},{"key":"22_CR16","first-page":"130","volume":"7","author":"HN Casta\u00f1eda","year":"1966","unstructured":"Casta\u00f1eda HN (1966) \u2018He\u2019: a study in the logic of self-consciousness. Ratio 7:130\u2013157","journal-title":"Ratio"},{"key":"22_CR17","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1007\/BF00355585","volume":"5","author":"MJ Cresswell","year":"1982","unstructured":"Cresswell MJ, von Stechow A (1982) De Re belief generalized. Linguist Philos 5:503\u2013535","journal-title":"Linguist Philos"},{"key":"22_CR18","unstructured":"Crimmins M (1992) Talk about belief. MIT Press, Cambridge"},{"issue":"12","key":"22_CR19","doi-asserted-by":"publisher","first-page":"685","DOI":"10.2307\/2027014","volume":"86","author":"M Crimmins","year":"1989","unstructured":"Crimmins M, Perry J (1989) The prince and the phone booth: reporting puzzling beliefs. J Philos 86(12):685\u2013711","journal-title":"J Philos"},{"issue":"4","key":"22_CR20","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1215\/00318108-2008-015","volume":"117","author":"S Cumming","year":"2008","unstructured":"Cumming S (2008) Variabilism. Philos Rev 117(4):525\u2013554","journal-title":"Philos Rev"},{"key":"22_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF00354523","volume":"38","author":"M Davies","year":"1980","unstructured":"Davies M, Humberstone L (1980) Two notions of necessity. Philos Stud 38:1\u201330","journal-title":"Philos Stud"},{"key":"22_CR22","volume-title":"The concept of logical consequence","author":"J Etchemendy","year":"1999","unstructured":"Etchemendy J (1999) The concept of logical consequence. CSLI Publications, Stanford"},{"issue":"1","key":"22_CR23","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1023\/A:1013842612702","volume":"69","author":"Melvin Fitting","year":"2001","unstructured":"Fitting M, Thalmann L, Voronkov A(2001) Term-modal logics. Studia Logica 69(1): 133\u2013169","journal-title":"Studia Logica"},{"issue":"1\u20133","key":"22_CR24","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/j.apal.2003.11.014","volume":"127","author":"M Fitting","year":"2004","unstructured":"Fitting M (2004) First-order intensional logic. Ann Pure Appl Log 127(1\u20133):171\u2013193","journal-title":"Ann Pure Appl Log"},{"issue":"1","key":"22_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s11225-006-9000-2","volume":"84","author":"M Fitting","year":"2006","unstructured":"Fitting M (2006) FOIL axiomatized. Studia Logica 84(1):1\u201322","journal-title":"Studia Logica"},{"key":"22_CR26","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-5292-1","volume-title":"First-order modal logic","author":"M Fitting","year":"1998","unstructured":"Fitting M, Mendelsohn RL (1998) First-order modal logic. Kluwer, Dordrecht"},{"key":"22_CR27","unstructured":"F\u00f8llesdal D (1961) Referential opacity and modal logic. Routledge, London (published 2004)"},{"key":"22_CR28","first-page":"25","volume":"100","author":"G Frege","year":"1892","unstructured":"Frege G (1892) \u00dcber Sinn und Bedeutung. Zeitschrift f\u00fcr Philosophie und philosophische Kritik 100:25\u201350","journal-title":"Zeitschrift f\u00fcr Philosophie und philosophische Kritik"},{"key":"22_CR29","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1007\/978-94-017-0454-0_3","volume-title":"Handbook of Philosophical Logic","author":"James W. Garson","year":"2001","unstructured":"Garson JW (2001) Quantification in modal logic. In: Gabbay D, Guenthner E (eds) Handbook of philosophical logic, 2nd edn, vol 3. Kluwer, Dordrecht, pp 267\u2013323"},{"key":"22_CR30","doi-asserted-by":"crossref","unstructured":"Garson JW (2006) Modal logic for philosophers. Cambridge Universtiy Press, Cambridge","DOI":"10.1017\/CBO9780511617737"},{"key":"22_CR31","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/0004-3702(95)98593-D","volume":"74","author":"AJ Grove","year":"1995","unstructured":"Grove AJ (1995) Naming and identity in epistemic logic part II: a first-order logic for naming. Artif Intell 74:311\u2013350","journal-title":"Artif Intell"},{"key":"22_CR32","unstructured":"Hintikka J (1962) Knowledge and belief: an introduction to the logic of the two notions. College Publications, London (Republished 2005)"},{"key":"22_CR33","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/978-94-010-1711-4_8","volume-title":"Models for Modalities","author":"Jaakko Hintikka","year":"1969","unstructured":"Hintikka J (1969) On the logic of perception. Models for modalities. Reidel, Dordrecht, pp 151\u2013183"},{"key":"22_CR34","doi-asserted-by":"publisher","first-page":"869","DOI":"10.2307\/2024039","volume":"67","author":"J Hintikka","year":"1970","unstructured":"Hintikka J (1970) Objects of knowledge and belief: acquaintances and public figures. J Philos 67:869\u2013883","journal-title":"J Philos"},{"issue":"1","key":"22_CR35","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10992-013-9306-2","volume":"44","author":"Wesley H. Holliday","year":"2014","unstructured":"Holliday WH (2014) Epistemic closure and epistemic logic I: relevant alternatives and subjunctivism. J Philos Log (forthcoming). doi: 10.1007\/s10992-013-9306-2","journal-title":"Journal of Philosophical Logic"},{"key":"22_CR36","unstructured":"Holliday WH (2014) Epistemic logic and epistemology. In: Hansson SO, Hendricks VF (eds) Handbook of formal philosophy. Springer (forthcoming)"},{"key":"22_CR37","doi-asserted-by":"crossref","unstructured":"Hughes GE, Cresswell MJ (1996) A new introduction to modal logic. Routledge, London","DOI":"10.4324\/9780203290644"},{"key":"22_CR38","unstructured":"Israel D, Perry J (1996) Where monsters dwell. In: Seligman J, Westerst\u00e5hl D (eds) Proceedings of the logic, language and computation: the 1994 Moraga, CSLI Publications, pp 303\u2013316"},{"key":"22_CR39","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1007\/BF00568057","volume":"19","author":"D Kaplan","year":"1968","unstructured":"Kaplan D (1968) Quantifying In. Synthese 19:178\u2013214","journal-title":"Synthese"},{"key":"22_CR40","first-page":"481","volume-title":"Themes from Kaplan","author":"D Kaplan","year":"1989","unstructured":"Kaplan D (1989) Demonstratives. In: Perry J, Wettstein H, Almog J (eds) Themes from Kaplan. MIT Press, Cambridge, pp 481\u2013563"},{"key":"22_CR41","volume-title":"Naming and necessity","author":"S Kripke","year":"1980","unstructured":"Kripke S (1980) Naming and necessity. Harvard University Press, Cambridge"},{"key":"22_CR42","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/BF02380179","volume":"8","author":"S Lehmann","year":"1978","unstructured":"Lehmann S (1978) The Hintikka-Kripke problem. Philosophia 8:59\u201370","journal-title":"Philosophia"},{"key":"22_CR43","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/BF00262070","volume":"6","author":"D Lewis","year":"1977","unstructured":"Lewis D (1977) Possible-world semantics for counterfactual logics: a rejoinder. J Philos Log 6:359\u2013363","journal-title":"J Philos Log"},{"issue":"4","key":"22_CR44","doi-asserted-by":"publisher","first-page":"513","DOI":"10.2307\/2184843","volume":"88","author":"D Lewis","year":"1979","unstructured":"Lewis D (1979) Attitudes De Dicto and De Se. Philos Rev 88(4):513\u2013543","journal-title":"Philos Rev"},{"issue":"1","key":"22_CR45","doi-asserted-by":"publisher","first-page":"3","DOI":"10.2307\/2184519","volume":"92","author":"D Lewis","year":"1983","unstructured":"Lewis D (1983) Individuation by acquaintance and by stipulation. Philos Rev 92(1):3\u201332","journal-title":"Philos Rev"},{"key":"22_CR46","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/BF00126694","volume":"11","author":"L Linsky","year":"1979","unstructured":"Linsky L (1979) Believing and necessity. Theory Decis 11:81\u201394","journal-title":"Theory Decis"},{"issue":"5","key":"22_CR47","first-page":"1","volume":"5","author":"D Ninan","year":"2012","unstructured":"Ninan D (2012) Counterfactual attitudes and multi-centered worlds. Semant Pragmat 5(5):1\u201357","journal-title":"Semant Pragmat"},{"issue":"2","key":"22_CR48","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1305\/ndjfl\/1093891312","volume":"15","author":"Zane Parks","year":"1974","unstructured":"Parks Z (1974) Semantics for contingent identity systems. Notre Dame J Formal Log 15(2): 333\u2013334","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"22_CR49","doi-asserted-by":"publisher","first-page":"474","DOI":"10.2307\/2184564","volume":"86","author":"J Perry","year":"1977","unstructured":"Perry J (1977) Frege on demonstratives. Philos Rev 86:474\u2013497","journal-title":"Philos Rev"},{"key":"22_CR50","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1093\/aristoteliansupp\/60.1.137","volume":"60","author":"J Perry","year":"1986","unstructured":"Perry J (1986) Thought without representation. Proc Aristotelian Soc 60:137\u2013151","journal-title":"Proc Aristotelian Soc"},{"key":"22_CR51","doi-asserted-by":"crossref","unstructured":"Perry J (2009) Hintikka on demonstratives. Revue internationale de philosophie 4(250): 369\u2013382","DOI":"10.3917\/rip.250.0369"},{"key":"22_CR52","volume-title":"Reference and reflexivity","author":"J Perry","year":"2012","unstructured":"Perry J (2012) Reference and reflexivity, 2nd edn. CSLI Publications, Stanford","edition":"2"},{"key":"22_CR53","doi-asserted-by":"crossref","unstructured":"Perry J (2013) F\u00f8llesdal and Quine\u2019s slingshot. In: Frauchiger M (ed) Reference, rationality, and phenomenology: themes from F\u00f8llesdal. Ontos Verlag, Frankfurt, pp 237\u2013258","DOI":"10.1515\/9783110323542.237"},{"issue":"5","key":"22_CR54","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1023\/A:1020153327867","volume":"31","author":"G Priest","year":"2002","unstructured":"Priest G (2002) The hooded man. J Philos Log 31(5):445\u2013467","journal-title":"J Philos Log"},{"key":"22_CR55","unstructured":"Quine W (1953) Three grades of modal involvement. In: Proceedings of the 11th international congress of philosophy, vol 14. North-Holland Publishing, Amsterdam, pp 158\u2013176"},{"issue":"5","key":"22_CR56","doi-asserted-by":"publisher","first-page":"177","DOI":"10.2307\/2022451","volume":"53","author":"W Quine","year":"1956","unstructured":"Quine W (1956) Quantifiers and propositional attitudes. J Philos 53(5):177\u2013187","journal-title":"J Philos"},{"key":"22_CR57","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/BF00763509","volume":"13","author":"W Rabinowicz","year":"1994","unstructured":"Rabinowicz W, Segerberg K (1994) Actual truth, possible knowledge. Topoi 13:101\u2013105","journal-title":"Topoi"},{"key":"22_CR58","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1007\/BF00249259","volume":"12","author":"M Richard","year":"1983","unstructured":"Richard M (1983) Direct reference and ascriptions of belief. J Philos Log 12:425\u2013452","journal-title":"J Philos Log"},{"issue":"4","key":"22_CR59","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1093\/mind\/XIV.4.479","volume":"14","author":"B Russell","year":"1905","unstructured":"Russell B (1905) On denoting. Mind 14(4):479\u2013493","journal-title":"Mind"},{"key":"22_CR60","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1093\/aristotelian\/11.1.108","volume":"11","author":"B Russell","year":"1911","unstructured":"Russell B (1911) Knowledge by acquaintance and knowledge by description. Proc Aristotelian Soc 11:108\u2013128","journal-title":"Proc Aristotelian Soc"},{"key":"22_CR61","unstructured":"Schroeter L (2012) Two-dimensional semantics. In: Zalta EN (ed) The stanford encyclopedia of philosophy (winter 2012 edn)"},{"key":"22_CR62","first-page":"393","volume-title":"Themes from kaplan","author":"S Soames","year":"1989","unstructured":"Soames S (1989) Direct reference and propositional attitudes. In: Perry J, Wettstein H, Almog J (eds) Themes from kaplan. MIT Press, Cambridge, pp 393\u2013419"},{"key":"22_CR63","unstructured":"Stalnaker RC (1984) Inquiry. MIT Press, Cambridge"},{"key":"22_CR64","doi-asserted-by":"crossref","first-page":"132","DOI":"10.1093\/acprof:oso\/9780199545995.003.0007","volume-title":"Our Knowledge of the Internal World","author":"Robert C. Stalnaker","year":"2008","unstructured":"Stalnaker RC (2010) Our knowledge of the internal world. Oxford University Press, Boston"},{"issue":"385","key":"22_CR65","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1093\/mind\/XCVII.385.1","volume":"97","author":"H Wettstein","year":"1988","unstructured":"Wettstein H (1988) Cognitive significance without cognitive content. Mind 97(385):1\u201328","journal-title":"Mind"},{"key":"22_CR66","unstructured":"Wishon D (2012) Russellian acquaintance and Frege\u2019s puzzle (manuscript)"},{"key":"22_CR67","unstructured":"Yalcin S (2012) Quantifying in from a Fregean perspective (manuscript)"}],"container-title":["Outstanding Contributions to Logic","Johan van Benthem on Logic and Information Dynamics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-06025-5_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,1]],"date-time":"2024-06-01T22:48:51Z","timestamp":1717282131000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-06025-5_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319060248","9783319060255"],"references-count":67,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-06025-5_22","relation":{},"ISSN":["2211-2758","2211-2766"],"issn-type":[{"value":"2211-2758","type":"print"},{"value":"2211-2766","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}