A class of decidable information logics

Theoretical Computer Science

Volumn 195, Issue 1, 1998, Pages 33-60

  Demri, Stéphane ^a  

^a CNRS   (France)

Author keywords

Decidability; Finite model property; Information system; Local agreement condition; Multimodal logic

Indexed keywords

EID: 0012100017     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(97)00157-6     Document Type: Article

References (44)

1. P. Balbiani, A modal logic for data analysis, in: W. Penczek, A. Szalas (Eds.), 21st Symp. on Mathematical Foundations of Computer Sciences (MFCS'96), Krakow, Lecture Notes in Computer Science, vol. 1113, Springer, Berlin, 1996, pp. 167-179.
2. P. Balbiani, Axiomatization of logics based on Kripke models with relative accessibility relations, in: E. Orłowska (Ed.), Rough Set Systems for Modelling and Processing Incomplete Information, Springer, 1997, to appear.
3. J. van Benthem, Correspondence theory, in: D. Gabbay, F. Günthner (Eds.), Handbook of Philosophical Logic, vol. II, Reidel, Dordrecht, 1984, pp. 167-247.
4. C. Cerrato, Decidability by filtrations for graded normal logics (graded modalities V), Studia Logica 53 (1) (1994) 61-73.
5. P. Chatalic, Viewing hypothesis theories as constrained graded theories, in: C. MacNish, D. Pearce, L. Pereira (Eds.), JELIA-4, Lecture Notes in Artificial Intelligence, vol. 838, Springer, Berlin, 1994, pp. 261-278.
6. St. Demri, A class of information logics with a decidable validity problem, in: W. Penczek, A. Szalas (Eds.), 21st Symp. on Mathematical Foundations of Computer Sciences (MFCS'96), Krakow, Lecture Notes in Computer Science, vol. 1113, Springer, Berlin, 1996, pp. 291-302.
7. St. Demri, The validity problem for the logic DALLA is decidable, Bull. Polish Academy Sci. 44 (1) (1996) 79-86.
8. St. Demri, E. Orłowska, Logical analysis of indiscernibility, in: E. Orłowska (Ed.), Rough Set Systems for Modelling and Processing Incomplete Information, Springer, Berlin, 1997, to appear.
9. R. Fagin, J. Halpern, Y. Moses, M. Vardi, Reasoning About Knowledge, The MIT Press, Cambridge, MA, 1995.
10. L. Farinas del Cerro, E. Orłowska, DAL - A logic for data analysis, Theoret. Comput. Sci. 36 (1985) 251-264. Corrigendum in Theoret. Comput. Sci. 47 (1986) 345.
11. D. Gabbay, A general filtration method for modal logics, J. Philos. Logic 1 (1972) 29-34.
12. G. Gargov, Two completeness theorems in the logic for data analysis, Tech. Report 581, Institute of Computer Science, Polish Academy of Sciences, Warsaw, 1986.
13. R. Goldblatt, Logics of Time and Computation, Lecture Notes 7, CSLI Stanford, 2d ed., 1992.
14. J. Halpern, Y. Moses, A guide to completeness and complexity for modal logics of knowledge and belief, Artificial Intelligence 54 (1992) 319-379.
15. W. van der Hoek, J.-J. Meyer, Graded modalities in epistemic logic, Logique Analyse 133-134 (1991) 251-270.
16. G. Hughes, M. Cresswell, An Introduction to Modal Logic, Methuen and Co., London, 1968.
17. G. Hughes, M. Cresswell, A Companion to Modal Logic. Methuen, London, 1984.
18. B. Konikowska, A formal language for reasoning about indiscernibility, Bull. Polish Academy Sci. 35 (1987) 239-249.
19. B. Konikowska, A logic for reasoning about relative similarity, Studia Logica 58(1) (1997) 185-226.
20. R. Ladner, The computational complexity of provability in systems of modal propositional logic SIAM J. Comput. 6(3) (1977) 467-480.
21. 3 is undecidable, J. Symbolic Logic 45(2) (1980) 311-316.
22. D. Makinson, On some completeness theorems in modal logic, J. Symbolic Logic 12 (1966) 379-384.
23. M. Marx, S. Mikulás, I. Németi, Taming logic, J. Logic Language Inform. 4 (1995) 207-226.
24. S. Mikulás, Taming logics, Ph.D. Thesis, Amsterdam University, Intstitute for Logic, Language and Computation, September 1995.
25. A. Nakamura, On a logic based on fuzzy modalities, in: 22nd Internat. Symp. on Multiple-Valued Logic, Sendai, IEEE Computer Society Press, Silver Spring, MD, 1992, pp. 460-466.
26. A. Nakamura, On a logic based on graded modalities, IEICE Trans. E76-D(5) (1993) 527-532.
27. E. Orłowska, Logic of indiscernibility relations, in: A. Skowron (Ed.), Computation Theory, 5th Symp., Zaborów, Poland, Lecture Notes in Computer Science, vol. 208, Springer, Berlin, 1984, pp. 177-186.
28. E. Orłowska, Logic approach to information systems Fundam. Inform. 8 (1985) 361-379.
29. E. Orłowska, Kripke models with relative accessibility and their applications to inferences from incomplete information, in: G. Mirkowska, H. Rasiowa (Eds.), Mathematical Problems in Computation Theory, Banach Center Publications, vol. 21, PWN - Polish Scientific Publishers, Warsaw, 1988, pp. 329-339.
30. E. Orłowska, Logic for reasoning about knowledge, Z. Math. Logik Grundlagen Math. 35 (1989) 559-568.
31. E. Orłowska, Z. Pawlak, Expressive power of knowledge representation systems, Int. J. Man-Machines Stud. 20 (1984) 485-500.
32. E.A. Palyutin, Coverings by classes of permutable equivalence relations, Algebra Logic 34(3) (1995) 173-176.
33. Z. Pawlak, Information systems theoretical foundations, Inform. Systems 6(3) (1981) 205-218.
34. Z. Pawlak, Rough sets, Internat. J. Inform. Comput. Sci. 11 (1982) 341-356.
35. Z. Pawlak, Rough sets and fuzzy sets, Fuzzy Sets and Systems 17 (1985) 99-102.
36. Z. Pawlak, Rough Sets - Theoretical Aspects of Reasoning about Data, Kluwer Academic Press, Dordrecht, 1991.
37. K. Segerberg, An essay in classical modal logic (three vols.), Tech. Report Filosofiska Studier nr 13, Uppsala Universitet, 1971.
38. D. Vakarelov, A modal logic for similarity relations in Pawlak knowledge representation systems, Fundam. Inform. 15 (1991) 61-79.
39. D. Vakarelov, Modal logics for knowledge representation systems, Theort. Comput. Sci. 90 (1991) 433-456.
40. D. Vakarelov, Information systems, similarity and modal logics, in: E. Orłowska (Ed.), Rough Set Systems for Modelling and Processing Incomplete Information, Springer, Berlin, 1997, to appear.
41. A. Waaler, A multi-modal logic for defeasible reasoning, Theoria, to appear.
42. F. Wolter, Lattices of modal logics. Ph.D. Thesis, University of Berlin, August 1993.
43. M.-S. Ying, On standard models of fuzzy modal logics, Fuzzy Sets and Systems 26 (1988) 357-363.
44. L. Zadeh, Similarity relations and fuzzy orderings, Inform. Systems 3 (1971) 177-200.