A note on Grzegorczyk's logic

DOI10.1002/malq.200310094zbMath1044.03013OpenAlexW2112038822MaRDI QIDQ4736757

Emil Jeřábek

Publication date: 6 August 2004

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.200310094

zbMATH Keywords

Kripke modelaxiom of choiceGrzegorczyk's logicwell-founded relation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Consistency and independence results (03E35) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45) Axiom of choice and related propositions (03E25)

This page was built for publication: A note on Grzegorczyk's logic