Properties of Intuitionistic Provability and Preservativity Logics
From MaRDI portal
Publication:3378194
DOI10.1093/jigpal/jzi047zbMath1120.03044OpenAlexW2140812277MaRDI QIDQ3378194
Chunlai Zhou, Rosalie Iemhoff, Dick H. J. de Jongh
Publication date: 30 March 2006
Published in: Logic Journal of the IGPL (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/d8849aa773c733ffe13040c015f8c4a66522c6ab
fixed pointsHeyting arithmeticprovability logicintuitionistic modal logicBeth definabilitypreservativity logic
Modal logic (including the logic of norms) (03B45) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)
Related Items