Abstract
We present a modal language that includes explicit operators to count the number of elements that a model might include in the extension of a formula, and we discuss how this logic has been previously investigated under different guises. We show that the language is related to graded modalities and to hybrid logics. We illustrate a possible application of the language to the treatment of plural objects and queries in natural language. We investigate the expressive power of this logic via bisimulations, discuss the complexity of its satisfiability problem, define a new reasoning task that retrieves the cardinality bound of the extension of a given input formula, and provide an algorithm to solve it.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Mostowski, A.: On a generalization of quantifiers. Fundamenta Mathematicae 44, 12–36 (1957)
Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)
Fine, K.: In so many possible worlds. Notre Dame Journal of Formal Logics 13(4), 516–520 (1972)
van der Hoek, W., de Rijke, M.: Generalized quantifiers and modal logic. Journal of Logic, Language and Information 2(1), 19–58 (1993)
van der Hoek, W., de Rijke, M.: Counting objects. Journal of Logic and Computation 5(3), 325–345 (1995)
Westerståhl, D.: Quantifiers in formal and natural languages. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. IV, pp. 1–1331. Reidel, Dordrecht (1989)
Baader, F., Buchheit, M., Hollunder, B.: Cardinality restrictions on concepts. Artificial Intelligence 88(1-2), 195–213 (1996)
Tobies, S.: Complexity results and practical algorithms for logics in Knowledge Representation. PhD thesis, LuFG Theoretical Computer Science, RWTH-Aachen (2001)
Goranko, V., Passy, S.: Using the universal modality: Gains and questions. Journal of Logic and Computation 2(1), 5–30 (1992)
Areces, C., ten Cate, B.: Hybrid logics. In: Blackburn, P., Wolter, F., van Benthem, J. (eds.) Handbook of Modal Logics, pp. 821–868. Elsevier, Amsterdam (2006)
Varges, S., Deemter, K.V.: Generating referring expressions containing quantifiers. In: Proc. of IWCS 2006 (2005)
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)
Franconi, E.: A treatment of plurals and plural quantifications based on a theory of collections. In: Minds and Machines, pp. 453–474 (1993)
Areces, C., GorÃn, D.: Coinductive models and normal forms for modal logics. Logic Journal of the IGPL (to appear, 2010)
de Rijke, M.: The modal logic of inequality. The Journal of Symbolic Logic 57(2), 566–584 (1992)
Areces, C., Blackburn, P., Marx, M.: The computational complexity of hybrid temporal logics. Logic Journal of the IGPL 8(5), 653–679 (2000)
Bolander, T., Blackburn, P.: Termination for hybrid tableaus. Journal of Logic and Computation 17(3), 517–554 (2007)
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. 5607, pp. 235–249. Springer, Heidelberg (2009)
Ohlbach, H.J., Koehler, J.: Modal logics, description logics and arithmetic reasoning. Artif. Intell. 109(1-2), 1–31 (1999)
Haarslev, V., Timmann, M., Möller, R.: Combining tableaux and algebraic methods for reasoning with qualified number restrictions. In: Proc. of Description Logics 2001, pp. 152–161 (2001)
Faddoul, J., Farsinia, N., Haarslev, V., Möller, R.: A hybrid tableau algorithm for ALCQ. In: Proc. of ECAI 2008, pp. 725–726. IOS Press, Amsterdam (2008)
van Benthem, J.: Modal correspondence theory. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. 2, pp. 167–247. Springer, Heidelberg (1984)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Areces, C., Hoffmann, G., Denis, A. (2010). Modal Logics with Counting. In: Dawar, A., de Queiroz, R. (eds) Logic, Language, Information and Computation. WoLLIC 2010. Lecture Notes in Computer Science(), vol 6188. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-13824-9_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-13824-9_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-13823-2
Online ISBN: 978-3-642-13824-9
eBook Packages: Computer ScienceComputer Science (R0)