Conservative extensions in modal logic

Advances in Modal Logic 2006

Volumn 6, Issue , 2006, Pages 187-207

  Ghilardi, Silvio ^a   Lutz, Carsten ^b   Wolter, Frank ^c   Zakharyaschev, Michael ^d  

^a UNIVERSITY OF MILAN   (Italy)

^b DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

^c UNIVERSITY OF LIVERPOOL   (United Kingdom)

^d UNIVERSITY OF LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMIC PROBLEMS; CONSEQUENCE RELATIONS; CONSERVATIVE EXTENSIONS; INTERPOLANTS; LINEAR ORDER; MODAL FORMULAS; MODAL LOGIC; PROPOSITIONAL VARIABLES;

FORMAL LOGIC;

EID: 53049095299     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)

1. G. Antoniou and K. Kehagias. A note on the refinement of ontologies. International Journal of Intelligent Systems, 15:623-632, 2000.
2. A. Chagrov and M. Zakharyaschev. Modal Logic. Oxford University Press, Oxford, 1997.
3. T. French. Bisimulation Quantifiers for Modal Logics. PhD thesis, University of Western Australia, 2006.
4. D. Gabbay and V. Shehtman. Products of modal logics. Part I. Logic Journal of the IGPL, 6:73-146, 1998.
5. S. Ghilardi. An algebraic theory of normal forms. Annals of Pure and Applied Logic, 71(3):189-245, 1995.
6. S. Ghilardi, C. Lutz, and F. Wolter. Did I damage my ontology? A case for conservative extensions in description logics. In Proceedings of the Tenth International Conference of Principles of Knowledge Representation and Reasoning, 187-197, 2006.
7. S. Ghilardi, C. Lutz, F. Wolter, and M. Zakharyaschev. Conservative extensions in modal logic. http://www.csc.liv.ac.uk/~frank/publ/publ.html, 2006.
8. S. Ghilardi and M. Zawadowski. Undefinability of propositional quantifiers in the modal system S4. Studia Logica, 55(2):259-271, 1995.
9. V. Goranko and M. Otto. Modal model theory. In J. van Benthem, P. Blackburn, and F. Wolter, editors, Handbook of Modal Logic. Elsevier, 2006.
10. M. Kracht. Modal consequence relations. In J. van Benthem, P. Blackburn, and F. Wolter, editors, Handbook of Modal Logic. Elsevier, 2006.
11. C. Papadimitriou. Computational Complexity. Addison Wesley, 1995.
12. A. Pitts. On an interpretation of second-order quantification in first-order intuitionistic propositional logic. Journal of Symbolic Logic, 57(1):33-52, 1992.
13. M. Reynolds and M. Zakharyaschev. On the products of linear modal logics. Journal of Logic and Computation, 11:909-931, 2001.
14. B. ten Cate, W. Conradie, M. Marx, and Y. Venema. Definitorially complete description logics. In Proceedings of the Tenth International Conference of Principles of Knowledge Representation and Reasoning, 79-89, 2006.
15. W.M. Turski and T. Maibaum. The Specification of Computer Programs. Addison-Wesley, 1987.
16. P. van Emde Boas. The convenience of tilings. In A. Sorbi, editor, Complexity, Logic and Recursion Theory, volume 187 of Lecture Notes in Pure and Applied Mathematics, pages 331-363. Marcel Dekker Inc., 1997.
17. A. Visser. Uniform interpolation and layered bisimulation. In Gödel'96 (Brno, 1996), volume 6 of Lecture Notes Logic, pages 139-164. Springer, Berlin, 1996.
18. F. Wolter and M. Zakharyaschev. Modal decision problems. In J. van Benthem, P. Blackburn, and F. Wolter, editors, Handbook of Modal Logic. Elsevier, 2006.