Unification in epistemic logics

DOI10.1080/11663081.2017.1368845zbMath1398.03070OpenAlexW2751796420MaRDI QIDQ4586223

Çiğdem Gencer, Philippe Balbiani

Publication date: 12 September 2018

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://oatao.univ-toulouse.fr/22053/1/balbiani_22053.pdf

zbMATH Keywords

unification problemepistemic logicsunification type

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Admissibility of logical inference rules
• Best solving modal equations
• Unification in modal and description logics
• A Tableau Method for Checking Rule Admissibility in S4
• Blending margins: the modal logic K has nullary unification type
• Unifiability in extensions of K4
• Using the Universal Modality: Gains and Questions
• Undecidability of the unification and admissibility problems for modal and description logics
• Filtering unification and most general unifiers in modal logic

This page was built for publication: Unification in epistemic logics