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 [J].

Areces, C ;

Blackburn, P ;

Marx, M .

JOURNAL OF SYMBOLIC LOGIC, 2001, 66 (03) :977-1010

[2] Relation-Changing Logics as Fragments of Hybrid Logics [J].

Areces, Carlos ;

Fervari, Raul ;

Hoffmann, Guillaume ;

Martel, Mauricio .

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 [J].

Aucher, Guillaume ;

van Benthem, Johan ;

Grossi, Davide .

JOURNAL OF LOGIC AND COMPUTATION, 2018, 28 (02) :269-303

[5]

Baltag A., 2016, The Stanford Encyclopedia of Philosophy

[6] Pure extensions, proof rules, and hybrid axiomatics [J].

Blackburn P. ;

Ten Cate B. .

Studia Logica, 2006, 84 (2) :277-322

[7]

Blackburn P., 2001, Cambridge Tracts in Theoretical Computer Science, DOI DOI 10.1017/CBO9781107050884

[8] Learning and Teaching as a Game: A Sabotage Approach [J].

Gierasirnczuk, Nina ;

Kurzen, Lena ;

Velazquez-Quesada, Fernando R. .

LOGIC, RATIONALITY, AND INTERACTION, PROCEEDINGS, 2009, 5834 :119-132

[9]

Grossi D, 2019, AAMAS '19: PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS, P1994

[10]

Holliday WH, 2011, LECT NOTES ARTIF INT, V6953, P87, DOI 10.1007/978-3-642-24130-7_6

← 1 2 3 →