scientific article; zbMATH DE number 2015264

zbMath1039.03009MaRDI QIDQ4438092

Wojciech Dzik

Publication date: 9 December 2003

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

zbMATH Keywords

modal logicunification

Mathematics Subject Classification ID

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

Related Items

About the unification type of \(\mathbf{K}+\square \square \bot\) ⋮ Finitary unification in locally tabular modal logics characterized ⋮ Unification in epistemic logics ⋮ KD is nullary ⋮ Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality ⋮ Unification in pretabular extensions of S4 ⋮ Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality