Finite Topological Models of Modal Logic Systems S4 and S5
From MaRDI portal
Publication:3145160
DOI10.1007/978-3-642-15660-1_29zbMath1260.03046MaRDI QIDQ3145160
Publication date: 14 December 2012
Published in: Quantitative Logic and Soft Computing 2010 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-15660-1_29
03B45: Modal logic (including the logic of norms)