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 条
  • [21] Prior on the semantics of modal and tense logic
    Cresswelll, M. J.
    SYNTHESE, 2016, 193 (11) : 3607 - 3623
  • [22] Prior on the semantics of modal and tense logic
    M. J. Cresswell
    Synthese, 2016, 193 : 3607 - 3623
  • [23] REDUCTION OF TENSE LOGIC TO MODAL LOGIC .1.
    THOMASON, SK
    JOURNAL OF SYMBOLIC LOGIC, 1974, 39 (03) : 549 - 551
  • [24] Modal Languages and Bounded Fragments of Predicate Logic
    Hajnal Andréka
    István Németi
    Johan van Benthem
    Journal of Philosophical Logic, 1998, 27 : 217 - 274
  • [25] Modal languages and bounded fragments of predicate logic
    Andreka, H
    Nemeti, I
    van Benthem, J
    JOURNAL OF PHILOSOPHICAL LOGIC, 1998, 27 (03) : 217 - 274
  • [26] A completeness theorem for continuous predicate modal logic
    Baratella, Stefano
    ARCHIVE FOR MATHEMATICAL LOGIC, 2019, 58 (1-2) : 183 - 201
  • [27] A completeness theorem for continuous predicate modal logic
    Stefano Baratella
    Archive for Mathematical Logic, 2019, 58 : 183 - 201
  • [28] A modal extension of weak generalisation predicate logic
    Kibedi, Francisco
    Tourlakis, George
    LOGIC JOURNAL OF THE IGPL, 2006, 14 (04) : 591 - 621
  • [29] Formula-Layered predicate modal logic
    Sun, Mei-Ying
    Deng, Shao-Bo
    Chen, Bo
    Cao, Cun-Gen
    Sui, Yue-Fei
    Ruan Jian Xue Bao/Journal of Software, 2014, 25 (05): : 1014 - 1024
  • [30] On the Modal Logic of Subset and Superset: Tense Logic over Medvedev Frames
    Wesley H. Holliday
    Studia Logica, 2017, 105 : 13 - 35
12345