A note on the normal form of closed formulas of interpretability logic
type: Item
instance of: scholarly article
title: A note on the normal form of closed formulas of interpretability logic
zbMATH Open document ID: 0728.03015
DOI: 10.1007/BF00370384
author: Petr Hájek
author: Vítězslav Švejdar
published in: Studia Logica
publication date: 1991-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 4202238
zbMATH Keywords: interpretability logic
zbMATH Keywords: provability logic
MaRDI profile type: Publication
cites work: Q3912553
cites work: Infinitary compactness without strong inaccessibility
cites work: Q4121962
description: scientific article; zbMATH DE number 4202238