scientific article; zbMATH DE number 7084852
From MaRDI portal
Publication:5224586
zbMath1418.03101MaRDI QIDQ5224586
Publication date: 24 July 2019
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
combinations of modal logicsfinite model propertypolymodal provability logicuniversal modalitylexicographic product of modal logicsrefinement of modal logicssum of Kripke frames
Modal logic (including the logic of norms) (03B45) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)
Related Items (1)
This page was built for publication: