A fragment of intuitionistic Dynamic Logic

被引：0

作者：

Celani, SA ^{[1
]}

机构：

[1] Univ Nacl Ctr, Fac Ciencias Exactas, Dept Matemat, RA-7000 Tandil, Argentina

来源：

FUNDAMENTA INFORMATICAE | 2001年 / 46卷 / 03期

关键词：

modal logic; Intuitionistic Modal logic; Dynamic Logic;

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

We present a fragment of Propositional Dynamic Logic based on the Intuitionistic Propositional Logic. We show that this logic has the finite model property, and therefore, is frame-complete.

引用

页码：187 / 197

页数：11

共 50 条

[1] LOGIC PROGRAMMING IN A FRAGMENT OF INTUITIONISTIC LINEAR LOGIC
HODAS, JS
MILLER, D
[J]. INFORMATION AND COMPUTATION, 1994, 110 (02) : 327 - 365
[2] Negational Fragment of Intuitionistic Control Logic
Anna Glenszczyk
[J]. Studia Logica, 2015, 103 : 1101 - 1121
[3] Negational Fragment of Intuitionistic Control Logic
Glenszczyk, Anna
[J]. STUDIA LOGICA, 2015, 103 (06) : 1101 - 1121
[4] The intuitionistic fragment of computability logic at the propositional level
Japaridze, Giorgi
[J]. ANNALS OF PURE AND APPLIED LOGIC, 2007, 147 (03) : 187 - 227
[5] Decidability problems for the prenex fragment of intuitionistic logic
Degtyarev, A
Voronkov, A
[J]. 11TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1996, : 503 - 512
[6] Propositional quantification in the monadic fragment of intuitionistic logic
Polacik, T
[J]. JOURNAL OF SYMBOLIC LOGIC, 1998, 63 (01) : 269 - 300
[7] Universal Models for the Positive Fragment of Intuitionistic Logic
Bezhanishvili, Nick
de Jongh, Dick
Tzimoulis, Apostolos
Zhao, Zhiguang
[J]. LOGIC, LANGUAGE, AND COMPUTATION (TBILLC 2015), 2017, 10148 : 229 - 250
[8] FUNCTIONAL-DEPENDENCIES AS A FRAGMENT OF INTUITIONISTIC LOGIC
RAUSZER, C
[J]. JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (01) : 339 - 340
[9] TOWARDS INTUITIONISTIC DYNAMIC LOGIC
Degen, J. W.
Werner, J. M.
[J]. LOGIC AND LOGICAL PHILOSOPHY, 2006, 15 (04) : 305 - 324
[10] NONMODAL CLASSICAL LINEAR PREDICATE LOGIC IS A FRAGMENT OF INTUITIONISTIC LINEAR LOGIC
DOSEN, K
[J]. THEORETICAL COMPUTER SCIENCE, 1992, 102 (01) : 207 - 214

← 1 2 3 4 5 →