Publications

• Khan, M. A., Banerjee, M. and Panda, S: Logics for Temporal Information Systems in Rough Set Theory ACM Transactions on Computational Logic, 24(1), Article 2, 1-29.

• Khan, M. A. and Patel, V. S.: A formal study of a generalized rough set model based on subset approximation structure International Journal of Approximate Reasoning, 140 52-74. Elsevier

• Patel, V. S., Khan, M. A. and Chakraborty, M. K.: :Modal systems for covering semantics and boundary operator. International Journal of Approximate Reasoning, 135 110-126. Elsevier.

• Khan, M. A. and Patel. V. S.: Knowledge and approximations: A formal study under the perspective of information systems and rough set theory. Information Sciences, 524, 97-115. Elsevier.

2019

• (Book) Khan, M. A. and Manuel, A. (Eds.): Logic and Its Applications. 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings. Lecture Notes in Computer Science 11600. Springer-Verlag.

2018

• Khan, M. A. and Patel, V. S.: A Simple Modal Logic for Reasoning in Multigranulation Rough Set Model. ACM Transactions on Computational Logic 19(4), Article 30
• Khan, M. A. and Patel. V. S.: A Formal Study of a Generalized Rough Set Model Based on Relative Approximations. Lecture Notes in Computer Science 11103, 502-510. Springer-Verlag.

2017

• Khan, M. A.: A Probabilistic Approach to Rough Set Theory with Modal Logic Perspective. Information Sciences, 406-407, 170-184. Elsevier.

2016

• Khan, M. A.: Formal Reasoning in Preference-based Multiple-source Rough Set Model. Information Sciences, 334-335, 122-143. Elsevier.
• Khan, M. A.: Multiple-source Approximation Systems, Evolving Information Systems and Corresponding Logics: A Study in Rough Set Theory. Transactions on Rough Sets, XX, LNCS 10020, 146-320. Springer-Verlag.

2015

• Khan, M. A. and Banerjee, M.: Logics for Some Dynamic Spaces - I. Journal of Logic and Computation, 25(3) , 827-856, Oxford University Press.
• Khan, M. A. and Banerjee, M.: Logics for Some Dynamic Spaces - II. Journal of Logic and Computation, 25(3), 857-878, Oxford University Press.
• Khan, M. A.: A Probabilistic Approach to Information System and Rough Set Theory. In: Facets of Uncertainties and Applications, Springer Proceedings in Mathematics & Statistics, Volume 125, Chapter 9. Springer-Verlag.
• Banerjee, M., Ju, S., Khan, M. A. and Tang, L.: Open World Models: a View from Rough Set Theory. In: Facets of Uncertainties and Applications, Springer Proceedings in Mathematics & Statistics, Volume 125, Chapter 6. Springer-Verlag.
• Khan, M. A.: A Modal Logic for Non-deterministic Information Systems. Lecture Notes in Computer Science 8923, 119-131. Springer-Verlag.

2014

• Khan, M. A., Banerjee, M. and Rieke, R.: An Update Logic for Information Systems. International Journal of Approximate Reasoning, 55, 436-456, Elsevier.

2013

• Khan, M. A. and Banerjee, M.: Algebras for Information Systems. Intelligent Systems Reference Library, volume 42, 381-407. Springer-Verlag.

2011

• Khan, M. A. and Banerjee, M: A Logic for Multiple-source Approximation Systems with Distributed Knowledge Base. Journal of Philosophical Logic, 40(5), 663-692. Springer-Verlag.
• Khan, M. A. and Banerjee, M.: Logics for Information Systems and Their Dynamic Extensions. ACM Transactions on Computational Logic 12(4), article 29.
• Khan, M. A. and Ma, M.: A Modal Logic for Multiple-source Tolerance Approximation systems. Lecture Notes in Computer Science 6521, 124-136. Springer-Verlag.
• Khan, M. A. and Banerjee, M.: Information Systems and Rough Set Approximations: an Algebraic Approach. Lecture Notes in Computer Science 6744 , 339- 344. Springer-Verlag.

2010

• Khan, M. A. and Banerjee, M.: A study of Multiple-source Approximation Sytems. Transactions on Rough Sets XII, LNCS 6190, 46-75. Springer-Verlag.
• Khan, M. A. and Banerjee, M.: A Preference-based Multiple-source Rough Set Model. Lecture Notes in Computer Science 6086, 247-256. Springer-Verlag.

2009

• Khan, M. A. and Banerjee, M.: An Algebraic Semantics for the Logic of Multiplesource Approximation Systems. Lecture Notes in Computer Science 5908, 69-76. Springer-Verlag.
• Khan, M. A. and Banerjee, M.: A Logic for Complete Information Systems. Lecture Notes in Computer Science 5590, 829-840. Springer-Verlag.
• Khan, M. A. and Banerjee, M.: A Dynamic Logic for Multi-agent Partial Knowledge Information Systems. In: Proc. Workshop on Logical Methods for Social Concepts (LMSC'09), ESSLLI 2009, Bordeaux, July, 2009, Eds. Herzig, A. and Lorini, E.

2008

• Khan, M. A. and Banerjee, M.: Formal Reasoning with Rough Sets in Multiple-source Approximation Systems. International Journal of Approximate Reasoning, 49(2), 466-477. Elsevier.
• Khan, M. A. and Banerjee, M.: Multiple-source Approximation Systems: Membership Functions and Indiscernibility. Lecture Notes in Computer Science 5009, 80-87. Springer-Verlag.
• Banerjee, M. and Khan, M. A.: Rough set theory: a Temporal Logic View. In: Studies in Logic Vol. 15, Proc. Logic, Navya-Nyya & Applications: Homage to Bimal Krishna Matilal, Kolkata, January, 2007, Eds. Chakraborty, M.K. et al. (College Publications, London), 1-20.

2007

• Banerjee, M. and Khan, M. A.: Propositional Logics from Rough Set Theory. Transactions on Rough Sets VI, LNCS 4374, 1-25. Springer-Verlag.