Decidable fragments of first-order modal logics

Journal of Symbolic Logic

Volumn 66, Issue 3, 2001, Pages 1415-1438

  Wolter, Frank ^a   Zakharyaschev, Michael ^b  

^a UNIVERSITY OF LEIPZIG   (Germany)

^b KING'S COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0035629553     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2307/2695115     Document Type: Article

References (51)

1. H. ANDRÉKA, J. VAN BENTHEM, and I. NÉMETI, Modal languages and bounded fragments of predicate logic, Journal of Philosophical Logic, vol. 27 (1998), pp. 217-274.
2. S. ARTEMOV and G. DZHAPARIDZE, Finite Kripke models and predicate logics of provability, this JOURNAL, vol. 55 (1990), pp. 1090-1098.
3. F. BAADER and A. LAUX, Terminological logics with modal operators, Proceedings of the 14th International Joint Conference on Artificial Intelligence (Montreal, Canada), Morgan Kaufman, 1995, pp. 808-814.
4. F. BAADER and H.J. OHLBACH, A multi-dimensional terminological knowledge representation language, Journal of Applied Non-Classical Logic, vol. 5 (1995), pp. 153-197.
5. H. BEHMANN, Beiträge zur Algebra der Logik, inbesondere zum Entscheidungsproblem, Math. Ann., vol. 86 (1922), pp. 163-229.
6. E. BÖRGER, E. GRÄDEL, and Yu. GUREVICH, The classical decision problem, Perspectives in Mathematical Logic, Springer, 1997.
7. R.J. BRACHMAN and J.G. SCHMOLZE, An overview of the KL-ONE knowledge representation system, Cognitive Science, vol. 9 (1985), pp. 171-216.
8. D. CALVANESE, G. DE GIACOMO, D. NARDI, and M. LENZERINI, Reasoning in expressive description logics, Handbook of automated reasoning (A. Robinson and A. Voronkov, editors), Elsevier Science Publishers B.V., 2000, In print.
9. A.V. CHAGROV and M.V. ZAKHARYASCHEV, Modal logic, Oxford Logic Guides 35, Clarendon Press, Oxford, 1997.
10. G. FISCHER-SERVI, The finite model property for MIPQ and some consequences, Notre Dame Journal of Formal Logic, vol. 19 (1978), pp. 687-692.
11. D. GABBAY and V. SHEHTMAN, Undecidability of modal and intermediate first-order logics with two individual variables, this JOURNAL, vol. 58 (1993), pp. 800-823.
12. _, Products of modal logics. Part I, Journal of the IGPL, vol. 6 (1998), pp. 73-146.
13. _, Products of modal logics. Part II, Journal of the IGPL, vol. 8 (2000).
14. H. GANZINGER, C. MEYER, and M. VEANES, The two-variable guarded fragment with transitive relations, Proceedings of the 14th ieee symposium, 1999, pp. 24-34.
15. G. DE GIACOMO, Decidability of class-based knowledge representation formalisms, Ph.D. thesis, Univ. di Roma, 1995.
16. G. DE GIACOMO and M. LENZERINI, TBox and ABox reasoning in expressive description logics, Proceedings of the fifth conference on principles of knowledge representation and reasoning (Montreal, Canada), Morgan Kaufman, 1996.
17. A. GRÄBER, H. BÜRCKERT, and A. LAUX, Terminological reasoning with knowledge and belief, Knowledge and belief in philosophy and artificial intelligence (A. Laux and H. Wansing, editors), Akademie Verlag, 1995, pp. 29-61.
18. E. GRÄDEL, Decision procedures for guarded logics, Automated Deduction - CADE-16, Proceedings of the 16th International Conference on Automated Deduction, Lecture Notes in Artificial Intelligence, vol. 1632, Springer, 1999.
19. E. GRÄDEL, On the restraining power of guards, this JOURNAL, vol. 64 (1999), pp. 1719-1742.
20. D. HAREL, Effective transformations on infinite trees, with applications to high undecidability, dominoes, and fairness, Journal of the ACM, vol. 33 (1986), pp. 224-248.
21. R. HIRSCH, I. HODKINSON, and A. KURUCZ, On modal logics between K × K × K and S 5 × S 5 × S 5, Manuscript; available at http://www.doc.ic.ac.uk /∼kuag/k3undec.ps, 2000.
22. I. HODKINSON, Loosely guarded fragment has the finite model property, Manuscript; available at http://www.doc.ic.ac.uk /∼imh, 2000.
23. I. HODKINSON, F. WOLTER, and M. ZAKHARYASCHEV, Decidable fragments of first-order temporal logics, Annals of Pure and Applied Logic, (2000), In print.
24. G.E. HUGHES and M.J. CRESSWELL, A new introduction to modal logic, Methuen, London, 1996.
25. S. KRIPKE, The undecidability of monadic modal quantificational theory, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 8 (1962), pp. 113-116.
26. A. LAUX, Beliefs in multi-agent worlds: a terminological approach, Proceedings of the 11th european conference on artificial intelligence (Amsterdam), 1994, pp. 299-303.
27. L. LÖWENHEIM, Über Möglichkeiten im Relativkalkül, Mathematische Annalen, vol. 76 (1915), pp. 447-470.
28. C. LUTZ, H. STURM, F. WOLTER, and M. ZAKHARYASCHEV, A tableau for K based on script Aℒscript C with constant domains, Manuscript; available at http://www.informatik.uni-leipzig.de/∼wolter, 2000.
29. M. MARX, Packed fragment and relativized semantics, Manuscript, ILLC, University of Amsterdam, 1998.
30. _, Complexity of products of modal logics, Journal of Logic and Computation, vol. 9 (1999), pp. 197-214.
31. M. MORTIMER, On languages with two variables, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 21 (1975), pp. 135-140.
32. W.C. PURDY, Fluted formulas and the limits of decidability, this JOURNAL, vol. 61 (1996), pp. 608-620.
33. K. SCHILD, A correspondence theory for terminological logics: preliminary report, Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI-91) (Sydney), 1991, pp. 466-471.
34. _, Combining terminological logics with tense logic, Proceedings of the 6th portuguese conference on artificial intelligence (Porto), 1993, pp. 105-120.
35. M. SCHMIDT-SCHAUß and G. SMOLKA, Attributive concept descriptions with complements, Artificial Intelligence, vol. 48 (1991), pp. 1-26.
36. D. SCOTT, A decision method for validity of sentences in two variables, this JOURNAL, vol. 27 (1962), p. 477.
37. K. SEGERBERG, Two-dimensional modal logic, Journal of Philosophical Logic, vol. 2 (1973), pp. 77-96.
38. V. SHEHTMAN, On some two-dimensional modal logics, Proceedings of the 8th International Congress on Logic, Methodology, and Philosophy of Science (Moscow), vol. 1, 1987, pp. 326-330.
39. E. SPAAN, Complexity of modal logics, Ph.D. thesis, Department of Mathematics and Computer Science, University of Amsterdam, 1993.
40. H. STURM and F. WOLTER, A tableau calculus for temporal description logic: expanding domain case, Journal of Logic and Computation, to appear.
41. H. STURM, F. WOLTER, and M. ZAKHARYASCHEV, Monodic epistemic predicate logic, Proceedings of JELIA, Lecture Notes in Artificial Intelligence, Springer, 2000.
42. J. SURÁNYI, Zur Reduktion des Entscheidungsproblems des logischen Funktionskalküls, Mathematikai és Fizikai Lepok, vol. 50 (1943), pp. 51-74.
43. J. VAN BENTHEM, Exploring logical dynamics, CSLI Publications, Stanford, 1996.
44. _, Dynamic bits and pieces, Technical Report LP-97-01, ILLC, University of Amsterdam, 1997.
45. M. WAJSBERG, Ein erweiter Klassenkalkül, Monatshefte für Mathematik und Physik, vol. 40 (1933), pp. 113-126.
46. F. WOLTER and M. ZAKHARYASCHEV, Satisfiability problem in description logics with modal operators, Proceedings of the sixth Conference on Principles of Knowledge Representation and Reasoning (Montreal, Canada), Morgan Kaufman, 1998, pp. 512-523.
47. _, Modal description logics: modalizing roles, Fundamenta Informaticae, vol. 39 (1999), pp. 411-438.
48. F. WOLTER and M. ZAKHARYASCHEV, Axiomatizing the monadic fragment of first-order temporal logic, Manuscript; available at http://www.informatik.uni-leipzig.de/∼wolter, 2000.
49. F. WOLTER and M. ZAKHARYASCHEV, Dynamic description logic, Advances in modal logic, volume 2 (M. Zakharyaschev, K. Segerberg, M. de Rijke, and H. Wansing, editors), CSLI Publications, 2000.
50. _, Temporalizing description logics, Frontiers of combining systems 2 (Baldock, England) (D. Gabbay and M. de Rijke, editors), Research Studies Press Ltd, 2000, pp. 379-401.
51. N. ZAMOV, Maslov's inverse method and decidable classes, Annals of Pure and Applied Logic, vol. 42 (1989), pp. 165-194.