 |
Journal articles
KD is nullary
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.
Cited literature [29 references]
https://hal.archives-ouvertes.fr/hal-02365665
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Friday, November 15, 2019 - 2:44:05 PM
Last modification on : Wednesday, December 9, 2020 - 7:00:04 PM
Long-term archiving on: : Sunday, February 16, 2020 - 4:23:34 PM
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Friday, November 15, 2019 - 2:44:05 PM
Last modification on : Wednesday, December 9, 2020 - 7:00:04 PM
Long-term archiving on: : Sunday, February 16, 2020 - 4:23:34 PM
File
balbiani_22052.pdf
Files produced by the author(s)