Omega-consistency and the diamond

DOI10.1007/BF00370322zbMath0464.03049OpenAlexW2037176489MaRDI QIDQ1153905

George Boolos

Publication date: 1980

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00370322

zbMATH Keywords

Peano arithmeticmodal provability logicderivability interpretationmodal formula

Mathematics Subject Classification ID

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

Related Items (4)

On strong provability predicates and the associated modal logics ⋮ The single-minded pursuit of consistency and its weakness ⋮ Predicate provability logic with non-modalized quantifiers ⋮ In Memoriam: George Stephen Boolos 1940–1996

Cites Work

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

This page was built for publication: Omega-consistency and the diamond