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 条
  • [21] A CUT-FREE SIMPLE SEQUENT CALCULUS FOR MODAL LOGIC S5
    Poggiolesi, Francesca
    REVIEW OF SYMBOLIC LOGIC, 2008, 1 (01): : 3 - 15
  • [22] Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring
    Huang, Pei
    Liu, Minghao
    Wang, Ping
    Zhang, Wenhui
    Ma, Feifei
    Zhang, Jian
    PROCEEDINGS OF THE TWENTY-EIGHTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2019, : 1093 - 1100
  • [23] Modal Logic S5 in Answer Set Programming with Lazy Creation of Worlds
    Alviano, Mario
    Batsakis, Sotiris
    Baryannis, George
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2022, 2022, 13416 : 16 - 28
  • [24] On Modal μ-Calculus in S5 and Applications
    D'Agostino, Giovanna
    Lenzi, Giacomo
    FUNDAMENTA INFORMATICAE, 2013, 124 (04) : 465 - 482
  • [25] Modal Combinatorialism is Consistent with S5
    Taylor, Henry
    THOUGHT-A JOURNAL OF PHILOSOPHY, 2019, 8 (01): : 23 - 32
  • [26] CUT-FREE GENTZEN-TYPE SYSTEM FOR THE MODAL LOGIC S5
    SATO, M
    JOURNAL OF SYMBOLIC LOGIC, 1980, 45 (01) : 67 - 84
  • [27] On modal logics between K x K x K and S5 x S5 x S5
    Hirsch, R
    Hodkinson, I
    Kurucz, A
    JOURNAL OF SYMBOLIC LOGIC, 2002, 67 (01) : 221 - 234
  • [28] On fuzzy modal logics S5(C)
    Hajek, Petr
    FUZZY SETS AND SYSTEMS, 2010, 161 (18) : 2389 - 2396
  • [29] Efficient SAT-Based Minimal Model Generation Methods for Modal Logic S5
    Huang, Pei
    Li, Rundong
    Liu, Minghao
    Ma, Feifei
    Zhang, Jian
    THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, SAT 2021, 2021, 12831 : 225 - 241
  • [30] AN ALGEBRAIC STUDY OF THE LOGIC S5'(BL)
    Wang, Juntao
    He, Xiaoli
    Wang, Mei
    MATHEMATICA SLOVACA, 2022, 72 (06) : 1447 - 1462
12345