Interpolation properties for Sacchetti's logics
type: Item
instance of: scholarly article
title: Interpolation properties for Sacchetti's logics
DOI: 10.1007/978-981-16-4173-2_3
author: Sohei Iwata
publication date: 2022-11-11T00:00:00Z
Mathematics Subject Classification ID: 03Bxx
Mathematics Subject Classification ID: 03Exx
Mathematics Subject Classification ID: 03Fxx
zbMATH DE Number: 7615249
zbMATH Keywords: Sacchetti's logic
zbMATH Keywords: Lyndon interpolation property
zbMATH Keywords: effective fixed-point theorem
MaRDI profile type: Publication
full work available at URL: 978-981-16-4173-2 3
OpenAlex ID: W4207048877
cites work: Q4397069
cites work: Reasoning in circles
cites work: Arithmetical soundness and completeness for \(\Sigma_{2}\) numerations
cites work: Effectively constructible fixed points in Sacchetti's modal logics of provability
cites work: Provability logic—a short introduction
cites work: The modal logic of provability. The sequential approach
cites work: The fixed point property in modal logic
cites work: Interpolation properties for provability logics GL and GLP
cites work: Circular proofs for the Gödel-Löb provability logic
cites work: Q3900021
description: scientific article; zbMATH DE number 7615249