On systems of modal logic with provability interpretations
type: Item
instance of: scholarly article
title: On systems of modal logic with provability interpretations
zbMATH Open document ID: 0473.03010
author: George Boolos
published in: Theoria
publication date: 1981-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 3741343
zbMATH Keywords: interpolation theorem
zbMATH Keywords: modal logic G
zbMATH Keywords: universally provable provability schema of PA
zbMATH Keywords: Peano arithmetic
zbMATH Keywords: axiomatizations
MaRDI profile type: Publication
full work available at URL: j.1755-2567.1980.tb00686.x
OpenAlex ID: W2038674318
DOI: 10.1111/J.1755-2567.1980.TB00686.X
description: scientific article