Logics for some dynamic spaces. II

DOI10.1093/LOGCOM/EXU056MaRDI QIDQ5262487zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

rough set theorytemporal logicnormal modal logiccombination of modal logicstableau-based proof procedure

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Temporal logic (03B44)

Recommendations

• Logics for some dynamic spaces. I.
• Dynamic logics of the region-based theory of discrete spaces
• scientific article; zbMATH DE number 5896736
• On modal logics characterized by models with relative accessibility relations. II
• Logics for information systems and their dynamic extensions

Cited in

(6)

• Logics for some dynamic spaces. I.
• Knowledge and approximations: a formal study under the perspective of information systems and rough set theory
• scientific article; zbMATH DE number 3873232 (Why is no real title available?)
• Dynamic logics of the region-based theory of discrete spaces
• A formal study of a generalized rough set model based on subset approximation structure
• Logics for Temporal Information Systems in Rough Set Theory

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)