S4LP and Local Realizability
From MaRDI portal
Publication:3503636
DOI10.1007/978-3-540-79709-8_19zbMath1143.03009MaRDI QIDQ3503636
Publication date: 5 June 2008
Published in: Computer Science – Theory and Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-79709-8_19
03B45: Modal logic (including the logic of norms)
03B42: Logics of knowledge and belief (including belief change)
03F45: Provability logics and related algebras (e.g., diagonalizable algebras)
Cites Work