A basic system of congruential-to-monotone bimodal logic and two of its extensions
From MaRDI portal
Publication:1374212
DOI10.1305/ndjfl/1040046144zbMath0883.03010OpenAlexW2157082917MaRDI 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 logicbimodal logicepistemically necessaryepistemically possiblefailure of closure of knowledge under logical consequence
Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05)
Cites Work