Axiomatization of some basic and modal Boolean connexive logics
type: Item
instance of: scholarly article
title: Axiomatization of some basic and modal Boolean connexive logics
author: Mateusz Klonowski
published in: Logica Universalis
publication date: 2022-01-24T00:00:00Z
Mathematics Subject Classification ID: 03-02
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B60
Mathematics Subject Classification ID: 03C30
Mathematics Subject Classification ID: 03C50
Mathematics Subject Classification ID: 03C90
Mathematics Subject Classification ID: 03F99
zbMATH DE Number: 7462130
zbMATH Keywords: Aristotle's laws
zbMATH Keywords: axiomatic systems
zbMATH Keywords: Boethius' laws
zbMATH Keywords: Boolean connexive logics
zbMATH Keywords: modalities
zbMATH Keywords: relating logic
zbMATH Keywords: relating semantics
zbMATH Keywords: possible-worlds semantics
MaRDI profile type: MaRDI publication profile
full work available at URL: s11787-021-00291-4
OpenAlex ID: W3214357366
cites work: Q3867808
cites work: Q4698331
cites work: Q4770375
cites work: Relating semantics as fine-grained semantics for intensional logics
cites work: Q5169618
cites work: On Logic of Strictly-Deontic Modalities. A Semantic and Tableau Approach
cites work: Some intensional logics defined by relating semantics and tableau systems
cites work: Boolean Connexive Logics: Semantics and tableau approach
cites work: Modal Boolean Connexive Logics: Semantics and Tableau Approach
cites work: Logic: a history of its central concepts
cites work: Relating semantics for connexive logic
cites work: Connexive logics. An overview and current trends
cites work: Q5483018
DOI: 10.1007/S11787-021-00291-4
description: scientific article; zbMATH DE number 7462130