Linier modalities in the minimal logic

被引：0
|
作者：
Zolin, E.E.
机构：
来源：
Vestnik Moskovskogo Universiteta. Ser. 1 Matematika Mekhanika | 2001年 / 04期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：47 / 50
相关论文
共 50 条
  • [41] MINIMAL CONSEQUENCE IN SENTENTIAL LOGIC
    PAPALASKARI, MA
    WEINSTEIN, S
    JOURNAL OF LOGIC PROGRAMMING, 1990, 9 (01): : 19 - 31
  • [42] Minimal axiomatization in modal logic
    Bellissima, F
    Cittadini, S
    MATHEMATICAL LOGIC QUARTERLY, 1997, 43 (01) : 92 - 102
  • [43] A minimal logic for interactive epistemology
    Emiliano Lorini
    Synthese, 2016, 193 : 725 - 755
  • [44] A minimal logic for interactive epistemology
    Lorini, Emiliano
    SYNTHESE, 2016, 193 (03) : 725 - 755
  • [45] Proof search in minimal logic
    Schwichtenberg, H
    ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION, PROCEEDINGS, 2004, 3249 : 15 - 25
  • [46] Minimal Systems of Temporal Logic
    Surowik, Dariusz
    AXIOMS, 2020, 9 (02)
  • [47] Connectionist modal logic: Representing modalities in neural networks
    Garcez, Artur S. d'Avila
    Lamb, Luis C.
    Gabbay, Dov M.
    THEORETICAL COMPUTER SCIENCE, 2007, 371 (1-2) : 34 - 53
  • [48] Logic, truth and the modalities: from a phenomenological perspective.
    Jacquette, D
    HISTORY AND PHILOSOPHY OF LOGIC, 2000, 21 (02) : 172 - 173
  • [49] Future temporal logic needs infinitely many modalities
    Hirshfeld, Y
    Rabinovich, A
    INFORMATION AND COMPUTATION, 2003, 187 (02) : 196 - 208
  • [50] Non-standard Modalities in Paraconsistent Godel Logic
    Bilkova, Marta
    Frittella, Sabine
    Kozhemiachenko, Daniil
    LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2023, 2023, 14281 : 420 - 436
12345