scientific article; zbMATH DE number 6863641

zbMath1400.03037MaRDI QIDQ4636029

Philippe Balbiani, Tinko Tinchev

Publication date: 23 April 2018

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

zbMATH Keywords

unification typecomputability of unifiabilitymodal logic \(\mathrm{Alt}_1\)sub-Boolean variants

Mathematics Subject Classification ID

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

Related Items (3)

About the unification type of modal logics between \(\mathbf{KB}\) and \(\mathbf{KTB} \) ⋮ About the unification type of \(\mathbf{K}+\square \square \bot\) ⋮ KD is nullary

This page was built for publication: