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 条
  • [41] Completeness result for languages of tempo-modal predicate logic
    Strobach, N
    ERKENNTNIS, 2001, 55 (01) : 117 - 121
  • [42] ARITHMETICAL INTERPRETATIONS AND KRIPKE FRAMES OF PREDICATE MODAL LOGIC OF PROVABILITY
    Kurahashi, Taishi
    REVIEW OF SYMBOLIC LOGIC, 2013, 6 (01): : 129 - 146
  • [43] STATEMENTS ABOUT EVENTS - MODAL AND TENSE ANALYSIS IN MEDIEVAL LOGIC
    JACOBI, K
    VIVARIUM-AN INTERNATIONAL JOURNAL FOR THE PHILOSOPHY AND INTELLECTUAL LIFE OF THE MIDDLE AGES AND RENAISSANCE, 1983, 21 (02): : 85 - 107
  • [44] COMPLETENESS RESULTS FOR INTUITIONISTIC AND MODAL LOGIC IN A CATEGORICAL SETTING
    MAKKAI, M
    REYES, GE
    ANNALS OF PURE AND APPLIED LOGIC, 1995, 72 (01) : 25 - 101
  • [45] A THREE-VALUED MODAL TENSE LOGIC FOR THE MASTER ARGUMENT
    Akama, Seiki
    Murai, Tetsuya
    Miyamoto, Sadaaki
    LOGIQUE ET ANALYSE, 2011, (213) : 19 - 30
  • [46] Cross-Modal Conceptualization in Bottleneck Models
    Alukaev, Danis
    Kiselev, Semen
    Pershin, Ilya
    Ibragimov, Bulat
    Ivanov, Vladimir
    Kornaev, Alexey
    Titov, Ivan
    2023 CONFERENCE ON EMPIRICAL METHODS IN NATURAL LANGUAGE PROCESSING, EMNLP 2023, 2023, : 5241 - 5253
  • [47] RETRACTION: A completeness theorem for continuous predicate modal logic (Retraction of 2017)
    Baratella, Stefano
    ARCHIVE FOR MATHEMATICAL LOGIC, 2017, 56 (7-8) : 1135 - 1135
  • [48] The complexity of the modal predicate logic of "true in every transitive model of ZF"
    McGee, V
    JOURNAL OF SYMBOLIC LOGIC, 1997, 62 (04) : 1371 - 1378
  • [49] THE MODAL LOGIC OF INNER MODELS
    Inamdar, Tanmay
    Lowe, Benedikt
    JOURNAL OF SYMBOLIC LOGIC, 2016, 81 (01) : 225 - 236
  • [50] The Modal Logic of Equilibrium Models
    del Cerro, Luis Farinas
    Herzig, Andreas
    FRONTIERS OF COMBINING SYSTEMS, 2011, 6989 : 135 - 146
12345