{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:50:41Z","timestamp":1742914241262,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540781967"},{"type":"electronic","value":"9783540781974"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-78197-4_12","type":"book-chapter","created":{"date-parts":[[2008,2,11]],"date-time":"2008-02-11T05:50:46Z","timestamp":1202709046000},"page":"109-122","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Dynamic Semantics of Quantified Modal Mu-Calculi and Its Applications to Modelling Public Referents, Speaker\u2019s Referents, and Semantic Referents"],"prefix":"10.1007","author":[{"given":"Norihiro","family":"Ogata","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,7,27]]},"reference":[{"key":"12_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(95)00045-X","volume":"151","author":"S. Ambler","year":"1995","unstructured":"Ambler, S., Kwiatkowska, M.Z., Measor, N.: Duality and the completeness of the modal \u03bc-calculus. Theoretical Computer Science\u00a0151, 3\u201327 (1995)","journal-title":"Theoretical Computer Science"},{"key":"12_CR2","unstructured":"Bonsangue, M.M., Kwiatkowska, M.Z.: Re-interpreting the modal \u03bc-calculus. In: Ponse, A., de Rijke, M., Venema, Y. (eds.) Modal Logic and Process Algebra: A Bisimulation Perspective, CSLI, Stanford, pp. 65\u201383 (1995)"},{"key":"12_CR3","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1016\/S0304-3975(97)00233-8","volume":"202","author":"C. Hartonas","year":"1998","unstructured":"Hartonas, C.: Duality for modal \u03bc-logics. Theoretical Computer Science\u00a0202, 193\u2013222 (1998)","journal-title":"Theoretical Computer Science"},{"key":"12_CR4","unstructured":"Alberucci, L.: The Modal \u03bc-Calculus and the Logic of Common Knowledge. PhD thesis, Universit\u00e4t Bern (2002)"},{"key":"12_CR5","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1111\/j.1475-4975.1977.tb00045.x","volume":"2","author":"S.A. Kripke","year":"1977","unstructured":"Kripke, S.A.: Speaker\u2019s reference and semantic reference. Midwest Studies in Philosophy\u00a02, 255\u2013276 (1977)","journal-title":"Midwest Studies in Philosophy"},{"key":"12_CR6","unstructured":"Dekker, P., van Rooy, R.: Intentional identity and information exchange. In: Gamkrelidze, R.C.T. (ed.) Proceedings of the Second Tbilisi Symposium on Language, Logic and Computation, Tbilisi State University, Tbilisi (1998)"},{"key":"12_CR7","volume-title":"Nonexistent Objects","author":"T. Parsons","year":"1980","unstructured":"Parsons, T.: Nonexistent Objects. Yale University Press, New Heaven (1980)"},{"key":"12_CR8","doi-asserted-by":"publisher","first-page":"685","DOI":"10.2307\/2586493","volume":"64","author":"M. Kaneko","year":"1999","unstructured":"Kaneko, M.: Common knowledge logic and game logic. The Journal of Symbolic Logic\u00a064, 685\u2013700 (1999)","journal-title":"The Journal of Symbolic Logic"},{"key":"12_CR9","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1023\/A:1016387008323","volume":"71","author":"M. Kaneko","year":"2002","unstructured":"Kaneko, M., et al.: A map of common knowledge logics. Studia Logica\u00a071, 57\u201386 (2002)","journal-title":"Studia Logica"},{"key":"12_CR10","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/978-94-009-6259-0_5","volume-title":"Handbook of Philosophical Logic","author":"J.W. Garson","year":"1984","unstructured":"Garson, J.W.: Quantification in modal logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol.\u00a0II, pp. 249\u2013307. D. Reidel Publishing Company, Dordrecht (1984)"},{"key":"12_CR11","first-page":"442","volume-title":"A Companion to Philosophical Logic","author":"G. Schurz","year":"2001","unstructured":"Schurz, G.: Alethic modal logic and semantics. In: Jacquette, D. (ed.) A Companion to Philosophical Logic, pp. 442\u2013477. Blackwell, Oxford (2001)"},{"key":"12_CR12","doi-asserted-by":"publisher","first-page":"1483","DOI":"10.2178\/jsl\/1190150295","volume":"67","author":"G. Corsi","year":"2002","unstructured":"Corsi, G.: A unified completeness theorem for quantified modal logics. Journal of Symbolic Logic\u00a067, 1483\u20131510 (2002)","journal-title":"Journal of Symbolic Logic"},{"key":"12_CR13","first-page":"56","volume-title":"Philosophical Problems in Logic: Some Recent Develeopments","author":"R.H. Thomason","year":"1969","unstructured":"Thomason, R.H.: Some completeness results for modal predicate calculi. In: Lambert, K. (ed.) Philosophical Problems in Logic: Some Recent Develeopments, pp. 56\u201376. D. Reidel Publishing Company, Dordrecht (1969)"},{"key":"12_CR14","doi-asserted-by":"publisher","first-page":"517","DOI":"10.2307\/2274697","volume":"56","author":"S. Ghilardi","year":"1991","unstructured":"Ghilardi, S.: Incompleteness results in Kripke semantics. Journal of Symbolic Logic\u00a056, 517\u2013538 (1991)","journal-title":"Journal of Symbolic Logic"},{"key":"12_CR15","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/0168-0072(93)90210-5","volume":"63","author":"D. Skvortsov","year":"1993","unstructured":"Skvortsov, D., Shetman, V.: Maximal Kripke-type semantics for modal and superintuitionistic predicate logics. Annals of Pure and Applied Logic\u00a063, 69\u2013101 (1993)","journal-title":"Annals of Pure and Applied Logic"},{"key":"12_CR16","unstructured":"Shirasu, H.: Duality in superintuitionistic and modal predicate logics. In: Balbiani, P., et al. (eds.) Advance of Modal Logic, CSLI, Stanford, vol.\u00a0I, pp. 223\u2013236 (1998)"},{"key":"12_CR17","volume-title":"Quantifiation in Nonclassical Logic (Draft: March 13, 2007)","author":"D.M. Gabbay","year":"2007","unstructured":"Gabbay, D.M., Shetman, V., Skvortsov, D.: Quantifiation in Nonclassical Logic (Draft: March 13, 2007). Elsevier Science, Amsterdam (2007)"},{"key":"12_CR18","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1142\/9789812776471_0016","volume-title":"Advances in Modal Logics","author":"M. Kracht","year":"2002","unstructured":"Kracht, M., Kutz, O.: The semantics of modal predicate logic i: Counterpart frames. In: Wolter, F., et al. (eds.) Advances in Modal Logics, vol.\u00a03, pp. 299\u2013320. World Scientific Publishing Co. Pte. Ltd., Singapore (2002)"},{"key":"12_CR19","first-page":"119","volume-title":"The Logical Way of Doing Thing","author":"R.H. Thomason","year":"1969","unstructured":"Thomason, R.H.: Modal logic and metaphysics. In: Lambert, K. (ed.) The Logical Way of Doing Thing, pp. 119\u2013146. D. Reidel Publishing Company, Dordrecht (1969)"},{"key":"12_CR20","first-page":"60","volume-title":"Intensionality","author":"M. Kracht","year":"2005","unstructured":"Kracht, M., Kutz, O.: The semantics of modal predicate logic ii: Modal individuals revisited. In: Kahle, R. (ed.) Intensionality, pp. 60\u201396. Association for Symbolic Logic, San Diego (2005)"},{"key":"12_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10992-004-4065-8","volume":"34","author":"M. Aloni","year":"2005","unstructured":"Aloni, M.: Individual concepts in modal predicate logic. Journal of Philosophical Logic\u00a034, 1\u201364 (2005)","journal-title":"Journal of Philosophical Logic"},{"key":"12_CR22","volume-title":"First-Order Modal Logic","author":"M. Fitting","year":"1999","unstructured":"Fitting, M., Mendelsohn, R.L.: First-Order Modal Logic. Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"12_CR23","first-page":"943","volume-title":"Philosophy of Logic","author":"M. Kracht","year":"2006","unstructured":"Kracht, M., Kutz, O.: Logically possible worlds and counterpart semantics of modal logic. In: Jacquette, D., et al. (eds.) Philosophy of Logic, pp. 943\u2013996. North Holland, Amsterdam (2006)"},{"key":"12_CR24","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511617737","volume-title":"Modal Logic for Philosophers","author":"J.W. Garson","year":"2006","unstructured":"Garson, J.W.: Modal Logic for Philosophers. Cambridge University Press, Cambridge (2006)"},{"key":"12_CR25","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1016\/S1570-2464(07)80012-7","volume-title":"Handbook of Modal Logic","author":"T. Bra\u00fcner","year":"2007","unstructured":"Bra\u00fcner, T., Ghilardi, S.: First-order modal logic. In: Blackburn, P., van Benthem, J., Wolter, F. (eds.) Handbook of Modal Logic, pp. 549\u2013620. Elsevier, Amsterdam (2007)"},{"key":"12_CR26","volume-title":"An Introduction to Modal Logic","author":"G.E. Hughes","year":"1968","unstructured":"Hughes, G.E., Cresswell, M.J.: An Introduction to Modal Logic. Methuen, London (1968)"},{"key":"12_CR27","doi-asserted-by":"publisher","DOI":"10.4324\/9780203290644","volume-title":"A New Introduction to Modal Logic","author":"G.E. Hughes","year":"1996","unstructured":"Hughes, G.E., Cresswell, M.J.: A New Introduction to Modal Logic. Routledge, London (1996)"},{"key":"12_CR28","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/BF01620621","volume":"29","author":"S. Ghilardi","year":"1989","unstructured":"Ghilardi, S.: Presheaf semantics and independence results for some non-classical first-order logics. Archive for Mathematical Logic\u00a029, 125\u2013136 (1989)","journal-title":"Archive for Mathematical Logic"},{"key":"12_CR29","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/BF01048353","volume":"24","author":"M.J. Cresswell","year":"1995","unstructured":"Cresswell, M.J.: Incompleteness and the Barcan formula. Journal of Philosophical Logic\u00a024, 379\u2013403 (1995)","journal-title":"Journal of Philosophical Logic"},{"key":"12_CR30","first-page":"227","volume-title":"Advances in Modal Logics","author":"R. Goldblatt","year":"2006","unstructured":"Goldblatt, R., Mares, E.D.: A general semantics for quantified modal logic. In: Governatori, G., Hodkinson, I., Venema, Y. (eds.) Advances in Modal Logics, vol.\u00a06, pp. 227\u2013246. Colledge Publications, London (2006)"},{"key":"12_CR31","volume-title":"Categories for the Working Mathematician","author":"S. Mac Lane","year":"1998","unstructured":"Mac Lane, S.: Categories for the Working Mathematician. Springer, Berlin (1998)"},{"key":"12_CR32","doi-asserted-by":"publisher","first-page":"113","DOI":"10.2307\/2024555","volume":"65","author":"D. Lewis","year":"1968","unstructured":"Lewis, D.: Counterpart theory and quantified modal logic. Journal of Philosophy\u00a065, 113\u2013126 (1968) (counterpart)","journal-title":"Journal of Philosophy"},{"key":"12_CR33","volume-title":"Lectures on the Curry-Howard Isomorphism","author":"M.H. S\u00f8rensen","year":"2006","unstructured":"S\u00f8rensen, M.H., Urzyczyn, P.: Lectures on the Curry-Howard Isomorphism. Springer, Berlin (2006)"},{"key":"12_CR34","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0890-5401(91)90052-4","volume":"93","author":"E. Moggi","year":"1991","unstructured":"Moggi, E.: Notions of computation and monads. Information and Computation\u00a093, 55\u201392 (1991)","journal-title":"Information and Computation"}],"container-title":["Lecture Notes in Computer Science","New Frontiers in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78197-4_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,19]],"date-time":"2021-08-19T01:04:29Z","timestamp":1629335069000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-78197-4_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540781967","9783540781974"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78197-4_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]},"assertion":[{"value":"27 July 2009","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}