Modal logics for knowledge representation systems
From MaRDI portal
Publication:1183584
zbMath0755.68131MaRDI QIDQ1183584
Publication date: 28 June 1992
Published in: Theoretical Computer Science (Search for Journal in Brave)
Related Items (14)
A hierarchy of modal logics with relative accessibility relations ⋮ Game semantics for constructive modal logic ⋮ Covering-based rough sets and modal logics. I. ⋮ Logics from Galois connections ⋮ Rudiments of rough sets ⋮ Knowledge and approximations: a formal study under the perspective of information systems and rough set theory ⋮ A class of decidable information logics ⋮ Mixed algebras and their logics ⋮ On some generalization of rough sets ⋮ Kripke semantics for knowledge representation logics ⋮ A logic for multiple-source approximation systems with distributed knowledge base ⋮ Rough Sets: From Rudiments to Challenges ⋮ An update logic for information systems ⋮ Logics for Temporal Information Systems in Rough Set Theory
This page was built for publication: Modal logics for knowledge representation systems