scientific article; zbMATH DE number 5046361
From MaRDI portal
Publication:5483007
zbMath1102.03019MaRDI QIDQ5483007
Publication date: 15 August 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
About the unification type of \(\mathbf{K}+\square \square \bot\) ⋮ Partitioning Kripke frames of finite height ⋮ On interpolation in NEXT(KB.Alt(2)) ⋮ On non-compact logics in NEXT(KTB) ⋮ Normal modal logics determined by aligned clusters ⋮ A splitting logic in NExt(KTB) ⋮ Kripke incomplete logics containing KTB
This page was built for publication: