Logics for some dynamic spaces. II

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

• 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

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)

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)