Bimodal Logic with Contingency and Accident: Bisimulation and Axiomatizations

被引：2
|
作者：
Fan, Jie [1 ,2 ]
机构：
[1] Chinese Acad Sci, Inst Philosophy, Beijing, Peoples R China
[2] Univ Chinese Acad Sci, Sch Humanities, Beijing, Peoples R China
来源：
LOGICA UNIVERSALIS | 2021年 / 15卷 / 02期
关键词：
Contingency; Accident; Bisimulation; Van Benthem characterization theorem; Axiomatizations;
D O I：
10.1007/s11787-021-00270-9
中图分类号：
B81 [逻辑学（论理学）];
学科分类号：
010104 ; 010105 ;
摘要：
In this paper, a suitable notion of bisimulation is proposed for the bimodal logic with contingency and accident. We obtain several van Benthem Characterization Theorems, and axiomatize the bimodal logic over the class of Eulidean frames and over some more restricted classes, showing their strong completeness via a novel strategy, thereby answering two open questions raised in the literature. With the new bisimulation notion, we also correct an error in the expressivity results in the literature.
引用
收藏
页码：123 / 147
页数：25
相关论文
共 50 条
  • [31] A Logic of Temporal Contingency
    Fan, Jie
    ERKENNTNIS, 2024, 89 (07) : 2611 - 2640
  • [32] Neighborhood Contingency Logic
    Fan, Jie
    van Ditmarsch, Hans
    LOGIC AND ITS APPLICATIONS, ICLA 2015, 2015, 8923 : 88 - 99
  • [33] Negation and Partial Axiomatizations of Dependence and Independence Logic Revisited
    Yang, Fan
    LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, 2016, 9803 : 410 - 431
  • [34] CONTINGENCY, PURE CONTINGENCY: MODAL CATEGORIES IN HEGELIAN LOGIC
    Johnston, Adrian
    LOGOS, 2016, (02): : 29 - 54
  • [35] Recurrent Graph Neural Networks and Their Connections to Bisimulation and Logic
    Pflueger, Maximilian
    Cucala, David Tena
    Kostylev, Egor V.
    THIRTY-EIGHTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 38 NO 13, 2024, : 14608 - 14616
  • [36] LOGIC AND HYPERTENSION - OR BIMODAL BATTLE
    HUBBLE, D
    LANCET, 1962, 2 (7246): : 100 - &
  • [37] LOGIC OF ARGUMENTS FROM CONTINGENCY
    MORILLO, CR
    PHILOSOPHY AND PHENOMENOLOGICAL RESEARCH, 1977, 37 (03) : 408 - 417
  • [38] Distributed Contingency Logic and Security
    Ramezanian, Rahim
    ISECURE-ISC INTERNATIONAL JOURNAL OF INFORMATION SECURITY, 2018, 10 (02): : 107 - 115
  • [39] A COURSE ON BIMODAL PROVABILITY LOGIC
    VISSER, A
    ANNALS OF PURE AND APPLIED LOGIC, 1995, 73 (01) : 109 - 142
  • [40] Axiomatizations and Computability of Weighted Monadic Second-Order Logic
    Achilleos, Antonis
    Pedersen, Mathias Ruggaard
    2021 36TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2021,
12345