ARITHMETICAL INTERPRETATIONS AND KRIPKE FRAMES OF PREDICATE MODAL LOGIC OF PROVABILITY

DOI10.1017/S1755020312000275zbMath1267.03056MaRDI QIDQ4918381

Taishi Kurahashi

Publication date: 24 April 2013

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

Mathematics Subject Classification ID

Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items (3)

On predicate provability logics and binumerations of fragments of Peano arithmetic ⋮ Arithmetical completeness theorems for monotonic modal logics ⋮ On inclusions between quantified provability logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The predicate modal logic of provability
• Self-reference and modal logic
• Provability: The emergence of a mathematical modality
• Provability interpretations of modal logic
• Induction rules, reflection principles, and provably recursive functions
• No escape from Vardanyan's theorem
• Finite Kripke models and predicate logics of provability
• Transfinite recursive progressions of axiomatic theories
• Systems of Logic Based on Ordinals^†

This page was built for publication: ARITHMETICAL INTERPRETATIONS AND KRIPKE FRAMES OF PREDICATE MODAL LOGIC OF PROVABILITY