Skip to main content Accessibility help
×
Home
Hostname: page-component-564cf476b6-2fphr Total loading time: 0.245 Render date: 2021-06-20T11:35:13.014Z Has data issue: true Feature Flags: { "shouldUseShareProductTool": true, "shouldUseHypothesis": true, "isUnsiloEnabled": true, "metricsAbstractViews": false, "figures": true, "newCiteModal": false, "newCitedByModal": true, "newEcommerce": true }

Completing the Picture: Complexity of Graded Modal Logics with Converse

Published online by Cambridge University Press:  27 April 2021

BARTOSZ BEDNARCZYK
Affiliation:
Computational Logic Group, TU Dresden, Dresden, Germany and Institute of Computer Science, University of Wrocław, Wrocław, Poland (e-mail: bartosz.bednarczyk@cs.uni.wroc.pl)
EMANUEL KIEROŃSKI
Affiliation:
Institute of Computer Science, University of Wrocław, Wrocław, Poland (e-mails: emanuel.kieronski@cs.uni.wroc.pl, piotr.witkowski@cs.uni.wroc.pl)
PIOTR WITKOWSKI
Affiliation:
Institute of Computer Science, University of Wrocław, Wrocław, Poland (e-mails: emanuel.kieronski@cs.uni.wroc.pl, piotr.witkowski@cs.uni.wroc.pl)
Rights & Permissions[Opens in a new window]

Abstract

A complete classification of the complexity of the local and global satisfiability problems for graded modal language over traditional classes of frames has already been established. By “traditional” classes of frames, we mean those characterized by any positive combination of reflexivity, seriality, symmetry, transitivity, and the Euclidean property. In this paper, we fill the gaps remaining in an analogous classification of the graded modal language with graded converse modalities. In particular, we show its NExpTime-completeness over the class of Euclidean frames, demonstrating this way that over this class the considered language is harder than the language without graded modalities or without converse modalities. We also consider its variation disallowing graded converse modalities, but still admitting basic converse modalities. Our most important result for this variation is confirming an earlier conjecture that it is decidable over transitive frames. This contrasts with the undecidability of the language with graded converse modalities.

Type
Original Article
Creative Commons
Creative Common License - CCCreative Common License - BY
This is an Open Access article, distributed under the terms of the Creative Commons Attribution licence (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted re-use, distribution, and reproduction in any medium, provided the original work is properly cited.
Copyright
© The Author(s), 2021. Published by Cambridge University Press

Footnotes

*

We thank Evgeny Zolin for providing us a comprehensive list of gaps in the classification of the complexity of graded modal logics and for sharing with us his tikz files with modal cubes. We thank Emil Jeřábek for his explanations concerning K5(, ). We also thank Tomasz Gogacz and Filip Murlak for comments concerning Section 4. Finally, we thank the anonymous reviewers for their useful comments and remarks. Bartosz Bednarczyk is supported by Polish Ministry of Science and Higher Education program “Diamentowy Grant” no. DI2017 006447. Emanuel Kieroński and Piotr Witkowski are supported by Polish National Science Centre grant no. 2016/21/B/ST6/01444.

References

Baader, F., Horrocks, I., Lutz, C. and Sattler, U. 2017. An Introduction to Description Logic. Cambridge University Press.Google Scholar
Bednarczyk, B., Kieronski, E. and Witkowski, P. 2019. On the complexity of graded modal logics with converse. In Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings, Calimeri, F., Leone, N. and Manna, M., Eds. Lecture Notes in Computer Science, vol. 11468. Springer, 642658.Google Scholar
Blackburn, P., de Rijke, M. and Venema, Y. 2001. Modal Logic. Cambridge University Press, New York, NY, USA.CrossRefGoogle Scholar
Blackburn, P. and van Benthem, J. 2007. Modal logic: A semantic perspective. In Handbook of Modal Logic, Blackburn, P., van Benthem, J. F. A. K. and Wolter, F., Eds. Studies in Logic and Practical Reasoning, vol. 3. North-Holland, 184.CrossRefGoogle Scholar
Chagrov, A. V. and Rybakov, M. N. 2002. How many variables does one need to prove PSPACE-hardness of modal logics. In Advances in Modal Logic 4, Papers from the Fourth Conference on “Advances in Modal Logic,” Held in Toulouse, France, 30 September–2 October 2002, Balbiani, P., Suzuki, N., Wolter, F. and Zakharyaschev, M., Eds. King’s College Publications, 7182.Google Scholar
Chen, C. and Lin, I. 1994. The complexity of propositional modal theories and the complexity of consistency of propositional modal theories. In Logical Foundations of Computer Science, Third International Symposium, LFCS’94, St. Petersburg, Russia, July 11–14, 1994, Proceedings, 69–80.Google Scholar
Cook, S. A. 1971. The complexity of theorem-proving procedures. In Proceedings of the 3rd Annual ACM Symposium on Theory of Computing, May 3–5, 1971, Shaker Heights, Ohio, USA, Harrison, M. A., Banerji, R. B. and Ullman, J. D., Eds. ACM, 151158.Google Scholar
Demri, S. and de Nivelle, H. 2005. Deciding regular grammar logics with converse through first-order logic. Journal of Logic, Language and Information 14, 3, 289329.Google Scholar
Gogacz, T., Gutiérrez-Basulto, V., Ibáñez-Garca, Y., Jung, J. C. and Murlak, F. 2019. On finite and unrestricted query entailment beyond SQ with number restrictions on transitive roles. In Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019, Macao, China, August 10–16, 2019. ijcai.org, 1719–1725.Google Scholar
Gutiérrez-Basulto, V., Ibáñez-Garca, Y. A. and Jung, J. C. 2017. Number restrictions on transitive roles in description logics with nominals. In Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, February 4–9, 2017, San Francisco, California, USA, 1121–1127.Google Scholar
Kazakov, Y. and Pratt-Hartmann, I. 2009. A note on the complexity of the satisfiability problem for graded modal logics. In Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, LICS 2009, 11–14 August 2009, Los Angeles, CA, USA, 407–416.Google Scholar
Kazakov, Y., Sattler, U. and Zolin, E. 2007. How many legs do I have? non-simple roles in number restrictions revisited. In Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15–19, 2007, Proceedings, 303317.Google Scholar
Ladner, R. E. 1977. The computational complexity of provability in systems of modal propositional logic. SIAM Journal on Computing 6, 3, 467480.CrossRefGoogle Scholar
Lutz, C. 2002. The Complexity of Reasoning with Concrete Domains. Ph.D. thesis, LuFG Theoretical Computer Science, RWTH-Aachen, Germany.Google Scholar
Pratt-Hartmann, I. 2005. Complexity of the two-variable fragment with counting quantifiers. Journal of Logic, Language and Information 14, 3, 369395.Google Scholar
Pratt-Hartmann, I. 2007. Complexity of the guarded two-variable fragment with counting quantifiers. Journal of Logic and Computation 17, 1, 133155.Google Scholar
Pratt-Hartmann, I. 2008. On the computational complexity of the numerically definite syllogistic and related logics. Bulletin of Symbolic Logic 14, 1, 128.Google Scholar
Tobies, S. 2001a. Complexity Results and Practical Algorithms for Logics in Knowledge Representation. Ph.D. thesis, RWTH-Aachen, Germany.Google Scholar
Tobies, S. 2001b. PSPACE reasoning for graded modal logics. Journal of Logic and Computation 11, 1, 85106.Google Scholar
Zolin, E. 2017. Undecidability of the transitive graded modal logic with converse. Journal of Logic and Computation 27, 5, 13991420.Google Scholar
You have Access
Open access

Send article to Kindle

To send this article to your Kindle, first ensure no-reply@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle. Find out more about sending to your Kindle.

Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

Completing the Picture: Complexity of Graded Modal Logics with Converse
Available formats
×

Send article to Dropbox

To send this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Dropbox.

Completing the Picture: Complexity of Graded Modal Logics with Converse
Available formats
×

Send article to Google Drive

To send this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Google Drive.

Completing the Picture: Complexity of Graded Modal Logics with Converse
Available formats
×
×

Reply to: Submit a response

Please enter your response.

Your details

Please enter a valid email address.

Conflicting interests

Do you have any conflicting interests? *