Note on some fixed point constructions in provability logic
From MaRDI portal
Publication:2499296
DOI10.1007/s10992-005-9013-8zbMath1101.03041WikidataQ56391245 ScholiaQ56391245MaRDI QIDQ2499296
Publication date: 14 August 2006
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10992-005-9013-8
03B45: Modal logic (including the logic of norms)
03F45: Provability logics and related algebras (e.g., diagonalizable algebras)
Cites Work