Kripke Models Built from Models of Arithmetic

DOI10.1007/978-3-662-46906-4_10zbMath1326.03073OpenAlexW2283129835MaRDI QIDQ3455186

Paula Henk

Publication date: 3 December 2015

Published in: Logic, Language, and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-46906-4_10

zbMATH Keywords

modal logicprovability logicmodels of Peano arithmeticinternal models

Mathematics Subject Classification ID

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

Related Items (1)

On modal logics of model-theoretic relations

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Harvey Friedman's research on the foundations of mathematics
• Provability interpretations of modal logic
• A simple maximality principle
• Arithmetization of metamathematics in a general setting
• An inside view of EXP; or, The closed fragment of the provability logic of IΔ₀ + Ω₁ with a prepositional constant for EXP
• The modal logic of forcing

This page was built for publication: Kripke Models Built from Models of Arithmetic