scientific article
From MaRDI portal
Publication:3495340
zbMath0711.03003MaRDI QIDQ3495340
Publication date: 1990
Full work available at URL: https://eudml.org/doc/72139
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
finite axiomatizationprovability logicmodal logic of provability GLprovability interpretation of Grz
Modal logic (including the logic of norms) (03B45) Gödel numberings and issues of incompleteness (03F40)
Related Items (3)
On an extension of Gabbay's logic ⋮ Modal companions of intermediate propositional logics ⋮ Irreflexive modality in the intuitionistic propositional logic and Novikov completeness
This page was built for publication:
