scientific article; zbMATH DE number 6863867
From MaRDI portal
Publication:4636301
zbMath1385.03020MaRDI QIDQ4636301
Evgeni E. Zolin, Ilya B. Shapirovsky, Stanislav Kikot
Publication date: 23 April 2018
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
modal logicfiltrationtense logicfinite model propertytransitive closurepropositional dynamic logicuniversal modalityregular grammargrammar modal logicHorn closure
Related Items (4)
Partitioning Kripke frames of finite height ⋮ Decidability of modal logics of non-\(k\)-colorable graphs ⋮ Finite model property in weakly transitive tense logics ⋮ KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS
This page was built for publication: