Unification in modal logic

DOI10.1007/978-3-662-58771-3_1MaRDI QIDQ2284172zbMATH OpenOpenAlexFDO

Authors Philippe Balbiani

Publication date 14 January 2020

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

zbMATH Keywords

computability of unificationelementary unificationmodal logicsunification problemunification typeunification with constants

Mathematics Subject Classification ID

General logic (03Bxx) Logic in artificial intelligence (68T27)

Cited in

(11)

• On the logic of unification
• A syntactic approach to unification in transitive reflexive modal logics
• Projective unification in modal logic
• Uninorms and Non-contradiction
• scientific article; zbMATH DE number 7599937 (Why is no real title available?)
• Unification in first-order transitive modal logic
• Filtering unification and most general unifiers in modal logic
• Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality
• Projective unification in weakly transitive and weakly symmetric modal logics
• Admissibility and unification in the modal logics related to S4.2
• On the logic of UNITY

This page was built for publication: Unification in modal logic

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