Product of converse PDL and polymodal K

Journal of Logic and Computation

Volumn 10, Issue 2, 2000, Pages 223-251

  Wolter, Frank ^a  

^a UNIVERSITY OF LEIPZIG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN FUNCTIONS; COMPUTATIONAL METHODS; FINITE ELEMENT METHOD; SET THEORY; THEOREM PROVING;

DESCRIPTION LOGIC; DYNAMIC LOGIC; KRIPKE FRAMES; MODAL LOGIC;

FORMAL LOGIC;

EID: 0033731435     PISSN: 0955792X     EISSN: None     Source Type: Journal    
DOI: 10.1093/logcom/10.2.223     Document Type: Article

References (35)

1. F. Baader and A. Laux. Terminological logics with modal operators. In Proceedings of the 14th International Joint Conference on Artificial Intelligence, Montreal, Canada, pp. 808-814, Morgan Kaufman, 1995.
2. F. Baader and H. J. Ohlbach. A multi-dimensional terminological knowledge representation language. Journal of Applied Non-Classical Logic, 5, 153-197, 1995.
3. R. J. Brachman and J. G. Schmolze. An overview of the KL-ONE knowledge representation system. Cognitive Science, 9, 171-216, 1985.
4. A. V. Chagrov and M. V. Zakharyaschev. Modal Logic. Clarendon Press, Oxford, 1997.
5. G. de Giacomo and M. Lenzerini. Pdl-based framework for reasoning about actions. In Proceedings of the fourth Congress of the Italian Association for Artificial Intelligence, pp. 103-114. Springer-Verlag, 1995.
6. F. Donini, M. Lenzerini, D. Nardi and W. Nutt. The complexity of concept languages. In Proceedings of the second Conference on Principles of Knowledge Representation and Reasoning. Morgan Kaufman, 1991.
7. F. Donini, M. Lenzerini, D. Nardi and A. Schaerf. Reasoning in description logics. In Principles of Knowledge Representation, G. Brewka, ed. pp. 191-236. CSLI Publications, 1996.
8. R. Fagin, J. Halpern, Y. Moses and M. Vardi. Reasoning about Knowledge. MIT Press, 1995.
9. M. Finger and D. Gabbay. Adding a temporal dimension to a logic system. Journal of Logic, Language and Information, 2, 203-233, 1992.
10. M. Fischer and N. Immerman. Interpreting logics of knowledge in propositional dynamic logic with converse. Information Processing Letters, pp. 175-181, 1987.
11. D. Gabbay, I. Hodkinson, and M. Reynolds. Temporal Logic. Oxford University Press, 1994.
12. D. Gabbay and V. Shehtman. Products of modal logics, part 1. Journal of the IGPL, 6, 73-146, 1998.
13. A. Gräber, H. Bürckert, and A. Laux. Terminological reasoning with knowledge an belief. In Knowledge and Belief in Philosophy and Artificial Intelligence, A. Laux and H. Wansing, eds. pp. 29-61. Akademie Verlag, 1995.
14. J. Halpern and Yo. Moses. A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence, 54, 319-379, 1992.
15. D. Harel. Dynamic logic. In Handbook of Philosophical Logic, volume 2, D. Gabbay and F. Guenthner, eds. pp. 497-604. Reidel, Dordrecht, 1984.
16. A. Laux. Beliefs in multi-agent worlds: a terminological approach. In Proceedings of the 11 th European Conference on Artificial Intelligence, pp. 299-303, Amsterdam, 1994.
17. M. Marx. Complexity of products of modal logics. To appear in the Journal of Logic and Computation, 1999.
18. M. Marx and Y. Venema. Multi dimensional modal logic. Kluwer Academic Publishers, 1997.
19. J. J. Meyer. A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic. Notre Dame Journal of Formal Logic, 29, 109-136, 1988.
20. I. Nemeti. Decidable versions of first order predicate logic and cylindric relativized set algebras. In Logic Colloquium 92. L. Csirmaz, D. Gabbay, and M. De Rijke, eds. CSLI Publications, 1995.
21. H. Prendinger and G. Schurz. Reasoning about action and change. Journal of Logic, Language and Information, 5,209-245, 1996.
22. M. Reynolds. A decidable temporal logic of parallelism. Notre Dame Journal of Formal Logic, 38, 3):419-436, Summer 1997.
23. M. Reynolds and M. Zakharyaschev. On the products of linear modal logics, in preparation, 1999.
24. K. Schild. A correspondence theory for terminological logics: preliminary report. In Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI-91), pp. 466-471, Sydney, 1991.
25. K. Schild. Combining terminological logics with tense logic. In Proceedings of the 6th Portuguese Conference on Artificial Intelligence, pp. 105-120, Porto, 1993.
26. M. Schmidt-Schauß and G. Smolka. Attributive concept descriptions with complements. Artificial Intelligence, 48, 1-26, 1991.
27. A. Schmiedel. A temporal terminological logic. In Proceedings of the 9th National Conference of the American Association for Artificial Intelligence, pp. 640-645, Boston, 1990.
28. K. Segerberg. Applying modal logic. Studia Logica, 39, 275-295, 1980.
29. Y. Venema and M. Marx. A modal logic of relations. In E. Orlowska, ed. Logic at Work: Essays dedicated to the Memory of Elena Rasiowa, Berlin/Heidelberg, 1999. Springer Verlag.
30. F. Wolter. Completeness and decidability of tense logics closely related to logics containing K4. Journal of Symbolic Logic, 62,131-158, 1997.
31. F. Wolter. All finitely axiomatizable subframe logics containing CSM are decidable. Archive for Mathematical Logic, 37,167-182, 1998.
32. F. Wolter and M. Zakharyaschev. Dynamic description logic. In Proceedings of AiML'98, Uppsala, 1998. To appear in Advances in Modal Logic. Volume 11, CSLI Publications, Stanford, 1999. See http://wvw.informatik.uni-leipzig.de/∼wolter.
33. F. Wolter and M. Zakharyaschev. Satisfiability problem in description logics with modal operators. In Proceedings of the sixth Conference on Principles of Knowledge Representation and Reasoning, Montreal, Canada, 1998. Morgan Kaufman.
34. F. Wolter and M. Zakharyaschev. Temporalizing description logics. In Proceedings of FroCoS'98, Amsterdam, 1998. To appear in Frontiers of Combining Systems, Kluwer Academic Publishers, 1999. See http : //www. informatik .uni-leipzig. de/∼wolter.
35. F. Wolter and M. Zakharyaschev. Multi-dimensional description logics. Appears in the Proceedings of the 16th International Joint Conference on Artificial Intelligence, IJCAI 1999, 1999.