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

[img]
Preview
(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