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.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,888

External links

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

Through your library

Similar books and articles

Weak Necessity on Weak Kleene Matrices.Fabrice Correia - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 73-90.
Two-valued weak Kleene logics.Bruno da Ré & Damian Szmuc - 2019 - Manuscrito 42 (1):1-43.
Adequacy Results for Some Priorean Modal Propositional Logics.Fabrice Correia - 1999 - Notre Dame Journal of Formal Logic 40 (2):236-249.
Post Completeness in Congruential Modal Logics.Peter Fritz - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 288-301.

Analytics

Added to PP
2020-02-06

Downloads
17 (#1,149,837)

6 months
3 (#1,470,822)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Fabrice Correia
University of Geneva

References found in this work

No references found.

Add more references