Provability interpretations of modal logic
type: Item
instance of: scholarly article
title: Provability interpretations of modal logic
zbMATH Open document ID: 0352.02019
DOI: 10.1007/BF02757006
author: Robert M. Solovay
published in: Israel Journal of Mathematics
publication date: 1976-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 3547262
Wikidata QID: Q56057304
MaRDI profile type: Publication
cites work: One hundred and two problems in mathematical logic
cites work: Q5812175
cites work: Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
cites work: Solution of a problem of Leon Henkin
description: scientific article; zbMATH DE number 3547262