Weak Necessity on Weak Kleene Matrices

In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), 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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

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

Off-Topic: A New Interpretation of Weak-Kleene Logic.Jc Beall - 2016 - Australasian Journal of Logic 13 (6).
Local Density of Kleene Degrees.Hisato Muraki - 1995 - Mathematical Logic Quarterly 41 (2):183-189.
Generics and Weak Necessity.Ravi Thakral - 2018 - Inquiry: An Interdisciplinary Journal of Philosophy:1-28.
Weak and Strong Necessity Modals: On Linguistic Means of Expressing "A Primitive Concept OUGHT".Alex Silk - 2021 - In Billy Dunaway & David Plunkett (eds.), Meaning, Decision, and Norms: Themes From the Work of Allan Gibbard. Ann Arbor, Michigan: Maize Books. pp. 203-245.
A two-valued logic for reasoning about different types of consequence in Kleene's three-valued logic.Beata Konikowska - 1990 - Studia Logica 49 (4):541 - 555.
Kleene's three valued logics and their children.Melvin Fitting - unknown
On a certain method of producing logical matrices.Zdzislaw Dywan - 1985 - Bulletin of the Section of Logic 14 (1):2-5.
Natural Deduction for Three-Valued Regular Logics.Yaroslav Petrukhin - 2017 - Logic and Logical Philosophy 26 (2):197–206.
Kleene Algebras and Logic: Boolean and Rough Set Representations, 3-Valued, Rough Set and Perp Semantics.Arun Kumar & Mohua Banerjee - 2017 - Studia Logica 105 (3):439-469.
Kleene S. C.. Permutability of inferences in Gentzen's calculi LK and LJ. Two papers on the predicate calculus, by Kleene S. C. , lithographed, Providence 1952, pp. 1–26.Kleene S. C.. Finite axiomatizability of theories in the predicate calculus using additional predicate symbols. Two papers on the predicate calculus, by Kleene S. C. , lithographed, Providence 1952, pp. 27–66.Kleene S. C.. Bibliography. Two papers on the predicate calculus, by Kleene S. C. , lithographed, Providence 1952, pp. 67–68.Craig William. On axiomatizability within a system. [REVIEW]Robert McNaughton - 1954 - Journal of Symbolic Logic 19 (1):62-63.
The Logic of the Absence of Sense (in Polish).Jan Czerniawski - 2004 - Kwartalnik Filozoficzny 32 (2):69-86.
On the weak Kleene scheme in Kripke's theory of truth.James Cain & Zlatan Damnjanovic - 1991 - Journal of Symbolic Logic 56 (4):1452-1468.
On Paraconsistent Weak Kleene Logic: Axiomatisation and Algebraic Analysis.Stefano Bonzio, José Gil-Férez, Francesco Paoli & Luisa Peruzzi - 2017 - Studia Logica 105 (2):253-297.
Non-Distributive Upper Semilattice of Kleene Degrees.Hisato Muraki - 1999 - Journal of Symbolic Logic 64 (1):147-158.
A General Characterization of the Variable-Sharing Property by Means of Logical Matrices.Gemma Robles & José M. Méndez - 2012 - Notre Dame Journal of Formal Logic 53 (2):223-244.

Analytics

Added to PP
2018-02-17

Downloads
7 (#1,316,802)

6 months
4 (#698,851)

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