MODAL AND TENSE PREDICATE LOGIC - MODELS IN PRESHEAVES AND CATEGORICAL CONCEPTUALIZATION

被引：0

|

作者：

GHILARDI, S

MELONI, GC

机构：

来源：

LECTURE NOTES IN MATHEMATICS | 1988年 / 1348卷

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：130 / 142

页数：13

相关论文

共 50 条

[31] Probabilistic models for intuitionistic predicate logic
Georgescu, George
JOURNAL OF LOGIC AND COMPUTATION, 2011, 21 (06) : 1165 - 1176
[32] On the Modal Logic of Subset and Superset: Tense Logic over Medvedev Frames
Holliday, Wesley H.
STUDIA LOGICA, 2017, 105 (01) : 13 - 35
[33] A Two Dimensional Tense-modal Sortal Logic
Max A. Freund
Journal of Philosophical Logic, 2007, 36 : 571 - 598
[34] THE STABLE MODELS OF A PREDICATE LOGIC PROGRAM
MAREK, VW
NERODE, A
REMMEL, JB
JOURNAL OF LOGIC PROGRAMMING, 1994, 21 (03): : 129 - 153
[35] Two-Sided Trees for Sentential Logic, Predicate Logic, and Sentential Modal Logic
Fitts, Jesse
Beisecker, David
TEACHING PHILOSOPHY, 2019, 42 (01) : 41 - 56
[36] A two dimensional tense-modal sortal logic
Freund, Max A.
JOURNAL OF PHILOSOPHICAL LOGIC, 2007, 36 (05) : 571 - 598
[37] The logic of historical necessity as founded on two-dimensional modal tense logic
Aqvist, L
JOURNAL OF PHILOSOPHICAL LOGIC, 1999, 28 (04) : 329 - 369
[38] RETRACTED ARTICLE: A completeness theorem for continuous predicate modal logic
Stefano Baratella
Archive for Mathematical Logic, 2017, 56 : 1135 - 1135
[39] The logic of historical necessity as founded on two-dimensional modal tense logic
Lennart Åqvist
Journal of Philosophical Logic, 1999, 28 (4) : 329 - 369
[40] Recursive enumerability and elementary frame definability in predicate modal logic
Rybakov, Mikhail
Shkatov, Dmitry
JOURNAL OF LOGIC AND COMPUTATION, 2020, 30 (02) : 549 - 560

← 1 2 3 4 5 →