KD is nullary

&
Journal of Applied Non-Classical Logics 27 (3-4):196-205 (2017)
  Copy   BIBTEX

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.

Categories

Keywords

Reprint years

2018

DOI

10.1080/11663081.2018.1428000

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 105,667

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Provability Games for Non-classical Logics.Alexandra Pavlova - 2021 - In Alexandra Silva, Renata Wassermann & Ruy de Queiroz, Logic, Language, Information, and Computation: 27th International Workshop, Wollic 2021, Virtual Event, October 5–8, 2021, Proceedings. Springer Verlag. pp. 408-425.
Some Notes on Dyadic Contingency.Jie Fan - 2023 - Journal of Logic, Language and Information 32 (2):209-217.
An algebraic model for the modal logic KD.Hércules de Araujo Feitosa, Marcelo Reicher Soares & Cristiane Alexandra Lázaro - 2022 - Cognitio 23 (1):59916-59916.
Definability in the class of all -frames – computability and complexity.D. T. Georgiev - 2017 - Journal of Applied Non-Classical Logics 27 (1-2):1-26.
Analytic tableau systems and interpolation for the modal logics KB, KDB, k5, KD.Linh Anh Nguyen - 2001 - Studia Logica 69 (1):41-57.
A modal theorem-preserving translation of a class of three-valued logics of incomplete information.D. Ciucci & D. Dubois - 2013 - Journal of Applied Non-Classical Logics 23 (4):321-352.
Barwise's information frames and modal logics.Vladimir V. Rybakov - 2003 - Archive for Mathematical Logic 42 (3):261-277.
New Modification of the Subformula Property for a Modal Logic.Mitio Takano - 2020 - Bulletin of the Section of Logic 49 (3):255-268.
Non‐coding RNAs in Kawasaki disease: Molecular mechanisms and clinical implications.Fuqing Yang, Xiang Ao, Lin Ding, Lin Ye, Xuejuan Zhang, Lanting Yang, Zhonghao Zhao & Jianxun Wang - 2022 - Bioessays 44 (6):2100256.
Expressive completeness of modal logic on binary ramified frames.Bernhard Heinemann - 1996 - Journal of Applied Non-Classical Logics 6 (4):347-367.

Analytics

Added to PP
2018-02-18

Downloads
61 (#382,437)

6 months
8 (#522,203)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Proving Cleanthes wrong.Laureano Luna - 2021 - Journal of Applied Logic 8 (3):707-736.

Add more citations

References found in this work

Unification in intuitionistic logic.Silvio Ghilardi - 1999 - Journal of Symbolic Logic 64 (2):859-880.
One hundred and two problems in mathematical logic.Harvey Friedman - 1975 - Journal of Symbolic Logic 40 (2):113-129.
Best solving modal equations.Silvio Ghilardi - 2000 - Annals of Pure and Applied Logic 102 (3):183-198.

View all 16 references / Add more references