A logic for complete information systems

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

Volumn 5590 LNAI, Issue , 2009, Pages 829-840

  Khan, Md Aquil ^a   Banerjee, Mohua ^a  

^a INDIAN INSTITUTE OF TECHNOLOGY KANPUR   (India)

Author keywords

[No Author keywords available]

Indexed keywords

COMPLETE INFORMATION; DEDUCTIVE SYSTEMS;

COMPUTABILITY AND DECIDABILITY; INFORMATION SYSTEMS;

ARCTIC ENGINEERING;

EID: 69049104361     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02906-6_71     Document Type: Conference Paper

References (12)

1. Balbiani, P.: Axiomatization of logics based on Kripke models with relative accessibility relations. In: Orłowska, E. (ed.) Incomplete Information: Rough Set Analysis, pp. 553-578. Physica Verlag, Heidelberg (1998)
2. Balbiani, P., Orłowska, E.: A hierarchy of modal logics with relative accessibility relations. Journal of Applied Non-Classical Logics 9(2-3), 303-328 (1999)
3. Banerjee, M., Khan, M.A.: Propositional logics from rough set theory. In: Peters, J.F., Skowron, A., Düntsch, I., Grzymała-Busse, J.W., Orłowska, E., Polkowski, L. (eds.) Transactions on Rough Sets VI. LNCS, vol. 4374, pp. 1-25. Springer, Heidelberg (2007)
4. Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)
5. Demri, S., Orłowska, E.: Incomplete Information: Structure, Inference, Complexity. Springer, Heidelberg (2002)
6. Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. MIT Press, Cambridge (1995)
7. Orłowska, E.: Dynamic information systems. Fundamenta Informaticae 5, 101-118 (1982)
8. Orłowska, E.: Logic of nondeterministic information. Studia Logica 44(1), 91-100 (1985)
9. Orłowska, E.: Logic of indiscernibility relations. In: Goos, G., Hartmanis, J. (eds.) SCT 1984. LNCS, vol. 208, pp. 177-186. Springer, Heidelberg (1985)
10. Orłowska, E.: Kripke semantics for knowledge representation logics. Studia Logica 49(2), 255-272 (1990)
11. Pawlak, Z.: Rough Sets. Theoretical Aspects of Reasoning about Data. Kluwer Academic Publishers, Dordrecht (1991)
12. Vakarelov, D.: Abstract characterization of some knowledge representation systems and the logic NIL of nondeterministic information. In: Jorrand, Ph., Sgurev, V. (eds.) Artificial Intelligence II, pp. 255-260. North-Holland, Amsterdam (1987)