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 321kB |
Official URL: https://doi.org/10.1080/11663081.2018.1428000
Abstract
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: | |
Funders: | Université Toulouse 3, Paul Sabatier (France) - Institut de Recherche en Informatique de Toulouse - IRIT, Université de Toulouse - UPS (France) |
Statistics: | download |
Deposited On: | 14 Nov 2019 16:04 |
Repository Staff Only: item control page