On Strictly Positive Fragments of Modal Logics with Confluence

We axiomatize strictly positive fragments of modal logics with the confluence axiom. We consider unimodal logics such as <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mrow><mi mathvariant="bold">K</mi><mo>.</mo><mn mathvariant="bold">2</mn></mrow></sem...

詳細記述

書誌詳細

主要な著者:	Stanislav Kikot, Andrey Kudinov
フォーマット:	Artigo
言語:	Inglês
出版事項:	MDPI AG 2022-10-01
シリーズ:	Mathematics
主題:	modal logic strictly positive logics confluence
オンライン･アクセス:	https://www.mdpi.com/2227-7390/10/19/3701
タグ:	タグ追加 タグなし, このレコードへの初めてのタグを付けませんか!