Completeness of certain bimodal logics for subset spaces
From MaRDI portal
Publication:1611248
DOI10.1023/A:1016372523344zbMath1009.03015MaRDI QIDQ1611248
Publication date: 21 August 2002
Published in: Studia Logica (Search for Journal in Brave)
03B45: Modal logic (including the logic of norms)
03B42: Logics of knowledge and belief (including belief change)
Related Items
A dynamic logic for learning theory, A hybrid logic for reasoning about knowledge and topology, Logics for multi-subset spaces