Untangled: A Complete Dynamic Topological Logic

by   David FernΓ‘ndez-Duque, et al.

Dynamic topological logic (𝐃𝐓𝐋) is a trimodal logic designed for reasoning about dynamic topological systems. It was shown by FernΓ‘ndez-Duque that the natural set of axioms for 𝐃𝐓𝐋 is incomplete, but he provided a complete axiomatisation in an extended language. In this paper, we consider dynamic topological logic over scattered spaces, which are topological spaces where every nonempty subspace has an isolated point. Scattered spaces appear in the context of computational logic as they provide semantics for provability and enjoy definable fixed points. We exhibit the first sound and complete dynamic topological logic in the original trimodal language. In particular, we show that the version of 𝐃𝐓𝐋 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

βˆ™ 02/01/2023

Cantor Derivative Logic in Topological Dynamics

Topological semantics for modal logic based on the Cantor derivative ope...
βˆ™ 07/21/2000

Knowledge on Treelike Spaces

This paper presents a bimodal logic for reasoning about knowledge during...
βˆ™ 03/22/2018

The Epistemology of Nondeterminism

This paper proposes new semantics for nondeterministic program execution...
βˆ™ 07/22/2019

Uncertainty About Evidence

We develop a logical framework for reasoning about knowledge and evidenc...
βˆ™ 10/09/2017

Topological Scott Convergence Theorem

Recently, J. D. Lawson encouraged the domain theory community to conside...
βˆ™ 09/11/2017

On A New Convergence Class in Sup-sober Spaces

Recently, J. D. Lawson encouraged the domain theory community to conside...
βˆ™ 02/06/2018

Formalising Sensor Topologies for Target Counting

We present a formal model developed to reason about topologies created b...

Please sign up or login with your details

Forgot password? Click here to reset