![](images/shape13046925.gif)
![](images/ee)
2023
2022
2021
2020
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
2017
2016
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
2013
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
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
![](images/3ad252489a6e07d6938ab5c0b433a4e8.png)
![](images/Aq.jpg)
![](images/IITIndorelogo.png)
Dr. Md. Aquil Khan
Associate Professor
Mathematics
aquilk[at]iiti.ac.in