Uniform interpolation by resolution in modal logic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5293 LNAI, Issue , 2008, Pages 219-231

  Herzig, Andreas ^a   Mengin, Jérôme ^a  

^a IRIT   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CONJUNCTIVE NORMAL FORMS; DISJUNCTIVE NORMAL FORMS; INTERPOLANT; INTERPOLATION PROPERTIES; MODAL FORMULAS; MODAL LOGICS; PROPOSITIONAL LOGICS;

ARTIFICIAL INTELLIGENCE; BIONICS; DIFFERENTIATION (CALCULUS); INTERPOLATION;

LEARNING SYSTEMS;

EID: 56649083390     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-87803-2_19     Document Type: Conference Paper

References (13)

1. D'Agostino, G., Lenzi, G.: On modal mu-calculus with explicit interpolants. Journal of Applied Logic 4(3), 256-278 (2006)
2. Kohlas, J., Moral, S., Haenni, R.: Propositional Information Systems. Journal of Logic and Computation 9(5), 651-681 (1999)
3. Lang, J., Marquis, P.: Resolving inconsistencies by variable forgetting. In: Fensel, D., Giunchiglia, F., McGuinness, D.L., Williams, M.A. (eds.) Proceedings of the Eights International Conference on Principles of Knowledge Representation and Reasoning (KR 2002), pp. 239-250. Morgan Kaufmann, San Francisco (2002)
4. Visser, A.: Bisimulations, model descriptions and propositional quantifiers. In: Hájek, P. (ed.) Gödel 1996: Logical foundations of mathematics, computer science and physics - Kurt Gödel's legacy. A K Peters Ltd (2001)
5. Ghilardi, S., Zawadowski, M.W.: Undefinability of propositional quantifiers in the modal system s4. Studia Logica 55(2), 259-271 (1995)
6. Ghilardi, S., Zawadowski, M.W.: Sheaves, Games, and Model Completions. Trends in Logic, vol. 14. Kluwer, Dordrecht (2002)
7. Bílková, M.: Uniform interpolation and propositional quantifiers in modal logics. Studia Logica 85, 1-31 (2007)
8. Kracht, M.: Modal consequence relations. In: Blackburn, P., van Benthem, J., Wolter, F. (eds.) Handbook of Modal Logic. Elsevier, Amsterdam (2006)
9. Bienvenu, M.: Prime Implicates and Prime Implicants in Modal Logic. In: Holte, R.C., Howe, A. (eds.) Proceedings of the 22nd National Conference on Artifcial Intelligence (AAAI 2007), pp. 379-384. AAAI Press, Menlo Park (2007)
10. Enjalbert, P., del Cerro, L.F.: Modal resolution in clausal form. Theoretical Computer Science 65(1), 1-33(1989)
11. ten Cate, B., Conradie, W., Marx, M., Venema, Y.: Definitorially complete description logics. In: Doherty, P., Mylopoulos, J., Welty, C.A. (eds.) Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), pp. 79-89. AAAI Press, Menlo Park (2006)
12. Besnard, P., Quiniou, R., Quinton, P.: A theorem prover for a decidable subset of default logic. In: Proceedings of the Third National Conference on Artificial Intelligence, pp. 27-30. Morgan Kaufmann, San Francisco (1983)
13. Areces, C., de Rijke, M., de Nivelle, H.: Resolution in modal, description and hybrid logic. Journal of Logic and Computation 11(5), 717-736 (2001)