About the unification type of modal logics between KB and KTB

DOI10.1007/S11225-019-09883-0zbMATH Open1486.03038OpenAlexW2983214208MaRDI QIDQ831218FDOQ831218

Authors: Philippe Balbiani, Çiğdem Gencer 

Publication date: 11 May 2021

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-019-09883-0

Recommendations

• scientific article; zbMATH DE number 7599937
• Remarks about the unification types of some locally tabular normal modal logics
• Remarks about the unification type of several non-symmetric non-transitive modal logics
• Unification types in Euclidean modal logics
• Blending margins: the modal logic K has nullary unification type

zbMATH Keywords

unification typenormal modal logics \(\mathbf{KB}, \mathbf{KDB}\) and \(\mathbf{KTB}\)unification with parameters

Mathematics Subject Classification ID

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

Cites Work

• Modal logic
• Admissibility of logical inference rules
• Best solving modal equations
• Unification theory
• Complexity of admissible rules
• Projective unification in modal logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Unification in modal and description logics
• Remarks about the unification type of several non-symmetric non-transitive modal logics
• Every world can see a Sahlqvist world
• A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
• Unification types in logic
• Rules with parameters in modal logic. I.
• Blending margins: the modal logic K has nullary unification type
• Unification in epistemic logics
• KD is nullary
• Unification in modal logic \(\mathrm{Alt}_1\)
• Elementary unification in modal logic \(KD45\)

Cited In (8)

• Remarks about the unification type of several non-symmetric non-transitive modal logics
• Unification in modal logic \(\mathrm{Alt}_1\)
• Elementary unification in modal logic \(KD45\)
• About the unification type of \(\mathbf{K}+\square \square \bot\)
• About the unification types of modal logics
• Blending margins: the modal logic K has nullary unification type
• Title not available (Why is that?)
• Remarks about the unification types of some locally tabular normal modal logics

This page was built for publication: About the unification type of modal logics between \(\mathbf{KB}\) and \(\mathbf{KTB} \)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q831218)