Omega-consistency and the diamond
type: Item
instance of: scholarly article
title: Omega-consistency and the diamond
zbMATH Open document ID: 0464.03049
DOI: 10.1007/BF00370322
author: George Boolos
published in: Studia Logica
publication date: 1980-01-01T00:00:00Z
Mathematics Subject Classification ID: 03F25
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 3726338
zbMATH Keywords: derivability interpretation
zbMATH Keywords: modal formula
zbMATH Keywords: Peano arithmetic
zbMATH Keywords: modal provability logic
MaRDI profile type: Publication
cites work: Q4196401
cites work: Q4052072
cites work: Solution of a problem of Leon Henkin
cites work: Provability interpretations of modal logic
full work available at URL: https://doi.org/10.1007/bf00370322
OpenAlex ID: W2037176489
description: scientific article; zbMATH DE number 3726338