Geodesic
Modal Boolean Connexive Logics: Semantics and Tableau Approach
Bulletin of the Section of Logic, Tome 48 (2019) no. 3, pp. 213-243 Cet article a éte moissonné depuis la source Library of Science

Voir la notice de l'article

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.
Keywords: Boolean connexive logics, connexive logic, modal Boolean connexive logics, modal logics, normal modal logics, possible worlds semantics, relatedness, relating logic, relating semantics, tableau methods 
@article{BSL_2019_48_3_a4,
     author = {Jarmu\.zek, Tomasz and Malinowski, Jacek},
     title = {Modal {Boolean} {Connexive} {Logics:} {Semantics} and {Tableau} {Approach}},
     journal = {Bulletin of the Section of Logic},
     pages = {213--243},
     year = {2019},
     volume = {48},
     number = {3},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/BSL_2019_48_3_a4/}
}
TY  - JOUR
AU  - Jarmużek, Tomasz
AU  - Malinowski, Jacek
TI  - Modal Boolean Connexive Logics: Semantics and Tableau Approach
JO  - Bulletin of the Section of Logic
PY  - 2019
SP  - 213
EP  - 243
VL  - 48
IS  - 3
UR  - http://geodesic.mathdoc.fr/item/BSL_2019_48_3_a4/
LA  - en
ID  - BSL_2019_48_3_a4
ER  - 
%0 Journal Article
%A Jarmużek, Tomasz
%A Malinowski, Jacek
%T Modal Boolean Connexive Logics: Semantics and Tableau Approach
%J Bulletin of the Section of Logic
%D 2019
%P 213-243
%V 48
%N 3
%U http://geodesic.mathdoc.fr/item/BSL_2019_48_3_a4/
%G en
%F BSL_2019_48_3_a4
Jarmużek, Tomasz; Malinowski, Jacek. Modal Boolean Connexive Logics: Semantics and Tableau Approach. Bulletin of the Section of Logic, Tome 48 (2019) no. 3, pp. 213-243. http://geodesic.mathdoc.fr/item/BSL_2019_48_3_a4/