Properties of Intuitionistic Provability and Preservativity Logics

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

zbMATH Keywords

fixed pointsHeyting arithmeticprovability logicintuitionistic modal logicBeth definabilitypreservativity logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items

Implication via spacetime, Lewis meets Brouwer: constructive strict implication