Affiliation:
1. Universidad de Sevilla
Abstract
Dynamic topological logic
(DTL) is a polymodal logic designed for reasoning about
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, we 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 in the language L, although one proof system, which we shall call KM, was conjectured to be complete by Kremer and Mints.
In this article, we show that given any language L' such that L ⊆ L' ⊆ L
*
, the set of valid formulas of L' is not finitely axiomatizable. It follows, in particular, that KM is incomplete.
Funder
Instituto Tecnológico Autónomo de México
Publisher
Association for Computing Machinery (ACM)
Subject
Computational Mathematics,Logic,General Computer Science,Theoretical Computer Science
Reference17 articles.
1. Modal logics and topological semantics for hybrid systems. Tech. rep;Artemov S.;MSI,1997
2. Completeness of S4 with respect to the real line;Bezhanishvili G.;Revisited. Ann. Pure Appl. Logic,2005
3. P. Blackburn M. de Rijke and Y. Venema. 2001. Modal Logic. Cambridge University Press. P. Blackburn M. de Rijke and Y. Venema. 2001. Modal Logic. Cambridge University Press.
4. Modal characterisation theorems over special classes of frames
5. Non-deterministic semantics for dynamic topological logic;Fernández-Duque D.;Ann. Pure Appl. Logic,2009
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献