The logic of historical necessity as founded on two-dimensional modal tense logic

被引：0
|
作者：
Aqvist, L [1 ]
机构：
[1] Univ Uppsala, Juridiska Inst, S-75120 Uppsala, Sweden
来源：
JOURNAL OF PHILOSOPHICAL LOGIC | 1999年 / 28卷 / 04期
关键词：
historical necessity; finite two-dimensional coordinate system; frame constants;
D O I：
10.1023/A:1004425728816
中图分类号：
B81 [逻辑学（论理学）];
学科分类号：
010104 ; 010105 ;
摘要：
引用
收藏
页码：329 / 369
页数：41
相关论文
共 50 条
  • [31] NON-WELL-FOUNDED PROOFS FOR THE GRZEGORCZYK MODAL LOGIC
    Savateev, Yury
    Shamkanov, Daniyar
    REVIEW OF SYMBOLIC LOGIC, 2021, 14 (01): : 22 - 50
  • [32] Resolution method for modal logic with well-founded frames
    Hagihara, S
    Yonezaki, N
    COMPUTER SCIENCE LOGIC, PROCEEDINGS, 1999, 1683 : 277 - 291
  • [33] 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
  • [34] MODAL AND TENSE PREDICATE LOGIC - MODELS IN PRESHEAVES AND CATEGORICAL CONCEPTUALIZATION
    GHILARDI, S
    MELONI, GC
    LECTURE NOTES IN MATHEMATICS, 1988, 1348 : 130 - 142
  • [35] Two Themes in Modal Logic
    van der Hoek, Wiebe
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (146):
  • [36] A THREE-VALUED MODAL TENSE LOGIC FOR THE MASTER ARGUMENT
    Akama, Seiki
    Murai, Tetsuya
    Miyamoto, Sadaaki
    LOGIQUE ET ANALYSE, 2011, (213) : 19 - 30
  • [37] 2-DIMENSIONAL MODAL LOGIC
    SHEKHTMAN, VB
    MATHEMATICAL NOTES, 1978, 23 (5-6) : 417 - 424
  • [38] Two-Dimensional Unipolar Memristors with Logic and Memory Functions
    Yin, Lei
    Cheng, Ruiqing
    Wang, Zhenxing
    Wang, Feng
    Sendeku, Marshet Getaye
    Wen, Yao
    Zhan, Xueying
    He, Jun
    NANO LETTERS, 2020, 20 (06) : 4144 - 4152
  • [39] A new design methodology for two-dimensional logic arrays
    Song, N
    Perkowski, MA
    ChrzanowskaJeske, M
    Sarabi, A
    VLSI DESIGN, 1995, 3 (3-4) : 315 - 332
  • [40] TESTING IN TWO-DIMENSIONAL ITERATIVE LOGIC-ARRAYS
    CHENG, WT
    PATEL, JH
    COMPUTERS & MATHEMATICS WITH APPLICATIONS, 1987, 13 (5-6) : 443 - 454
12345