Multiple-source approximation systems, evolving information systems and corresponding logics: a study in rough set theory

DOI10.1007/978-3-662-53611-7_5zbMath1398.68542OpenAlexW2533414220MaRDI QIDQ1989511

Md. Aquil Khan

Publication date: 26 October 2018

Full work available at URL: https://doi.org/10.1007/978-3-662-53611-7_5

zbMATH Keywords

rough setsmodal logicfirst-order logicapproximation spacesinformation systemstemporal logicdynamic epistemic logicBoolean algebra with operatorscombination of modal logicstableau-based proof procedure

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Reasoning under uncertainty in the context of artificial intelligence (68T37) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Combined logics (03B62)

This page was built for publication: Multiple-source approximation systems, evolving information systems and corresponding logics: a study in rough set theory