Reflection principles and iterated consistency assertions

DOI10.2307/2273701zbMath0409.03010OpenAlexW2128792511MaRDI QIDQ4196402

George Boolos

Publication date: 1979

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273701

zbMATH Keywords

Modal LogicPeano AxiomsFirst Order ArithmeticReflection PrincipleProvabilityConsistency Assertion

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Relative consistency and interpretations (03F25)

Related Items

Iterated local reflection versus iterated consistency, NP-containment for the coherence test of assessments of conditional probability: a fuzzy logical approach, On the proof theory of the modal logic for arithmetic provability

Cites Work

• Provability interpretations of modal logic
• Solution of a problem of Leon Henkin