A proof of topological completeness for S4 in \((0,1)\)
From MaRDI portal
Publication:1772779
DOI10.1016/j.apal.2004.10.010zbMath1133.03009MaRDI QIDQ1772779
Publication date: 21 April 2005
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.2004.10.010
03B45: Modal logic (including the logic of norms)