Symmetric Contingency Logic with Unlimitedly Many Modalities

被引：0
|
作者：
Jie Fan
机构：
[1] University of Chinese Academy of Sciences,School of Humanities
来源：
Journal of Philosophical Logic | 2019年 / 48卷
关键词：
Contingency; Symmetric frames; Axiomatization; Completeness; Unlimitedly many modalities;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
The completeness of the axiomatization of contingency logic over symmetric frames has been thought of as a nontrivial job, the unimodal case of which cannot be generalized to the finitely multimodal case, which in turn cannot be generalized to the infinitely multimodal case. This paper deals with the completeness of symmetric contingency logic with unlimitedly many modalities, no matter whether the set of modalities is finite or infinite.
引用
收藏
页码：851 / 866
页数：15
相关论文
共 50 条
  • [1] Symmetric Contingency Logic with Unlimitedly Many Modalities
    Fan, Jie
    [J]. JOURNAL OF PHILOSOPHICAL LOGIC, 2019, 48 (05) : 851 - 866
  • [2] Future temporal logic needs infinitely many modalities
    Hirshfeld, Y
    Rabinovich, A
    [J]. INFORMATION AND COMPUTATION, 2003, 187 (02) : 196 - 208
  • [3] Classical Logic withnTruth Values as a Symmetric Many-Valued Logic
    Salibra, A.
    Bucciarelli, A.
    Ledda, A.
    Paoli, F.
    [J]. FOUNDATIONS OF SCIENCE, 2023, 28 (01) : 115 - 142
  • [4] Existential rigidity and many modalities in order-sorted logic
    Kaneiwa, Ken
    [J]. KNOWLEDGE-BASED SYSTEMS, 2011, 24 (05) : 629 - 641
  • [5] Classical Logic with n Truth Values as a Symmetric Many-Valued Logic
    A. Salibra
    A. Bucciarelli
    A. Ledda
    F. Paoli
    [J]. Foundations of Science, 2023, 28 : 115 - 142
  • [6] Modalities and Logic
    Ivlev, Vitaly
    Lepskaya, Nellie
    [J]. PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON CONTEMPORARY EDUCATION, SOCIAL SCIENCES AND HUMANITIES (ICCESSH 2017), 2017, 124 : 79 - 86
  • [7] CONTINGENCY AND MODAL LOGIC
    DEUTSCH, H
    [J]. PHILOSOPHICAL STUDIES, 1990, 60 (1-2) : 89 - 102
  • [8] Paludes, a logic of contingency
    Meseguer Panos, Elena
    [J]. ESTUDIOS ROMANICOS, 2012, 21 : 117 - 127
  • [9] A Logic of Temporal Contingency
    Fan, Jie
    [J]. ERKENNTNIS, 2024, 89 (07) : 2611 - 2640
  • [10] Neighborhood Contingency Logic
    Fan, Jie
    van Ditmarsch, Hans
    [J]. LOGIC AND ITS APPLICATIONS, ICLA 2015, 2015, 8923 : 88 - 99
12345