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 条
  • [41] On Axiom Systems of Słupecki for the Functionally Complete Three-Valued Logic
    Mateusz M. Radzki
    Axiomathes, 2017, 27 : 403 - 415
  • [42] ON MODAL-LOGICS WHICH ENRICH 1ST-ORDER S5 + MODAL-THEORY
    HODES, H
    JOURNAL OF PHILOSOPHICAL LOGIC, 1984, 13 (04) : 423 - 454
  • [43] Did Medieval Logicians know the S5 Lewis Modal System? An answer from the Medieval Modal Octagon
    Campos Benitez, Juan Manuel
    OPEN INSIGHT, 2020, 11 (21): : 87 - 112
  • [44] ON THE COMPUTATIONAL COMPLEXITY OF MODEL CHECKING FOR DYNAMIC EPISTEMIC LOGIC WITH S5 MODELS
    de Haan, Ronald
    Van de Pol, Iris
    JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2021, 8 (03): : 621 - 658
  • [45] On the computational complexity of model checking for dynamic epistemic logic with s5 models
    de Haan, Ronald
    van de Pol, Iris
    Journal of Applied Logics, 2021, 8 (03): : 621 - 658
  • [46] An Algebraic Study of S5-Modal Godel Logic
    Castano, Diego
    Cimadamore, Cecilia
    Diaz Varela, Jose P.
    Rueda, Laura
    STUDIA LOGICA, 2021, 109 (05) : 937 - 967
  • [47] Quantified modal logic, dynamic semantics and S-5
    Gochet, P
    Gillet, P
    DIALECTICA, 1999, 53 (3-4) : 243 - 251
  • [48] SOME EXTENSIONS OF IMPLICATIONAL S5 NOT COMPLETE WITH RESPECT TO ANY CLASS OF FRAMES
    ULRICH, D
    JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (02) : 707 - 707
  • [49] An Algebraic Study of S5-Modal Gödel Logic
    Diego Castaño
    Cecilia Cimadamore
    José Patricio Díaz Varela
    Laura Rueda
    Studia Logica, 2021, 109 : 937 - 967
  • [50] Falsification-Aware Calculi and Semantics for Normal Modal Logics Including S4 and S5
    Kamide, Norihiro
    JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 2023, 32 (03) : 395 - 440
12345