BINARY CONNECTIVES FUNCTIONALLY COMPLETE BY THEMSELVES IN S5 MODAL LOGIC

被引：1
|
作者：
MASSEY, GJ
机构：
来源：
JOURNAL OF SYMBOLIC LOGIC | 1967年 / 32卷 / 01期
关键词：
D O I：
10.2307/2271247
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：91 / &
相关论文
共 50 条
  • [1] On Satisfiability Problem in Modal Logic S5
    Salhi, Yakoub
    PROCEEDINGS OF THE 35TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING (SAC'20), 2020, : 948 - 955
  • [2] Knowledge Compilation in the Modal Logic S5
    Bienvenu, Meghyn
    Fargier, Helene
    Marquis, Pierre
    PROCEEDINGS OF THE TWENTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-10), 2010, : 261 - 266
  • [3] Evidence reconstruction of epistemic modal logic S5
    Rubtsova, Natalia
    COMPUTER SCIENCE - THEORY AND APPLICATIONS, 2006, 3967 : 313 - 321
  • [4] A deep inference system for the modal logic S5
    Stouppa P.
    Studia Logica, 2007, 85 (2) : 199 - 214
  • [5] Rooted Hypersequent Calculus for Modal Logic S5
    Mohammadi, Hamzeh
    Aghaei, Mojtaba
    LOGICA UNIVERSALIS, 2023, 17 (03) : 269 - 295
  • [6] Rooted Hypersequent Calculus for Modal Logic S5
    Hamzeh Mohammadi
    Mojtaba Aghaei
    Logica Universalis, 2023, 17 : 269 - 295
  • [7] Ground nonmonotonic modal logic S5:: New results
    Galindo, MO
    Pérez, JAN
    Ramírez, JRA
    Macías, VB
    JOURNAL OF LOGIC AND COMPUTATION, 2005, 15 (05) : 787 - 813
  • [8] Base-extension semantics for S5 modal logic
    Eckhardt, Timo
    Pym, David
    LOGIC JOURNAL OF THE IGPL, 2025,
  • [9] Hypersequential Argumentation Frameworks: An Instantiation in the Modal Logic S5
    Borg, AnneMarie
    Arieli, Ofer
    PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS (AAMAS' 18), 2018, : 1097 - 1104
  • [10] Two decidable classes of formulas of the modal logic S5
    Norgela S.
    Lithuanian Mathematical Journal, 2000, 40 (3) : 269 - 276
12345