KD45 with Propositional Quantifiers

IF 0.6 Q2 LOGIC

Logic and Logical Philosophy Pub Date : 2023-08-24 DOI:10.12775/llp.2023.018

P. M. Dekker

引用次数: 0

Abstract

Steinsvold (2020) has provided two semantics for the basic modal language enriched with propositional quantifiers (∀p). We define an extension EM of the system KD45_{\Box} and prove that EM is sound and complete for both semantics. It follows that the two semantics are equivalent.

查看原文本刊更多论文

带有命题量词的KD45

Steinsvold(2020)为富含命题量词的基本情态语言提供了两种语义(∀p)。我们定义了系统KD45_{\Box}的扩展EM，并证明了该扩展EM对于两个语义都是健全和完备的。由此可见，这两种语义是等价的。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Logic and Logical Philosophy Multiple-

CiteScore

1.00

自引率

40.00%

发文量