scientific article; zbMATH DE number 4114590

zbMath0681.03006MaRDI QIDQ4729756

Larisa L. Maksimova

Publication date: 1988

Full work available at URL: https://eudml.org/doc/187444

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

propositional modal logicsCraig interpolation propertyKripke style semanticsnormal extensions of the Gödel-Löb provability logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (2)

Continuum of normal extensions of the modal logic of provability with the interpolation property ⋮ Amalgamation and interpolation in normal modal logics

This page was built for publication: