A realization theorem for the Gödel-Löb provability logic
type: Item
instance of: scholarly article
title: A realization theorem for the Gödel-Löb provability logic
DOI: 10.1070/SM8667
author: Daniyar Shamkanov
published in: Sbornik: Mathematics
publication date: 2017-01-30T00:00:00Z
Mathematics Subject Classification ID: 03B42
Mathematics Subject Classification ID: 03F07
Mathematics Subject Classification ID: 03F45
zbMATH DE Number: 6678891
zbMATH Keywords: justification logic
zbMATH Keywords: provability logic
zbMATH Keywords: realization theorem
zbMATH Keywords: cyclic proofs
MaRDI profile type: MaRDI publication profile
cites work: Explicit provability and constructive semantics
cites work: A modal sequent calculus for a fragment of arithmetic
cites work: The modal logic of provability. The sequential approach
cites work: On the proof theory of the modal logic for arithmetic provability
cites work: Circular proofs for the Gödel-Löb provability logic
cites work: Realizations and LP
full work available at URL: sm8667
OpenAlex ID: W2498092558
Recommended article: Gödel justification logics and realization
Recommended article: Modal logics, justification logics, and realization
Recommended article: Quasi-realization
Recommended article: A syntactic realization theorem for justification logics
Recommended article: Realization using the model existence theorem
description: scientific article; zbMATH DE number 6678891