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
