scientific article
From MaRDI portal
Publication:3809769
zbMath0661.03010MaRDI QIDQ3809769
G. K. Dzhaparidze, Sergej N. Artemov
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
arithmetical completeness theorems for correct predicate modal logicsprovability interpreation of modal logics
Modal logic (including the logic of norms) (03B45) Gödel numberings and issues of incompleteness (03F40)
Related Items (2)
The complexity of the modal predicate logic of “true in every transitive model of ZF” ⋮ Unnamed Item
This page was built for publication:
