Axiomatization and Completeness of Lexicographic Products of Modal Logics

被引：0
|
作者：
Balbiani, Philippe [1 ]
机构：
[1] Univ Toulouse, CNRS, Inst Rech & Informat Toulouse, F-31062 Toulouse 9, France
来源：
FRONTIERS OF COMBINING SYSTEMS, PROCEEDINGS | 2009年 / 5749卷
关键词：
Modal logic; lexicographic product; axiomatization/completeness; K5;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
This paper sets out a new way of combining Kripke-complete modal logics: lexicographic product. It discusses some basic properties of the lexicographic product construction and proves axiomatization/completeness results.
引用
收藏
页码：165 / 180
页数：16
相关论文
共 50 条
  • [1] Containment Logics: Algebraic Completeness and Axiomatization
    Stefano Bonzio
    Michele Pra Baldi
    [J]. Studia Logica, 2021, 109 : 969 - 994
  • [2] Containment Logics: Algebraic Completeness and Axiomatization
    Bonzio, Stefano
    Pra Baldi, Michele
    [J]. STUDIA LOGICA, 2021, 109 (05) : 969 - 994
  • [3] COMPLETENESS OF MONOTONIC MODAL LOGICS
    CHELLAS, BF
    MCKINNEY, A
    [J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1975, 21 (04): : 379 - 383
  • [4] Completeness theorems for reactive modal logics
    Gabbay, Dov
    [J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2012, 66 (1-4) : 81 - 129
  • [5] Hallden Completeness for Relevant Modal Logics
    Seki, Takahiro
    [J]. NOTRE DAME JOURNAL OF FORMAL LOGIC, 2015, 56 (02) : 333 - 350
  • [6] COMPLETENESS OF CHRONOLOGICAL LOGICS WITH MODAL OPERATORS
    NISHIMURA, H
    [J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1979, 25 (06): : 487 - 496
  • [7] Completeness theorems for reactive modal logics
    Dov Gabbay
    [J]. Annals of Mathematics and Artificial Intelligence, 2012, 66 : 81 - 129
  • [8] Completeness for flat modal fixpoint logics
    Santocanale, Luigi
    Venema, Yde
    [J]. ANNALS OF PURE AND APPLIED LOGIC, 2010, 162 (01) : 55 - 82
  • [9] NONASSOCIATIVE SUBSTRUCTURAL LOGICS AND THEIR SEMILINEAR EXTENSIONS: AXIOMATIZATION AND COMPLETENESS PROPERTIES
    Cintula, Petr
    Horcik, Rostislav
    Noguera, Carles
    [J]. REVIEW OF SYMBOLIC LOGIC, 2013, 6 (03): : 394 - 423
  • [10] Dynamic Order Algebras as an Axiomatization of Modal and Tense Logics
    Chajda, Ivan
    Paseka, Jan
    [J]. INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 2015, 54 (12) : 4327 - 4340
12345