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 条

[1] SOME SYSTEM OF PREDICATE TENSE LOGIC
PFEIFFER, H
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1985, 31 (06): : 557 - 568
[2] Combinations of tense and modality for predicate logic
Wölfl, S
JOURNAL OF PHILOSOPHICAL LOGIC, 1999, 28 (04) : 371 - 398
[3] Predicate Metric Tense Logic for 'Now' and 'Then'
Cresswell, M. J.
JOURNAL OF PHILOSOPHICAL LOGIC, 2013, 42 (01) : 1 - 24
[4] Predicate Metric Tense Logic for ‘Now’ and ‘Then’
M. J. Cresswell
Journal of Philosophical Logic, 2013, 42 : 1 - 24
[5] Combinations of Tense and Modality for Predicate Logic
Stefan Wölfl
Journal of Philosophical Logic, 1999, 28 : 371 - 398
[6] A categorical semantics for fuzzy predicate logic
Stout, Lawrence Neff
FUZZY SETS AND SYSTEMS, 2010, 161 (03) : 412 - 432
[7] Categorical and algebraic aspects of the intuitionistic modal logic IEL- and its predicate extensions
Rogozin, Daniel
JOURNAL OF LOGIC AND COMPUTATION, 2021, 31 (01) : 347 - 374
[8] REDUCTION OF TENSE LOGIC TO MODAL LOGIC
THOMASON, SK
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1974, 21 (01): : A12 - A12
[9] INTUITIONISTIC TENSE AND MODAL LOGIC
EWALD, WB
JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (01) : 166 - 179
[10] AN INTERPRETATION OF INTUITIONISTIC PREDICATE LOGIC IN MODAL LOGIC
PRAWITZ, D
JOURNAL OF SYMBOLIC LOGIC, 1967, 32 (04) : 565 - &

← 1 2 3 4 5 →