Logic of proofs
type: Item
instance of: scholarly article
title: Logic of proofs
zbMATH Open document ID: 0796.03029
DOI: 10.1016/0168-0072(94)90007-8
author: Sergei Artemov
published in: Annals of Pure and Applied Logic
publication date: 1994-06-08T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03F30
zbMATH DE Number: 584680
zbMATH Keywords: completeness with respect to the arithmetical interpretation
zbMATH Keywords: provability logic
zbMATH Keywords: Kripke semantics
zbMATH Keywords: decision procedure
MaRDI profile type: Publication
full work available at URL: 0168-0072(94)90007-8
OpenAlex ID: W2093281783
cites work: Symmetric Logic of Proofs
cites work: Q4681890
cites work: Q4283226
cites work: Q4196401
cites work: Rosser sentences
cites work: Q3026978
cites work: Q3789064
cites work: Self-reference and modal logic
cites work: Provability interpretations of modal logic
Recommended article: Logic of proofs and provability
Recommended article: Q3069241
Recommended article: Q5232011
Recommended article: The Logic of Provability
Recommended article: Q4215636
Recommended article: Q4397069
Recommended article: The logic of proofs, semantically
Recommended article: Q3081818
Recommended article: Q5224673
description: scientific article; zbMATH DE number 584680