{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,10,24]],"date-time":"2022-10-24T11:29:18Z","timestamp":1666610958794},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"10","license":[{"start":{"date-parts":[[2016,8,20]],"date-time":"2016-08-20T00:00:00Z","timestamp":1471651200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2018,10]]},"DOI":"10.1007\/s11229-016-1172-3","type":"journal-article","created":{"date-parts":[[2016,8,20]],"date-time":"2016-08-20T10:18:06Z","timestamp":1471688286000},"page":"4373-4417","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["On the expressive power of first-order modal logic with two-dimensional operators"],"prefix":"10.1007","volume":"195","author":[{"given":"Alexander W.","family":"Kocurek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,8,20]]},"reference":[{"key":"1172_CR1","unstructured":"Areces, C., Blackburn, P., & Marx, M. (1999). Hybrid logic is the bounded fragment of first-order logic. In Proceedings of 6th workshop on logic, language, information and computation."},{"key":"1172_CR2","doi-asserted-by":"publisher","first-page":"821","DOI":"10.1016\/S1570-2464(07)80017-6","volume-title":"Handbook of modal logic","author":"C Areces","year":"2007","unstructured":"Areces, C., & ten Cate, B. (2007). Hybrid logics. In P. Blackburn, F. Wolter, & J. van Benthem (Eds.), Handbook of modal logic (pp. 821\u2013868). New York: Elsevier."},{"key":"1172_CR3","volume-title":"Models and ultraproducts: An introduction","author":"JL Bell","year":"2006","unstructured":"Bell, J. L., & Slomson, A. B. (2006). Models and ultraproducts: An introduction. Princeton, NJ: Courier Corporation."},{"key":"1172_CR4","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal logic","author":"P Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., & Venema, Y. (2001). Modal logic. Cambridge: Cambridge University Press."},{"key":"1172_CR5","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1111\/j.1475-4975.1989.tb00198.x","volume":"14","author":"P Bricker","year":"1989","unstructured":"Bricker, P. (1989). Quantified modal logic and the Plural De Re. Midwest Studies in Philosophy, 14, 372\u2013394.","journal-title":"Midwest Studies in Philosophy"},{"key":"1172_CR6","volume-title":"Model theory","author":"CC Chang","year":"1990","unstructured":"Chang, C. C., & Keisler, H. J. (1990). Model theory (3rd ed.). Princeton, NJ: Courier Corporation.","edition":"3"},{"key":"1172_CR7","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1007\/s10992-006-9045-8","volume":"36","author":"F Correia","year":"2007","unstructured":"Correia, F. (2007). Modality, quantification, and many Vlach-operators. Journal of Philosophical Logic, 36, 473\u2013488.","journal-title":"Journal of Philosophical Logic"},{"key":"1172_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-2139-9","volume-title":"Entities and indices","author":"MJ Cresswell","year":"1990","unstructured":"Cresswell, M. J. (1990). Entities and indices. Dordrecht: Kluwer."},{"key":"1172_CR9","first-page":"11","volume":"8","author":"JN Crossley","year":"1977","unstructured":"Crossley, J. N., & Humberstone, L. (1977). The logic of \u201cactually\u201d. Reports on Mathematical Logic, 8, 11\u201329.","journal-title":"Reports on Mathematical Logic"},{"key":"1172_CR10","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. Philosophical Studies, 38, 1\u201330.","journal-title":"Philosophical Studies"},{"key":"1172_CR11","doi-asserted-by":"publisher","first-page":"201","DOI":"10.2307\/2273727","volume":"44","author":"K Fine","year":"1979","unstructured":"Fine, K. (1979). Failures of the Interpolation lemma in quantified modal logic. The Journal of Symbolic Logic, 44, 201\u2013206.","journal-title":"The Journal of Symbolic Logic"},{"key":"1172_CR12","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/BF00293421","volume":"10","author":"K Fine","year":"1981","unstructured":"Fine, K. (1981). Model theory for modal logic\u2014Part III: Existence and predication. Journal of Philosophical Logic, 10, 293\u2013307.","journal-title":"Journal of Philosophical Logic"},{"key":"1172_CR13","doi-asserted-by":"crossref","unstructured":"Fine, K. (2005). Prior on the construction of possible worlds and instants. In Modality and tense (pp. 133\u2013175). Oxford: Oxford University Press.","DOI":"10.1093\/0199278709.003.0005"},{"key":"1172_CR14","volume-title":"Languages of possibility","author":"G Forbes","year":"1989","unstructured":"Forbes, G. (1989). Languages of possibility. Cambridge, MA: Blackwell."},{"issue":"1","key":"1172_CR15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s10992-020-09557-6","volume":"14","author":"P Fritz","year":"2012","unstructured":"Fritz, P. (2012). Modal ontology and generalized quantifiers. Journal of Philosophical Logic, 14(1), 1\u201336.","journal-title":"Journal of Philosophical Logic"},{"key":"1172_CR16","doi-asserted-by":"crossref","unstructured":"Gabbay, D. M. (1981). Expressive functional completeness in tense logic. Aspects of Philosophical Logic 91\u2013117.","DOI":"10.1007\/978-94-009-8384-7_4"},{"key":"1172_CR17","doi-asserted-by":"crossref","unstructured":"Garson, J. W. (2001). Quantification in modal logic. In Handbook of philosophical logic (pp. 267\u2013323). Dordrecht: Springer.","DOI":"10.1007\/978-94-017-0454-0_3"},{"issue":"232","key":"1172_CR18","first-page":"457","volume":"58","author":"DR Gilbert","year":"2015","unstructured":"Gilbert, D. R. (2015). Actuality, quantifiers and actuality quantifiers. Logique et Analyse, 58(232), 457\u2013486.","journal-title":"Logique et Analyse"},{"key":"1172_CR19","unstructured":"Goranko, V., & Otto, M. (2006). Model theory of modal logic. In P. Blackburn, J. van Benthem, & F. Wolter (Eds.), Handbook of modal logic. Elsevier."},{"key":"1172_CR20","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/BF00263656","volume":"5","author":"AP Hazen","year":"1976","unstructured":"Hazen, A. P. (1976). Expressive completeness in modal language. Journal of Philosophical Logic, 5, 25\u201346.","journal-title":"Journal of Philosophical Logic"},{"key":"1172_CR21","doi-asserted-by":"publisher","first-page":"498","DOI":"10.1305\/ndjfl\/1093635586","volume":"31","author":"AP Hazen","year":"1990","unstructured":"Hazen, A. P. (1990). Actuality and quantification. Notre Dame Journal of Formal Logic, 31, 498\u2013508.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"1172_CR22","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/BF00297575","volume":"13","author":"HT Hodes","year":"1984","unstructured":"Hodes, H. T. (1984a). Axioms for actuality. Journal of Philosophical Logic, 13, 27\u201334.","journal-title":"Journal of Philosophical Logic"},{"key":"1172_CR23","first-page":"423","volume":"13","author":"HT Hodes","year":"1984","unstructured":"Hodes, H. T. (1984b). On modal logics which enrich first-order S5. Journal of Philosophical Logic, 13, 423\u2013454.","journal-title":"Journal of Philosophical Logic"},{"key":"1172_CR24","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/BF00297574","volume":"13","author":"HT Hodes","year":"1984","unstructured":"Hodes, H. T. (1984c). Some theorems on the expressive limitations of modal languages. Journal of Philosophical Logic, 13, 13\u201326.","journal-title":"Journal of Philosophical Logic"},{"key":"1172_CR25","doi-asserted-by":"crossref","unstructured":"Kocurek, A. W. (2015). On the expressivity of first-order modal logic with \u201cactually\u201d. In W. van der Hoek, W. H. Holliday & W. Wang (Eds.), Logic, rationality, and interaction: Proceedings 5th international workshop, LORI 2015, Taipei, Taiwan, October 28\u201330, 2015 (pp. 207\u2013219). Berlin: Springer.","DOI":"10.1007\/978-3-662-48561-3_17"},{"key":"1172_CR26","doi-asserted-by":"crossref","unstructured":"Kocurek, A. W. (2016). The problem of cross-world predication. Journal of Philosophical Logic 1\u201346.","DOI":"10.1007\/s10992-015-9389-z"},{"key":"1172_CR27","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1007\/BF00262950","volume":"2","author":"DK Lewis","year":"1973","unstructured":"Lewis, D. K. (1973). Counterfactuals and comparative possibility. Journal of Philosophical Logic, 2, 418\u2013446.","journal-title":"Journal of Philosophical Logic"},{"key":"1172_CR28","unstructured":"Needham, P. (1975). Temporal perspective: A logical analysis of temporal reference in English. Ph.D. thesis, Upsala, Sweden."},{"key":"1172_CR29","volume-title":"Logic for philosophy","author":"T Sider","year":"2010","unstructured":"Sider, T. (2010). Logic for philosophy. Oxford: oxford University Press."},{"key":"1172_CR30","doi-asserted-by":"publisher","first-page":"571","DOI":"10.1023\/A:1013360121031","volume":"30","author":"H Sturm","year":"2001","unstructured":"Sturm, H., & Wolter, F. (2001). First-order expressivity for S5-models: Modal versus two-sorted languages. Journal of Philosophical Logic, 30, 571\u2013591.","journal-title":"Journal of Philosophical Logic"},{"key":"1172_CR31","first-page":"395","volume":"80","author":"J Benthem van","year":"1977","unstructured":"van Benthem, J. (1977). Tense logic and standard logic. Logique et Analyse, 80, 395\u2013437.","journal-title":"Logique et Analyse"},{"key":"1172_CR32","unstructured":"van Benthem, J. (2010). Frame correspondences in modal predicate logic. 1\u201314."},{"key":"1172_CR33","unstructured":"Vlach, F. (1973). \u201cNow\u201d and \u201cthen\u201d: A formal study in the logic of tense Anaphora. Ph.D. thesis, UCLA."},{"key":"1172_CR34","unstructured":"Wehmeier, K. F. (2001). World travelling and mood swings. In Trends in logic (pp. 257\u2013260). Dordrecht: Springer."},{"key":"1172_CR35","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/s10849-014-9210-3","volume":"24","author":"I Yanovich","year":"2015","unstructured":"Yanovich, I. (2015). Expressive power of \u201cnow\u201d and \u201cthen\u201d operators. Journal of Logic, Language and Information, 24, 65\u201393.","journal-title":"Journal of Logic, Language and Information"}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-016-1172-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-016-1172-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-016-1172-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-016-1172-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,6]],"date-time":"2022-07-06T19:52:39Z","timestamp":1657137159000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-016-1172-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,8,20]]},"references-count":35,"journal-issue":{"issue":"10","published-print":{"date-parts":[[2018,10]]}},"alternative-id":["1172"],"URL":"https:\/\/doi.org\/10.1007\/s11229-016-1172-3","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,8,20]]}}}