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 条
  • [41] THE VALIDITY OF FIEDLERS CONTINGENCY LOGIC
    THEODORY, GC
    JOURNAL OF PSYCHOLOGY, 1982, 110 (01): : 115 - 120
  • [42] Axiomatizations for Temporal Epistemic Logic with Perfect Recall over Linear Time
    Mikulas, Szabolcs
    Reynolds, Mark
    French, Tim
    TIME 2009: 16TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS, 2009, : 81 - +
  • [43] Depth-Bounded Fuzzy Bisimulation for Fuzzy Modal Logic
    Nguyen, Linh Anh
    Micic, Ivana
    Nguyen, Ngoc-Thanh
    Stanimirovic, Stefan
    CYBERNETICS AND SYSTEMS, 2023,
  • [44] PDL is the bisimulation-invariant fragment of Weak Chain Logic
    Carreiro, Facundo
    2015 30TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2015, : 341 - 352
  • [45] COMPLETE AXIOMATIZATIONS OF FRAGMENTS OF MONADIC SECOND-ORDER LOGIC ON FINITE TREES
    Gheerbrant, Amelie
    ten Cate, Balder
    LOGICAL METHODS IN COMPUTER SCIENCE, 2012, 8 (04)
  • [46] Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras
    Enqvist, Sebastian
    Seifan, Fatemeh
    Venema, Yde
    2015 30TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2015, : 353 - 365
  • [47] Bisimulation and Hennessy-Milner Logic for Generalized Synchronization Trees
    Ferlez, James
    Cleaveland, Rance
    Marcus, Steve
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (255): : 35 - 50
  • [48] Bisimulation invariant monadic-second order logic in the finite
    Blumensath, Achim
    Wolf, Felix
    THEORETICAL COMPUTER SCIENCE, 2020, 823 (26-43) : 26 - 43
  • [49] Monadic second-order logic and bisimulation invariance for coalgebras
    ILLC, Universiteit Van Amsterdam, Netherlands
    不详
    Proc Symp Logic Comput Sci, (353-365):
  • [50] FREE AXIOMATIZATIONS IN CLASSICAL-LOGIC .2. UNCOUNTABLE CASE
    REZNIKOFF, I
    COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE, 1994, 319 (04): : 311 - 314
12345