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 条
  • [1] Modalities and Logic
    Ivlev, Vitaly
    Lepskaya, Nellie
    PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON CONTEMPORARY EDUCATION, SOCIAL SCIENCES AND HUMANITIES (ICCESSH 2017), 2017, 124 : 79 - 86
  • [2] A LOGIC OF CHANGE WITH MODALITIES
    Swietorzecka, Kordula
    Czermak, Johannes
    LOGIQUE ET ANALYSE, 2015, (232) : 509 - 525
  • [3] Modalities in Temporal Logic
    Zanardo, Alberto
    HUMANA MENTE-JOURNAL OF PHILOSOPHICAL STUDIES, 2009, (08): : 1 - 15
  • [4] A logic of separating modalities
    Courtault, Jean-Rene
    Galmiche, Didier
    Pym, David
    THEORETICAL COMPUTER SCIENCE, 2016, 637 : 30 - 58
  • [5] QUANTUM LOGIC AND PHYSICAL MODALITIES
    CHIARA, MLD
    JOURNAL OF PHILOSOPHICAL LOGIC, 1977, 6 (04) : 391 - 404
  • [6] Graded modalities in Strategy Logic
    Aminof, Benjamin
    Malvone, Vadim
    Murano, Aniello
    Rubin, Sasha
    INFORMATION AND COMPUTATION, 2018, 261 : 634 - 649
  • [7] GRADED MODALITIES IN EPISTEMIC LOGIC
    VANDERHOEK, W
    MEYER, JJC
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 620 : 503 - 514
  • [8] Resource modalities in tensor logic
    Mellies, Paul-Andre
    Tabareau, Nicolas
    ANNALS OF PURE AND APPLIED LOGIC, 2010, 161 (05) : 632 - 653
  • [9] A dynamic logic with branching modalities
    Zhang, Yuanrui
    Liu, Zhiming
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2024, 136
  • [10] Reasoning with Levels of Modalities in BDI Logic
    Blee, Jeff
    Billington, David
    Sattar, Abdul
    AGENT COMPUTING AND MULTI-AGENT SYSTEMS, 2009, 5044 : 410 - 415
12345