Dynamic Cantor Derivative Logic

DOI10.46298/LMCS-19(4:26)2023MaRDI QIDQ6137850FDOQ6137850

Authors David Fernández-Duque

Publication date 16 January 2024

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2107.10349

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Abstract: Topological semantics for modal logic based on the Cantor derivative operator gives rise to derivative logics, also referred to as $d$-logics. Unlike logics based on the topological closure operator, $d$-logics have not previously been studied in the framework of dynamical systems, which are pairs $(X,f)$ consisting of a topological space $X$ equipped with a continuous function $fcolonXoX$. We introduce the logics $$, $$ and $$ and show that they all have the finite Kripke model property and are sound and complete with respect to the $d$-semantics in this dynamical setting. In particular, we prove that $$ is the $d$-logic of all dynamic topological systems, $$ is the $d$-logic of all $T_D$ dynamic topological systems, and $$ is the $d$-logic of all dynamic topological systems based on a scattered space. We also prove a general result for the case where $f$ is a homeomorphism, which in particular yields soundness and completeness for the corresponding systems $$, $$ and $$. The main contribution of this work is the foundation of a general proof method for finite model property and completeness of dynamic topological $d$-logics. Furthermore, our result for $$ constitutes the first step towards a proof of completeness for the trimodal topo-temporal language with respect to a finite axiomatisation -- something known to be impossible over the class of all spaces.

Cites work

• scientific article; zbMATH DE number 5295716 (Why is no real title available?)
• scientific article; zbMATH DE number 1461253 (Why is no real title available?)
• A sound and complete axiomatization for dynamic topological logic
• Analyzing blockwise lattice algorithms using dynamical systems
• Data-driven science and engineering. Machine learning, dynamical systems, and control
• Dynamic topological logic
• Intuitionistic logic and modality via topology
• Linear algebra algorithms as dynamical systems
• Modal logic
• On dynamic topological and metric logics
• Self-reference and modal logic
• Spatial logic of tangled closure operators and modal mu-calculus
• Succinctness in subsystems of the spatial \(\mu\)-calculus
• The Logic of Provability
• The algebra of topology
• Topological Modal Logics with Difference Modality
• Topological aspects of suitable theories

This page was built for publication: Dynamic Cantor Derivative Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6137850)