Weak Necessity on Weak Kleene Matrices

In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev, Advances in Modal Logic. CSLI Publications. pp. 73-90 (1998)
  Copy   BIBTEX

Abstract

A possible world semantics for standard modal languages is presented, where the valuation functions are allowed to be partial, the truth--functional connectives are interpreted according to weak Kleene matrices, and the necessity operator is given a "weak" interpretation. Completeness and incompleteness results for some (axiomatic) systems are then established. Extensions of these modal logics in which figure "statability" operators are also examined.

Categories

Keywords

Reprint years

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: 106,894

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

Weak Necessity on Weak Kleene Matrices.Fabrice Correia - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev, Advances in Modal Logic. CSLI Publications. pp. 73-90.
An Epistemic Interpretation of Paraconsistent Weak Kleene Logic.Damian E. Szmuc - forthcoming - Logic and Logical Philosophy:1.
Completeness and decidability results for some propositional modal logics containing “actually” operators.Dominic Gregory - 2001 - Journal of Philosophical Logic 30 (1):57-78.
An Epistemic Interpretation of Paraconsistent Weak Kleene Logic.Damian E. Szmuc - 2019 - Logic and Logical Philosophy 28 (2):277-330.
Two-valued weak Kleene logics.Bruno da Ré & Damian Szmuc - 2019 - Manuscrito 42 (1):1-43.
Modal logic with non-deterministic semantics: Part I—Propositional case.Marcelo E. Coniglio, Luis Fariñas del Cerro & Newton Peron - 2020 - Logic Journal of the IGPL 28 (3):281-315.
Left Variable Inclusion Logics Associated with Classical Logic.Francesco Paoli & Michele Pra Baldi - 2024 - Notre Dame Journal of Formal Logic 65 (4):457-480.
Weak Kleene and Other Weak Logics of Conditionals.Jeremiah Joven Joaquin - 2023 - Notre Dame Journal of Formal Logic 64 (3):281-290.
Modal logic with non-deterministic semantics: Part I—Propositional case.Marcelo E. Coniglio, Fariñas Del Cerro Luis & Marques Peron Newton - 2020 - Logic Journal of the IGPL 28 (3):281-315.
Adequacy Results for Some Priorean Modal Propositional Logics.Fabrice Correia - 1999 - Notre Dame Journal of Formal Logic 40 (2):236-249.

Analytics

Added to PP
2018-02-17

Downloads
19 (#1,187,417)

6 months
5 (#875,022)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Fabrice Correia
University of Geneva

Citations of this work

Semantical analysis of weak Kleene logics.Roberto Ciuni & Massimiliano Carrara - 2019 - Journal of Applied Non-Classical Logics 29 (1):1-36.
Secrecy, Content, and Quantification.Thomas Macaulay Ferguson - 2021 - Análisis Filosófico 41 (2):285-302.

Add more citations

References found in this work

No references found.

Add more references