Unification in epistemic logics
From MaRDI portal
Publication:4586223
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
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