Modal Boolean Connexive Logics: Semantics and Tableau Approach

Bulletin of the Section of Logic 48 (3):213-243 (2019)
  Copy   BIBTEX


In this paper we investigate Boolean connexive logics in a language with modal operators: □, ◊. In such logics, negation, conjunction, and disjunction behave in a classical, Boolean way. Only implication is non-classical. We construct these logics by mixing relating semantics with possible worlds. This way, we obtain connexive counterparts of basic normal modal logics. However, most of their traditional axioms formulated in terms of modalities and implication do not hold anymore without additional constraints, since our implication is weaker than the material one. In the final section, we present a tableau approach to the discussed modal logics.



    Upload a copy of this work     Papers currently archived: 89,718

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

Modal logics with Belnapian truth values.Serge P. Odintsov & Heinrich Wansing - 2010 - Journal of Applied Non-Classical Logics 20 (3):279-304.
Restricted Classical Modal Logics.Cezar Mortari - 2007 - Logic Journal of the IGPL 15 (5-6):741-757.
Some multi-conclusion modal paralogics.Casey McGinnis - 2007 - Logica Universalis 1 (2):335-353.
Approximations of modal logics: and beyond.Guilherme de Souza Rabello & Marcelo Finger - 2008 - Annals of Pure and Applied Logic 152 (1):161-173.
Approximations of modal logics: image and beyond.Guilherme Rabello & Marcelo Finger - 2008 - Annals of Pure and Applied Logic 152 (1-3):161-173.
Predicate Modal Logics Do Not Mix Very Well.Olivier Gasquet - 1998 - Mathematical Logic Quarterly 44 (1):45-49.


Added to PP

13 (#877,514)

6 months
5 (#243,444)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Tomasz Jarmużek
Nicolaus Copernicus University

References found in this work

Philosophical basis of relatedness logic.Douglas N. Walton - 1979 - Philosophical Studies 36 (2):115 - 136.

Add more references