Hybrid sabotage modal logic-Reference-Cited by-同舟云学术

Hybrid sabotage modal logic

Published:2022-03-10 Issue: Volume: Page:
ISSN:0955-792X
Container-title:Journal of Logic and Computation
language:en
Short-container-title:

Author:

van Benthem Johan¹²,Li Lei³,Shi Chenwei³,Yin Haoxuan³⁴

Affiliation:

1. Joint Research Center for Logic, Department of Philosophy, Tsinghua University, Beijing, 100084, China, ILLC, University of Amsterdam, Amsterdam, P.O. Box 94242, The Netherlands

2. Department of Philosophy, Stanford University, California 94305, USA

3. Joint Research Center for Logic, Department of Philosophy, Tsinghua University, Beijing, 100084, China

4. Department of Computer Science and Technology, Tsinghua University, Beijing, 100084, China

Abstract

Abstract 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.

Funder

National Social Science Foundation of China

Publisher

Oxford University Press (OUP)

Subject

Logic,Hardware and Architecture,Arts and Humanities (miscellaneous),Software,Theoretical Computer Science

Link

https://academic.oup.com/logcom/advance-article-pdf/doi/10.1093/logcom/exac006/42802686/exac006.pdf

Reference26 articles.

1. Hybrid logics: characterization, interpolation and complexity;Areces;Journal of Symbolic Logic,2001

2. Relation-changing logics as fragments of hybrid logics;Areces,2016

3. Hybrid logics;Areces,2007

4. Modal logics of sabotage revisited;Aucher;Journal of Logic and Computation,2018

5. Dynamic epistemic logic;Baltag;The Stanford Encyclopedia of Philosophy (Winter 2016 Edition),2016

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Axiomatization of Hybrid Logic of Link Variations;Lecture Notes in Computer Science;2024

2. Bisimulation in model-changing modal logics: An algorithmic study;Journal of Logic and Computation;2023-08-24

3. A Simple Logic of the Hide and Seek Game;Studia Logica;2023-05-17