Logics for information systems and their dynamic extensions

ACM Transactions on Computational Logic

Volumn 12, Issue 4, 2011, Pages

  Khan, Md Aquil ^a   Banerjee, Mohua ^a  

^a INDIAN INSTITUTE OF TECHNOLOGY KANPUR   (India)

Author keywords

Approximation space; Dynamic epistemic logic; Information system; Modal logic; Rough set

Indexed keywords

APPROXIMATION SPACES; ATTRIBUTE VALUES; COMPLETE AXIOMATIZATIONS; DEDUCTIVE SYSTEMS; DYNAMIC EPISTEMIC LOGIC; DYNAMIC EXTENSION; DYNAMIC LOGIC; INFORMATION UPDATES; MODAL LOGIC; MODAL OPERATORS; ROUGH SET;

COMPUTABILITY AND DECIDABILITY;

INFORMATION SYSTEMS;

EID: 80051949780     PISSN: 15293785     EISSN: 1557945X     Source Type: Journal    
DOI: 10.1145/1970398.1970405     Document Type: Article

References (39)

1. BALBIANI, P. 1998. Axiomatization of logics based on Kripke models with relative accessibility relations. In Incomplete Information: Rough Set Analysis, E. OrLowska, Ed., Physica Verlag, Heidelberg, Germany, 553-578.
2. BALBIANI, P. AND ORLOWSKA, E. 1999. A hierarchy of modal logics with relative accessibility relations. J. Appl. Non-Class. Logics 9, 2-3, 303-328.
3. BALTAG, A. AND MOSS, S. 2004. Logics for epistemic programs. Synthese 139, 2, 165-224. (Pubitemid 44775714)
4. BALTAG, A., MOSS, S., AND SOLECKI, S. 1999. The logic of public announcements, common knowledge, and private suspicions. Tech. rep. SEN-R9922. CWI, Amsterdam, The Netherlands.
5. BANERJEE,M. AND KHAN,M. A. 2007. Propositional logics from rough set theory. Transactions on Rough Sets VI, Lecture Notes in Computer Science, vol. 4374, Springer, Berlin, Germany, 1-25. (Pubitemid 351256435)
6. BANERJEE, M. AND KHAN, M. A. 2008. Rough set theory: A temporal logic view. In Studies in Logic Vol. 15, (Proceedings on Logic, Navya-Nyaya and Applications: Homage to Bimal Krishna Matilal, 2007), M. K. Chakraborty, B. Löwe, M. N. Mitra, and S. Sarukkai, Eds., College Publications, London, U.K., 1-20.
7. BLACKBURN, P., DE RIJKE, M., AND VENEMA, Y. 2001. Modal Logic. Cambridge University Press, Cambridge, U.K.
8. BURMEISTER, P. AND HOLZER, R. 2005. Treating incomplete knowledge in formal concept analysis. In Formal Concept Analysis, B. Ganter, G. Stumme, and R. Wille, Eds., Springer Verlag, Berlin, Germany, 114-126.
9. DEMRI, S. AND ORLOWSKA, E. 2002. Incomplete Information: Structure, Inference, Complexity. Springer, Berlin, Germany.
10. FAGIN, R.,HALPERN, J. Y.,MOSES, Y., AND VARDI,M. Y. 1995. Reasoning About Knowledge.MIT Press, Cambridge, MA.
11. FAGIN, R., HALPERN, J. Y., AND VARDI, M. Y. 1992. What can machines know? On the properties of knowledge in distributed systems. J. ACM 39, 328-376. (Pubitemid 23600404)
12. GERBRANDY, J. 1999. Bisimulations on planet kripke. Ph.D. dissertation. ILLC, University of Amsterdam, Amsterdam, The Netherlands.
13. GRZYMALA-BUSSE, J.W. 1991. Rough set strategies to data with missing attribute values. In Proceedings of the International Symposium on Methodologies for Intelligent Systems. Lecture Notes in Computer Science, vol. 542, Z. W. Rás and M. Zemankova, Eds., Springer, Berlin, Germany, 368-377.
14. GRZYMALA-BUSSE, J. W. AND RZASA,W. 2008. Local and global approximations for incomplete data. Transactions on Rough Sets VIII. Lecture Notes in Computer Science, vol. 5084, Springer, Berlin, Germany, 21-34.
15. KHAN,M. A. 2010. Multiple-source approximation systemns, evolving information systems and corresponding logics: A study in rough set theory. Ph.D. dissertation. Indian Institute of Technology Kanpur, India.
16. KHAN, M. A. AND BANERJEE, M. 2008. Formal reasoning with rough sets in multiple-source approximation systems. Int. J. Approx. Reason. 49, 2, 466-477.
17. KHAN, M. A. AND BANERJEE, M. 2009a. A dynamic logic for multi-agent partial knowledge information systems. In Proceedings of the Logical Methods for Social Concepts Workshop. http://www.irit.fr/Andreas.Herzig/Esslli09/.
18. KHAN,M. A. AND BANERJEE,M. 2009b. A logic for complete information systems. In Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty. Lecture Notes in Artificial Intelligence, vol. 5590, C. Sossai and G. Chemello, Eds. Springer-Verlag, Berlin, Germany, 829-840.
19. KOMOROWSKI, J., PAWLAK, Z., POLKOWSKI, L., AND SKOWRON, A. 1999. Rough sets: A tutorial. In Rough Fuzzy Hybridization: A New Trend in Decision-Making, S. K. Pal and A. Skowron, Eds., Springer Verlag, 3-98.
20. KRYSZKIEWICZ, M. 1998. Rough set approach to incomplete information systems. Inform. Sci. 112, 39-49. (Pubitemid 128649627)
21. KRYSZKIEWICZ, M. 1999. Rules in incomplete information systems. Inform. Sci. 113, 271-292.
22. OBIEDKOV, S. 2002. Modal logic for evaluating formulas in incomplete contexts. In Proceedings of ICCS. Lecture Notes in Artificial Intelligence, vol. 2393. U. Priss, D. Corbett, and G. Angelova, Eds., Springer Verlag, Berlin, Germany, 314-325.
23. ORLOWSKA, E. 1982. Dynamic information system. Fund. Informatic. 5, 101-118.
24. ORLOWSKA, E. 1985a. Logic of indiscernibility relations. In Proceedings of the Symposium on Computation Theory. Lecture Notes in Computer Science, vol. 208. G. Goos and J. Hartmanis, Eds. Springer Verlag, Berlin, Germany, 177-186.
25. ORLOWSKA, E. 1985b. Logic of nondeterministic information. Stud. Logica 1, 91-100.
26. ORLOWSKA, E. 1990. Kripke semantics for knowledge representation logics. Stud. Logica XLIX, 255-272.
27. ORLOWSKA, E. AND PAWLAK, Z. 1984. Representation of nondeterministic information. Theoret. Comp. Sci. 29, 27-39.
28. PAGLIANI, P. 2001. Pretopologies and dynamic spaces. Fund. Informatic. 21, 1001-1019.
29. PAWLAK, Z. 1982. Rough sets. Int. J. Comp. Inf. Sci. 11, 5, 341-356.
30. PAWLAK, Z. 1991. Rough Sets. Theoretical Aspects of Reasoning about Data. Kluwer Academic Publishers, Dordrecht, The Netherlands.
31. RAUSZER, C.M. 1994. Rough logic for multiagent systems. In Knowledge Representation and Reasoning under Uncertainty. Lecture Notes in Artificial Intelligence, vol. 808. M. Masuch and L. Polos, Eds., Springer- Verlag, Berlin, Germany, 161-181.
32. SKOWRON, A. AND STEPANIUK, J. 1996. Tolerance approximation spaces. Fundament. Informatic. 27, 245-253. (Pubitemid 126715034)
33. STEFANOWSKI, J. AND TSOUKIÀS, A. 1999. On the extension of rough sets under incomplete information. In Proceedings of the RSFDGrC. Lecture Notes in Artificial Intelligence, vol. 1711. N. Zhong, A. Skowron, and S. Ohsuga, Eds. Springer, Berlin, Germany, 73-82.
34. VAKARELOV, D. 1987. Abstract characterization of some knowledge representation systems and the logic NIL of nondeterministic information. In Artificial Intelligence II, P. Jorrand and V. Sgurev Eds. North-Holland, Amesterdam, The Netherlands, 255-260.
35. VAKARELOV, D. 1991. Modal logics for knowledge representation systems. Theoret. Comp. Sci. 90, 433-456.
36. VAN DER HOEK, W. AND MEYER, J. J. 1992. Making some issues of implicit knowledge explicit. Found. Comp. Sci. 3, 193-223.
37. VAN DITMARSCH, H., VAN DER HOEK, W., AND KOOI, B. 2005. Dynamic epistemic logic with assignment. In Proceedings of the AAMAS. F. Dignum, V. Dignum, S. Koenig, S. Kraus, M. Singh, and M.Wooldridge, Eds., ACM Press, New York, NY, 141-148.
38. VAN DITMARSCH, H., VAN DER HOEK, W., AND KOOI, B. 2007. Dynamic Epistemic Logic. Springer, Berlin, Germany.
39. XE, X., XU, L., AND SHEN, W. 2006. Dynamic information system and its rough set model based on time sequence. In Proceedings of the 2006 IEEE International Conference on Granular Computing. 542-545.