Another Generalization of Connexive Logic C

Hitoshi Omori, Heinrich Wansing

研究成果: 書籍の章/レポート/Proceedings査読

抄録

The present article aims at generalizing the approach to connexive logic thatwas initiated in [27], by following thework by Paul Egré and Guy Politzer. To this end, a variant of the connexive modal logic CK is introduced and some basic results including soundness and completeness results are established. A tableau calculus is also presented in an appendix.

本文言語英語
ホスト出版物のタイトルTrends in Logic
出版社Springer Science and Business Media B.V.
ページ225-240
ページ数16
DOI
出版ステータス出版済み - 2025

出版物シリーズ

名前Trends in Logic
65
ISSN(印刷版)1572-6126
ISSN(電子版)2212-7313

フィンガープリント

「Another Generalization of Connexive Logic C」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル