Logics for information systems and their dynamic extensions

DOI10.1145/1970398.1970405zbMath1351.68267OpenAlexW2008441772MaRDI QIDQ2946648

Mohua Banerjee, Md. Aquil Khan

Publication date: 17 September 2015

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1970398.1970405

zbMATH Keywords

modal logicinformation systemrough setdynamic epistemic logicapproximation space

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)

Related Items

Knowledge and approximations: a formal study under the perspective of information systems and rough set theory ⋮ Dynamic maintenance of rough approximations in multi-source hybrid information systems ⋮ An update logic for information systems ⋮ Logics for Temporal Information Systems in Rough Set Theory