Blending margins: the modal logic K has nullary unification type

DOI10.1093/logcom/ext055zbMath1328.03019arXiv1108.6240OpenAlexW2106310727MaRDI QIDQ3450207

Emil Jeřábek

Publication date: 3 November 2015

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1108.6240

zbMATH Keywords

modal logicadmissible rulesdescription logicunification typerule of margins

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Related Items (11)

About the unification type of modal logics between \(\mathbf{KB}\) and \(\mathbf{KTB} \) ⋮ Restricted unification in the DL \(\mathcal{FL}_0\) ⋮ About the unification type of \(\mathbf{K}+\square \square \bot\) ⋮ Tutorial on Admissible Rules in Gudauri ⋮ Finitary unification in locally tabular modal logics characterized ⋮ Unification in epistemic logics ⋮ KD is nullary ⋮ Admissible rules for six intuitionistic modal logics ⋮ Contact Logic is Finitary for Unification with Constants ⋮ Unification in pretabular extensions of S4 ⋮ Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality

This page was built for publication: Blending margins: the modal logic K has nullary unification type