Hybrid sabotage modal logic

被引：3

作者：

van Benthem, Johan ^{[1
,2
,3
]}

Li, Lei ^{[1
]}

Shi, Chenwei ^{[1
]}

Yin, Haoxuan ^{[1
,4
]}

机构：

[1] Tsinghua Univ, Joint Res Ctr Log, Dept Philosophy, Beijing 100084, Peoples R China

[2] Univ Amsterdam, ILLC, POB 94242, Amsterdam, Netherlands

[3] Stanford Univ, Dept Philosophy, Stanford, CA 94305 USA

[4] Tsinghua Univ, Dept Comp Sci & Technol, Beijing 100084, Peoples R China

来源：

JOURNAL OF LOGIC AND COMPUTATION | 2023年 / 33卷 / 06期

关键词：

Modal logic; graph change; sabotage game; link deletion;

D O I：

10.1093/logcom/exac006

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We introduce a new hybrid modal logic HSML for reasoning about sabotage-style graph games with edge deletions and provide a complete Hilbert-style axiomatization. We extend the completeness analysis to protocol models with restrictions on available edge deletions and clarify the connections between HSML-style logics of edge deletions and recent modal logics for stepwise point deletion from graphs.

引用

页码：1216 / 1242

页数：27

共 26 条

[1] Hybrid logics: Characterization, interpolation and complexity
Areces, C
Blackburn, P
Marx, M
[J]. JOURNAL OF SYMBOLIC LOGIC, 2001, 66 (03) : 977 - 1010
[2] Relation-Changing Logics as Fragments of Hybrid Logics
Areces, Carlos
Fervari, Raul
Hoffmann, Guillaume
Martel, Mauricio
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (226): : 16 - 29
[3] Areces C, 2007, STUD LOGIC PRACT REA, V3, P821
[4] Modal logics of sabotage revisited
Aucher, Guillaume
van Benthem, Johan
Grossi, Davide
[J]. JOURNAL OF LOGIC AND COMPUTATION, 2018, 28 (02) : 269 - 303
[5] Baltag A., 2016, STANFORD ENCY PHILOS
[6] Pure extensions, proof rules, and hybrid axiomatics
Blackburn P.
Ten Cate B.
[J]. Studia Logica, 2006, 84 (2) : 277 - 322
[7] Blackburn P., 2001, MODAL LOGIC, V53, DOI 10.1017/CBO9781107050884
[8] Blando F.Z., 2020, KNOWLEDGE PROOF DYNA, V7, P3, DOI DOI 10.1007/978-981-15-2221-51
[9] Learning and Teaching as a Game: A Sabotage Approach
Gierasirnczuk, Nina
Kurzen, Lena
Velazquez-Quesada, Fernando R.
[J]. LOGIC, RATIONALITY, AND INTERACTION, PROCEEDINGS, 2009, 5834 : 119 - 132
[10] Grossi D, 2019, AAMAS '19: PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS, P1994

← 1 2 3 →