Bitopological models of intuitionistic epistemic logic

被引：0

|

作者：

Onoprienko, A. A. ^{[1
]}

机构：

[1] HSE Univ, Moscow, Russia

来源：

RUSSIAN MATHEMATICAL SURVEYS | 2024年 / 79卷 / 01期

关键词：

D O I：

10.4213/rm10149e

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：179 / 181

页数：3

相关论文

共 50 条

[11] An Intuitionistic Epistemic Logic for Sequential Consistency on Shared Memory
Hirai, Yoichi
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING (LPAR-16), 2010, 6355 : 272 - 289
[12] ON THE THEORY OF MODELS FOR INTUITIONISTIC LOGIC
STEPANOV, VI
MATHEMATICS OF THE USSR-SBORNIK, 1983, 120 (1-2): : 223 - 235
[13] Linear Depth Deduction with Subformula Property for Intuitionistic Epistemic Logic
Guido Fiorino
Journal of Automated Reasoning, 2023, 67
[14] Problems of philosophy problem # 8: The Epistemic Element in Intuitionistic Logic
不详
SYNTHESE, 1998, 114 (03) : 497 - 497
[15] Linear Depth Deduction with Subformula Property for Intuitionistic Epistemic Logic
Fiorino, Guido
JOURNAL OF AUTOMATED REASONING, 2023, 67 (01)
[16] CONSTANTS IN KRIPKE MODELS FOR INTUITIONISTIC LOGIC
DZIERZGOWSKI, D
MATHEMATICAL LOGIC QUARTERLY, 1995, 41 (04) : 431 - 441
[17] Probabilistic models for intuitionistic predicate logic
Georgescu, George
JOURNAL OF LOGIC AND COMPUTATION, 2011, 21 (06) : 1165 - 1176
[18] An Epistemic Separation Logic with Action Models
Hans van Ditmarsch
Didier Galmiche
Marta Gawek
Journal of Logic, Language and Information, 2023, 32 : 89 - 116
[19] An Epistemic Separation Logic with Action Models
van Ditmarsch, Hans
Galmiche, Didier
Gawek, Marta
JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 2023, 32 (01) : 89 - 116
[20] Problems of Philosophy. Problem #8: The Epistemic Element in Intuitionistic Logic
Synthese, 1998, 114 (3) : 497 - 497

← 1 2 3 4 5 →