Sahlqvist Correspondence Theory for Sabotage Modal Logic

2020/03/18 by Zhiguang Zhao, Zhao, Zhiguang
Computer Science · #Advanced Algebra and Logic #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies

paper · pdf · doi:10.48550/arxiv.2003.08070

openalex publication_date 2020/03/18 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

Sabotage modal logic (SML) is a kind of dynamic logics. It extends static modal logic with a dynamic modality which is interpreted as "after deleting an arrow in the frame, the formula is true". In the present paper, we are aiming at solving an open problem, namely giving a Sahlqvist-type correspondence theorem for sabotage modal logic. In this paper, we define sabotage Sahlqvist formulas and give an algorithm to compute the first-order correspondents of sabotage Sahlqvist formulas. We give some remarks and future directions at the end of the paper.

Related

• Sahlqvist Correspondence Theory for Second-Order Propositional Modal Logic
• Algebraic modal correspondence: Sahlqvist and beyond
• Correspondence Theory for Many-valued Modal Logic
• A Sahlqvist-style Correspondence Theorem for Linear-time Temporal Logic
• Unified Correspondence as a Proof-Theoretic Tool