OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

KD is nullary

Balbiani, Philippe and Gencer, Cigdem KD is nullary. (2017) Journal of Applied Non-Classical Logics, 27 (3-4). 196-205. ISSN 1166-3081

(Document in English)

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

Official URL: https://doi.org/10.1080/11663081.2018.1428000


In the ordinary modal language, KD is the modal logic determined by the class of all serial frames. In this paper, we demonstrate that KD is nullary.

Item Type:Article
Additional Information:https://www.tandfonline.com/doi/full/10.1080/11663081.2018.1428000
HAL Id:hal-02365665
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)
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)
Other partners > Sabanci Universitesi ( Turkey)
Laboratory name:
Université Toulouse 3, Paul Sabatier (France) - Institut de Recherche en Informatique de Toulouse - IRIT, Université de Toulouse - UPS (France)
Deposited On:14 Nov 2019 16:04

Repository Staff Only: item control page