Logics for Temporal Information Systems in Rough Set Theory-Reference-Cited by-同舟云学术

Logics for Temporal Information Systems in Rough Set Theory

Published:2023-01-20 Issue:1 Volume:24 Page:1-29
ISSN:1529-3785
Container-title:ACM Transactions on Computational Logic
language:en
Short-container-title:ACM Trans. Comput. Logic

Author:

Khan Md. Aquil¹^ORCID,Banerjee Mohua²^ORCID,Panda Sibsankar¹^ORCID

Affiliation:

1. Indian Institute of Technology Indore, Indore, Madhya Pradesh, India

2. Indian Institute of Technology Kanpur, Kanpur, Uttar Pradesh, India

Abstract

The article discusses temporal information systems (TISs) that add the dimension of time to complete or incomplete information systems. Through TISs, one can accommodate the possibility of domains or attribute values for objects changing with time or the availability of currently missing information with time. Different patterns of flow of information give different TISs. The corresponding logics with sound and complete axiomatization are presented.

Publisher

Association for Computing Machinery (ACM)

Subject

Computational Mathematics,Logic,General Computer Science,Theoretical Computer Science

Link

https://dl.acm.org/doi/pdf/10.1145/3549075

Reference41 articles.

1. A hierarchy of modal logics with relative accessibility relations;Balbiani P.;Journal of Applied Non-Classical Logics,1999

2. M. Banerjee, S. Ju, M. A. Khan, and L. Tang. 2015. Open world models: A view from rough set theory. In International Conference on Facets of Uncertainties and Applications (ICFUA’13), Kolkata, India, M. K. Chakraborty, A. Skowron, M. Maiti, and S. Kar (Eds.). Springer-Verlag, 77–86.

3. Propositional logics from rough set theory;Banerjee M.;Transactions on Rough Sets,2007

4. M. Banerjee and M. A. Khan. 2008. Rough set theory: A temporal logic view. In Studies in Logic, Vol. 15, Proc. Logic, Navya-Nyāya and Applications: Homage to Bimal Krishna Matilal, January 2007, Kolkata, India, M. K. Chakraborty, B. Löwe, M. N. Mitra, and S. Sarukkai (Eds.). College Publications, London, 1–20.

5. Combinations of modal logics;Bennett B.;Artificial Intelligence Review,2002

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Design and Implementation of an Information Management System for Village and Town Planning and Construction Under the Background of a Rural Revitalization Strategy;2023 International Conference on Ambient Intelligence, Knowledge Informatics and Industrial Electronics (AIKIIE);2023-11-02