Finite-valued lukasiewicz modal logic is PSPACE-complete

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2011, Pages 774-779

  Bou, Félix ^a   Cerami, Marco ^b   Esteva, Francesc ^b  

^a UNIVERSITY OF BARCELONA   (Spain)

^b ARTIFICIAL INTELLIGENCE RESEARCH INSTITUTE IIIA CSIC   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

CLASSICAL MODAL LOGIC; DELTA OPERATORS; MODAL LOGIC; PSPACE-COMPLETE; PSPACE-COMPLETE PROBLEMS; SATISFIABILITY;

ARTIFICIAL INTELLIGENCE;

FORMAL LOGIC;

EID: 84868025253     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.5591/978-1-57735-516-8/IJCAI11-136     Document Type: Conference Paper

References (11)

1. F. Baader and et al., editors. The description logic handbook: theory, implementation, and applications. Cambridge Univ. Press, 2003.
2. P. Blackburn, M. de Rijke, and Y. Venema. Modal logic. Cambridge Univ. Press, 2001.
3. F. Bobillo and U. Straccia. Towards a crisp representation of fuzzy description logics under Łukasiewicz semantics. In Foundations of intelligent systems, volume 4994 of LNCS, pages 309-318. 2008.
4. F. Bou, F. Esteva, L. Godo, and R. Rodríguez.On the minimum many-valued modal logic over a finite residuated lattice. Journal of Logic and Computation. To appear, doi:10.1093/logcom/exp062.
5. M. Cerami, A. García-Cerdaña, and F. Esteva. From classical description logic to n-graded fuzzy description logics. In P. Sobrevilla, editor, Proc. FUZZ-IEEE 2010, pages 1506-1513, 2010.
6. R. Cignoli, I. M. L. D'Ottaviano, and D. Mundici. Algebraic foundations of many-valued reasoning. Kluwer, 2000.
7. P. Hájek. Metamathematics of fuzzy logic. Kluwer, 1998.
8. P. Hájek. Making fuzzy description logic more general. Fuzzy Sets and Systems, 154(1):1-15, 2005. (Pubitemid 40710184)
9. R. E. Ladner. The computational complexity of provability in systems of modal propositional logic. SIAM J. Comput., 6(3):467-480, 1977.
10. K. Schild. A correspondence theory for terminological logics: Preliminary report. In IJCAI, pages 466-471, 1991.
11. U. Straccia. A fuzzy description logic for the semantic web. In Elie Sanchez, editor, Fuzzy Logic and the Semantic Web, chapter 4, pages 73-90. 2006.