{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,13]],"date-time":"2026-08-13T16:12:53Z","timestamp":1786637573023,"version":"3.56.0"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642138232","type":"print"},{"value":"9783642138249","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13824-9_9","type":"book-chapter","created":{"date-parts":[[2010,7,1]],"date-time":"2010-07-01T07:24:09Z","timestamp":1277969049000},"page":"98-109","source":"Crossref","is-referenced-by-count":11,"title":["Modal Logics with Counting"],"prefix":"10.1007","author":[{"given":"Carlos","family":"Areces","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Guillaume","family":"Hoffmann","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alexandre","family":"Denis","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"crossref","first-page":"12","DOI":"10.4064\/fm-44-1-12-36","volume":"44","author":"A. Mostowski","year":"1957","unstructured":"Mostowski, A.: On a generalization of quantifiers. Fundamenta Mathematicae\u00a044, 12\u201336 (1957)","journal-title":"Fundamenta Mathematicae"},{"key":"9_CR2","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P. Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)"},{"issue":"4","key":"9_CR3","doi-asserted-by":"publisher","first-page":"516","DOI":"10.1305\/ndjfl\/1093890715","volume":"13","author":"K. Fine","year":"1972","unstructured":"Fine, K.: In so many possible worlds. Notre Dame Journal of Formal Logics\u00a013(4), 516\u2013520 (1972)","journal-title":"Notre Dame Journal of Formal Logics"},{"issue":"1","key":"9_CR4","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/BF01051767","volume":"2","author":"W. Hoek van der","year":"1993","unstructured":"van der Hoek, W., de Rijke, M.: Generalized quantifiers and modal logic. Journal of Logic, Language and Information\u00a02(1), 19\u201358 (1993)","journal-title":"Journal of Logic, Language and Information"},{"issue":"3","key":"9_CR5","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1093\/logcom\/5.3.325","volume":"5","author":"W. Hoek van der","year":"1995","unstructured":"van der Hoek, W., de Rijke, M.: Counting objects. Journal of Logic and Computation\u00a05(3), 325\u2013345 (1995)","journal-title":"Journal of Logic and Computation"},{"key":"9_CR6","first-page":"1","volume-title":"Handbook of Philosophical Logic","author":"D. Westerst\u00e5hl","year":"1989","unstructured":"Westerst\u00e5hl, D.: Quantifiers in formal and natural languages. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol.\u00a0IV, pp. 1\u20131331. Reidel, Dordrecht (1989)"},{"issue":"1-2","key":"9_CR7","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/S0004-3702(96)00010-0","volume":"88","author":"F. Baader","year":"1996","unstructured":"Baader, F., Buchheit, M., Hollunder, B.: Cardinality restrictions on concepts. Artificial Intelligence\u00a088(1-2), 195\u2013213 (1996)","journal-title":"Artificial Intelligence"},{"key":"9_CR8","unstructured":"Tobies, S.: Complexity results and practical algorithms for logics in Knowledge Representation. PhD thesis, LuFG Theoretical Computer Science, RWTH-Aachen (2001)"},{"issue":"1","key":"9_CR9","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1093\/logcom\/2.1.5","volume":"2","author":"V. Goranko","year":"1992","unstructured":"Goranko, V., Passy, S.: Using the universal modality: Gains and questions. Journal of Logic and Computation\u00a02(1), 5\u201330 (1992)","journal-title":"Journal of Logic and Computation"},{"key":"9_CR10","first-page":"821","volume-title":"Handbook of Modal Logics","author":"C. Areces","year":"2006","unstructured":"Areces, C., ten Cate, B.: Hybrid logics. In: Blackburn, P., Wolter, F., van Benthem, J. (eds.) Handbook of Modal Logics, pp. 821\u2013868. Elsevier, Amsterdam (2006)"},{"key":"9_CR11","unstructured":"Varges, S., Deemter, K.V.: Generating referring expressions containing quantifiers. In: Proc. of IWCS 2006 (2005)"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Asher, N., Wang, L.: Ambiguity and anaphora with plurals in discourse. In: Proc. of Semantics and Linguistic Theory 13 (SALT 13), University of Washington, Seattle, Washington (2003)","DOI":"10.3765\/salt.v13i0.2879"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Franconi, E.: A treatment of plurals and plural quantifications based on a theory of collections. In: Minds and Machines, pp. 453\u2013474 (1993)","DOI":"10.1007\/BF00974106"},{"key":"9_CR14","unstructured":"Areces, C., Gor\u00edn, D.: Coinductive models and normal forms for modal logics. Logic Journal of the IGPL (to appear, 2010)"},{"issue":"2","key":"9_CR15","doi-asserted-by":"publisher","first-page":"566","DOI":"10.2307\/2275293","volume":"57","author":"M. Rijke de","year":"1992","unstructured":"de Rijke, M.: The modal logic of inequality. The Journal of Symbolic Logic\u00a057(2), 566\u2013584 (1992)","journal-title":"The Journal of Symbolic Logic"},{"issue":"5","key":"9_CR16","doi-asserted-by":"publisher","first-page":"653","DOI":"10.1093\/jigpal\/8.5.653","volume":"8","author":"C. Areces","year":"2000","unstructured":"Areces, C., Blackburn, P., Marx, M.: The computational complexity of hybrid temporal logics. Logic Journal of the IGPL\u00a08(5), 653\u2013679 (2000)","journal-title":"Logic Journal of the IGPL"},{"issue":"3","key":"9_CR17","doi-asserted-by":"publisher","first-page":"517","DOI":"10.1093\/logcom\/exm014","volume":"17","author":"T. Bolander","year":"2007","unstructured":"Bolander, T., Blackburn, P.: Termination for hybrid tableaus. Journal of Logic and Computation\u00a017(3), 517\u2013554 (2007)","journal-title":"Journal of Logic and Computation"},{"key":"9_CR18","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/978-3-642-02716-1_18","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"M. Kaminski","year":"2009","unstructured":"Kaminski, M., Schneider, S., Smolka, G.: Terminating tableaux for graded hybrid logic with global modalities and role hierarchies. In: Giese, M., Waaler, A. (eds.) TABLEAUX 2009. LNCS (LNAI), vol.\u00a05607, pp. 235\u2013249. Springer, Heidelberg (2009)"},{"issue":"1-2","key":"9_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0004-3702(99)00011-9","volume":"109","author":"H.J. Ohlbach","year":"1999","unstructured":"Ohlbach, H.J., Koehler, J.: Modal logics, description logics and arithmetic reasoning. Artif. Intell.\u00a0109(1-2), 1\u201331 (1999)","journal-title":"Artif. Intell."},{"key":"9_CR20","unstructured":"Haarslev, V., Timmann, M., M\u00f6ller, R.: Combining tableaux and algebraic methods for reasoning with qualified number restrictions. In: Proc. of Description Logics 2001, pp. 152\u2013161 (2001)"},{"key":"9_CR21","first-page":"725","volume-title":"Proc. of ECAI 2008","author":"J. Faddoul","year":"2008","unstructured":"Faddoul, J., Farsinia, N., Haarslev, V., M\u00f6ller, R.: A hybrid tableau algorithm for ALCQ. In: Proc. of ECAI 2008, pp. 725\u2013726. IOS Press, Amsterdam (2008)"},{"key":"9_CR22","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/978-94-009-6259-0_4","volume-title":"Handbook of Philosophical Logic","author":"J. Benthem van","year":"1984","unstructured":"van Benthem, J.: Modal correspondence theory. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol.\u00a02, pp. 167\u2013247. Springer, Heidelberg (1984)"}],"container-title":["Lecture Notes in Computer Science","Logic, Language, Information and Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13824-9_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T04:42:20Z","timestamp":1552624940000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13824-9_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642138232","9783642138249"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13824-9_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}