Dynamic topological logic interpreted over minimal systems (Q766293): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
Normalize DOI.
 
(7 intermediate revisions by 6 users not shown)
Property / DOI
 
Property / DOI: 10.1007/s10992-010-9160-4 / rank
Normal rank
 
Property / author
 
Property / author: David Fernández-Duque / rank
Normal rank
 
Property / author
 
Property / author: David Fernández-Duque / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/s10992-010-9160-4 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2053300126 / rank
 
Normal rank
Property / Wikidata QID
 
Property / Wikidata QID: Q58883310 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Handbook of Spatial Logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3135846 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5767704 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Dynamic Topological Completeness for / rank
 
Normal rank
Property / cites work
 
Property / cites work: Non-deterministic semantics for dynamic topological logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Non-primitive recursive decidability of products of modal logics with expanding domains / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3509059 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On dynamic topological and metric logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: The modal logic of continuous functions on Cantor space / rank
 
Normal rank
Property / cites work
 
Property / cites work: Dynamic topological S5 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The modal logic of continuous functions on the rational numbers / rank
 
Normal rank
Property / cites work
 
Property / cites work: Dynamic topological logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Propositional logic of continuous transformations in Cantor space / rank
 
Normal rank
Property / cites work
 
Property / cites work: Der Aussagenkalkül und die Topologie / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1007/S10992-010-9160-4 / rank
 
Normal rank

Latest revision as of 03:15, 10 December 2024

scientific article
Language Label Description Also known as
English
Dynamic topological logic interpreted over minimal systems
scientific article

    Statements

    Dynamic topological logic interpreted over minimal systems (English)
    0 references
    23 March 2012
    0 references
    This investigation of a propositional logical system has a chance to be interesting to mainstream mathematicians. Dynamic topological logic studies dynamic topological systems in a modal-temporal propositional language with connectives \(\square\) (interior of a set), \(\circ\) (next) and \(*\) (always in future). A dynamic system is minimal if no proper subset of the carrier space is invariant (under a continuous function interpreting the \(\circ\) connective). The author proves that the logic \(\mathrm {DTL}_\mathcal{M}\) of minimal systems in this language is decidable. This is established via a kind of finite model property using Kruskal's lemma. Since this lemma has complexity far exceeding one of the first-order arithmetic, \(\mathrm {DTL}_\mathcal{M}\) may turn out to be the first example of a useful propositional system with impredicative complexity. On the negative side, \(\mathrm {DTL}_\mathcal{M}\) in not Kripke-complete, since the unit circle under the action of an irrations rotation refutes the formula \({*}\square\, p\to \square {*}p\), which is valid for dynamic systems based on Aleksandrov spaces. The main part of the paper is taken up by the completeness proof for systems of Kripke models called here nondeterministic quasimodels. A non-primitive recursive lower complexity bound is established by embedding DTL with finite iterations into \(\mathrm {DTL}_\mathcal{M}\). Although decidability implies axiomatizability, no familiar-style recursive axiomatization for \(\mathrm {DTL}_\mathcal{M}\) is known. The general propositional logic DTL of dynamic topological systems was proved by the author to be recursively enumerable, but no familiar-style recursive axiomatization is known either. However, the author proves that the schema \(\exists \square\phi\to \forall\neg*\neg\phi\) axiomatizes \(\mathrm {DTL}_\mathcal{M}\) over DTL.
    0 references
    0 references
    dynamic topological logic
    0 references
    logic of dynamic systems
    0 references
    spatial logic
    0 references
    temporal logic
    0 references
    multimodal logic
    0 references
    topological dynamics
    0 references

    Identifiers