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 $f\colon X\to X$. We introduce the logics $\bf{wK4C}$, $\bf{K4C}$ and $\bf{GLC}$ 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 $\bf{wK4C}$ is the $d$-logic of all dynamic topological systems, $\bf{K4C}$ is the $d$-logic of all $T_D$ dynamic topological systems, and $\bf{GLC}$ 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 $\bf{wK4H}$, $\bf{K4H}$ and $\bf{GLH}$. 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 $\bf{GLC}$ 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.

Intuitionistic logic, dual intuitionistic logic, and modality

Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information

Geometric contexts and applications to logic

A Coalgebraic Semantics for Intuitionistic Modal Logic

A Topos-Theoretic Semantics of Intuitionistic Modal Logic with an Application to the Logic of Branching Spacetime

On duality and model theory for polyadic spaces

Reasoning about Space: the Modal Way

Monte Carlo Calculation for the neutron-rich Ca isotopes

Topological Modal Logics with Difference Modality

Duality for Fitting's Multi-valued Modal logic via bitopology and biVietoris coalgebra

Sub-sub-intuitionistic logic

Topological representation of intuitionistic and distributive abstract logics

Modal logic, fundamentally

Dynamic Cantor Derivative Logic

Unification of Modal Logic via Topological Categories

A Galois connection between classical and intuitionistic logics. II: Semantics

Merging Intuitionistic and De Morgan Logics

A Modal Nonmonotonic Logic

Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication

Axiomatizing modal inclusion logic and its variants

The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions