Arrow Logic with Arbitrary Intersections: Applications to Pawlak's Information Systems

• Autorzy: Balbiani P. , Vakarelov D.
• Języki publikacji: EN

Abstrakty

EN

We dedicate this paper to the memory of Zdislaw Pawlak, the founder of rough sets methodology in computer science. A great deal of our scientific work was motivated and influenced by Pawlak's ideas.

Słowa kluczowe

EN

information systems; information relations; information logic

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2007
• Tom: Vol. 75, nr 1-4
• Strony: 1--25
• Opis fizyczny: bibliogr. 25 poz.

Twórcy

autor

Balbiani P.

autor

Vakarelov D.

• Université Paul Sabatier, Institut de recherche en informatique de Toulouse 31062 Toulouse Cedex 9, France,

Bibliografia

• [1] Balbiani, P.: Axiomatization of logics based on Kripke models with relative accessibility relations. In Orłowska, E.. (Editor): Incomplete Information: Rough Set Analysis. Physica-Verlag (1998) 553-578.
• [2] Balbiani, P., Vakarelov, D.: Iteration-free PDL with intersection: a complete axiomatization. Fundamenta Informaticae 45 (2001) 1-22.
• [3] Balbiani, P., Vakarelov, D.: First-order characterization and modal analysis of indiscernibility and complementarity in information systems. In Benferhat, S., Besnard, P. (Editors): Symbolic and Quantitative Approaches to Reasoning with Uncertainty. Springer-Verlag (2001) 772-781.
• [4] Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press (2001).
• [5] Chagrov, A., Zakharyaschev, M.: Modal Logic. Oxford University Press (1997).
• [6] Demri, S.: A class of decidable information logics. Theoretical Computer Science 195 (1998) 33-60.
• [7] Demri, S.: The nondeterministic information logic NIL is PSPACE-complete. Fundamenta Informaticae 42 (2000) 211-234.
• [8] Demri, S., Orłowska, E.: Incomplete Information: Structure, Inference, Complexity. Springer-Verlag (2002).
• [9] Fitting, M.: Proof Methods for Modal and Intuitionistic Logics. Reidel (1983).
• [10] Kracht, M.: Tools and Techniques in Modal Logic. Elsevier Science (1999).
• [11] Harel, D.: Dynamic logic. In Gabbay, D., Guenthner, F. (Editors): Handbook of Philosophical Logic. Volume II. Reidel (1984) 497-604.
• [12] Ladner, R.: The computational complexity of provability in systems of modal logic. SIAM Journal on Computing 6 (1977) 467-480.
• [13] Orłowska, E.: Logic of nondeterministic information. Studia Logica 44 (1985) 91-100.
• [14] Orłowska, E.: Kripke semantics for knowledge representation logics. Studia Logica 49 (1990) 255-272.
• [15] Orłowska, E. (Editor): Incomplete Information: Rough Set Analysis. Physica-Verlag (1998).
• [16] Orłowska, E., Pawlak, Z.: Representation of nondeterministic information. Theoretical Computer Science 29 (1984) 27-39.
• [17] Pawlak, Z.: Information systems - theoretical foundations. Information Systems 6 (1981) 205-218.
• [18] Spaan, E.: Complexity of Modal Logics. Doctoral thesis of Universiteit van Amsterdam (1993).
• [19] Vakarelov, D.: Abstract characterization of some knowledge representation systems and the logic NIL of nondeterministic information. In Jorrand, P., Sgurev, V. (Editors): Artificial Intelligence II: Methodology, Systems, Applications. North-Holland (1987) 255-260.
• [20] Vakarelov, D.: A modal logic for similarity relations in Pawlak knowledge representation systems. Fundamenta Informaticae 15 (1991) 61-79.
• [21] Vakarelov, D.: A modal theory of arrows. Arrow logics I. In Pearce, D., Wagner, G. (Editors): Logics in AI. Springer-Verlag (1992) 1-24.
• [22] Vakarelov, D.: A duality between Pawlak's knowledge representation systems and BI-consequence systems. Studia Logica 55 (1995) 205-228.
• [23] Vakarelov, D.: Many-dimensional arrow structures: arrow logics II. In Marx, M., Pólos, L., Masuch, M. (Editors): Arrow Logic and Multi-Modal Logic. CSLI Publications (1996) 141-187.
• [24] Vakarelov, D.: Information systems, similarity relations and modal logics. In Orłowska, E.. (Editor): Incomplete Information: Rough Set Analysis. Physica-Verlag (1998) 492-550.
• [25] Vakarelov, D.: Hyper arrow structures. Arrow logics III. In Kracht, M., de Rijke, M., Wansing, H., Zakharyaschev,