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 308kB |
Official URL: http://www.collegepublications.co.uk/downloads/ifcolog00021.pdf
Abstract
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: | |
Funders: | 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) |
Statistics: | download |
Deposited On: | 08 Nov 2019 15:32 |
Repository Staff Only: item control page