Non-finite axiomatizability of dynamic topological logic

DOI10.1145/2489334zbMATH Open1287.03069arXiv1207.5140OpenAlexW2036386940WikidataQ58883280 ScholiaQ58883280MaRDI QIDQ5410331FDOQ5410331

David Fernández-Duque

Publication date: 16 April 2014

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Abstract: Dynamic topological logic (DTL) is a polymodal logic designed for reasoning about {em dynamic topological systems. These are pairs (X,f), where X is a topological space and f:X->X is continuous. DTL uses a language L which combines the topological S4 modality [] with temporal operators from linear temporal logic. Recently, I gave a sound and complete axiomatization DTL* for an extension of the logic to the language L*, where <> is allowed to act on finite sets of formulas and is interpreted as a tangled closure operator. No complete axiomatization is known over L, although one proof system, which we shall call $mathsfKM$, was conjectured to be complete by Kremer and Mints. In this paper we show that, given any language L' between L and L*, the set of valid formulas of L' is not finitely axiomatizable. It follows, in particular, that KM is incomplete.

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

zbMATH Keywords

dynamical systemstemporal logicspatial reasoningtopological semanticsaxiomatizabilityspatial logicdynamic topological logictheory complexity

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Temporal logic (03B44) Logic in computer science (03B70)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Modal logic
• Der Aussagenkalkül und die Topologie
• Propositional temporal logics: decidability and completeness
• Dynamic topological logic
• Completeness of S4 with respect to the real line: revisited
• STRONG COMPLETENESS OF S4 FOR ANY DENSE-IN-ITSELF METRIC SPACE
• Modal characterisation theorems over special classes of frames
• On the modal definability of simulability by finite transitive models
• Tangled modal logic for topological dynamics
• On dynamic topological and metric logics
• Propositional logic of continuous transformations in Cantor space

Cited In (8)

• Dynamic Cantor Derivative Logic
• Title not available (Why is that?)
• On dynamic topological and metric logics
• COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS
• Intensional protocols for dynamic epistemic logic
• The modal logic of continuous functions on the rational numbers
• The intuitionistic temporal logic of dynamical systems
• Tangled modal logic for topological dynamics

This page was built for publication: Non-finite axiomatizability of dynamic topological logic

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