A basic system of congruential-to-monotone bimodal logic and two of its extensions
From MaRDI portal
Publication:1374212
DOI10.1305/ndjfl/1040046144zbMath0883.03010MaRDI QIDQ1374212
Publication date: 2 December 1997
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1040046144
epistemic logic; bimodal logic; epistemically necessary; epistemically possible; failure of closure of knowledge under logical consequence
03B45: Modal logic (including the logic of norms)
03A05: Philosophical and critical aspects of logic and foundations
Cites Work