Logics for some dynamic spaces. II
From MaRDI portal
Publication:5262487
DOI10.1093/LOGCOM/EXU056zbMATH Open1334.03016OpenAlexW4242150661MaRDI QIDQ5262487FDOQ5262487
Authors: Md. Aquil Khan, Mohua Banerjee
Publication date: 15 July 2015
Published in: Journal Of Logic And Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/3fe5030906a21d6c7c0242b8efcf7d93693393a5
Recommendations
rough set theorytemporal logicnormal modal logiccombination of modal logicstableau-based proof procedure
Cited In (6)
- Dynamic logics of the region-based theory of discrete spaces
- Logics for Temporal Information Systems in Rough Set Theory
- Knowledge and approximations: a formal study under the perspective of information systems and rough set theory
- Logics for some dynamic spaces. I.
- A formal study of a generalized rough set model based on subset approximation structure
- Title not available (Why is that?)
This page was built for publication: Logics for some dynamic spaces. II
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5262487)