DeepAI AI Chat
Log In Sign Up

Cantor Derivative Logic in Topological Dynamics

by   Yoàv Montacute, et al.

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 dynamic topological systems (DTSs), which are pairs (X,f) consisting of a topological space X equipped with a continuous function f : X -> X. We introduce the logics wK4C, K4C and 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. We also prove a general result for the case where f is a homeomorphism, which yields soundness and completeness for the corresponding systems wK4H, K4H and GLH. Of special interest is GLC, which is the d-logic of all DTSs based on a scattered space. We use the completeness of GLC and the properties of scattered spaces to demonstrate the first sound and complete dynamic topological logic in the original trimodal language. In particular, we show that the version of DTL based on the class of scattered spaces is finitely axiomatisable over the original language, and that the natural axiomatisation is sound and complete.


page 1

page 2

page 3

page 4


Dynamic Cantor Derivative Logic

Topological semantics for modal logic based on the Cantor derivative ope...

Untangled: A Complete Dynamic Topological Logic

Dynamic topological logic (𝐃𝐓𝐋) is a trimodal logic designed for reasoni...

Complete Intuitionistic Temporal Logics in Topological Dynamics

The language of linear temporal logic can be interpreted over the class ...

Strong completeness of modal logics over 0-dimensional metric spaces

We prove strong completeness results for some modal logics with the univ...

The Topological Mu-Calculus: completeness and decidability

We study the topological μ-calculus, based on both Cantor derivative and...

Dynamic Tangled Derivative Logic of Metric Spaces

Dynamical systems are abstract models of interaction between space and t...

A Note on Digitization of Real-Time Models and Logics

Digitization provides a sound and complete method to reduce the problem ...