Neighbourhood Contingency Bisimulation

被引：4

作者：

Bakhtiari, Zeinab ^{[1
]}

van Ditmarsch, Hans ^{[1
,2
]}

Hansen, Helle Hvid ^{[3
,4
]}

机构：

[1] Univ Lorraine, CNRS, LORIA, Nancy, France

[2] Inst Math Sci, Madras, Tamil Nadu, India

[3] Delft Univ Technol, Delft, Netherlands

[4] CWI, Amsterdam, Netherlands

来源：

LOGIC AND ITS APPLICATIONS (ICLA 2017) | 2017年 / 10119卷

基金：

欧洲研究理事会;

关键词：

LOGIC;

D O I：

10.1007/978-3-662-54069-5_5

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We introduce a notion of bisimulation for contingency logic interpreted on neighbourhood structures, characterise this logic as bisimulation-invariant fragment of modal logic and of first-order logic, and compare it with existing notions in the literature.

引用

页码：48 / 63

页数：16

共 20 条

[1]

BROGAN AP, 1967, MIND, V76, P49

[2]

Chellas B.F., 1980, MODAL LOGIC INTODUCT

[3] Modal Logics are Coalgebraic [J].

Cirstea, Corina ;

Kurz, Alexander ;

Pattinson, Dirk ;

Schroeder, Lutz ;

Venema, Yde .

COMPUTER JOURNAL, 2011, 54 (01) :31-41

[4]

Fan J., 2014, ADV MODAL LOGIC, V10, P178

[5]

Fan J., 2015, Ph.D. thesis

[6]

Fan J., 2016, NOTE NONCONTIN UNPUB

[7]

Fan J, 2015, LECT NOTES COMPUT SC, V8923, P88, DOI 10.1007/978-3-662-45824-2_6

[8] CONTINGENCY AND KNOWING WHETHER [J].

Fan, Jie ;

Wang, Yanjing ;

Van Ditmarsch, Hans .

REVIEW OF SYMBOLIC LOGIC, 2015, 8 (01) :75-107

[9] NEIGHBOURHOOD STRUCTURES: BISIMILARITY AND BASIC MODEL THEORY [J].

Hansen, Helle Hvid ;

Kupke, Clemens ;

Pacuit, Eric .

LOGICAL METHODS IN COMPUTER SCIENCE, 2009, 5 (02)

[10]

Humberstone I. L., 1995, NOTRE DAME J FORM L, V36, P214

← 1 2 →