OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Elementary unification in modal logic KD45

Balbiani, Philippe and Tinchev, Tinko Elementary unification in modal logic KD45. (2018) The IfCoLog Journal of Logics and their Applications, 5 (1). 301-317. ISSN 2055-3706

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: http://www.collegepublications.co.uk/downloads/ifcolog00021.pdf


In this paper, we show that every KD45-unifiable formula has a projective unifier. As a corollary, we conclude that KD45 has unitary type for elementary unification.

Item Type:Article
Additional Information:ISBN : 978-1-84890-274-9 https://www.collegepublications.co.uk/ifcolog/?00021
HAL Id:hal-02365660
Audience (journal):International peer-reviewed journal
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
Other partners > Sofia University St. Kliment Ohridski (BULGARIA)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Laboratory name:
Rila : Partenariat Hubert Curien (PHC) franco-bulgare - Ministère de l'Éducation et de la Science (Bulgarie) - MEAE : Ministère de l'Europe et des Affaires étrangères (France) - MESRI : Ministère del'Enseignement supérieur, de la Recherche et de l’Innovation (France)
Deposited On:08 Nov 2019 15:32

Repository Staff Only: item control page