Provability, truth, and modal logic
type: Item
instance of: scholarly article
title: Provability, truth, and modal logic
zbMATH Open document ID: 0426.03024
DOI: 10.1007/BF00258073
author: George Boolos
published in: Journal of Philosophical Logic
publication date: 1980-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 3663092
zbMATH Keywords: provability
zbMATH Keywords: truth
zbMATH Keywords: provability interpretation of modality
zbMATH Keywords: truth translation
zbMATH Keywords: Peano arithmetic
zbMATH Keywords: propositional modal logic
zbMATH Keywords: semantics
MaRDI profile type: Publication
cites work: Extremely undecidable sentences
cites work: Provability in arithmetic and a schema of Grzegorczyk
cites work: Q4196401
cites work: Arithmetical necessity, provability and intuitionistic logic
cites work: Q4068699
cites work: Provability interpretations of modal logic
full work available at URL: https://doi.org/10.1007/bf00258073
OpenAlex ID: W2026117380
description: scientific article; zbMATH DE number 3663092