On modal logic of deductive closure
From MaRDI portal
Publication:2498907
DOI10.1016/j.apal.2005.11.002zbMath1104.03012OpenAlexW1989314349MaRDI QIDQ2498907
Publication date: 16 August 2006
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2005.11.002
Modal logic (including the logic of norms) (03B45) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)
Related Items
Characterizations of maximal consistent theories in the formal deductive system \(\mathcal L^{*}\) (NM-logic) and Cantor space ⋮ Properties of saturation in monotonic neighbourhood models and some applications
Cites Work