A sound and complete axiomatization for dynamic topological logic
type: Item
instance of: scholarly article
zbMATH Open document ID: 1256.03025
author: David Fernández-Duque
publication date: 2012-09-19T00:00:00Z
full work available at URL: https://arxiv.org/abs/1201.5162
full work available at URL: https://projecteuclid.org/euclid.jsl/1344862169
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 6083960
zbMATH Keywords: modal logic
zbMATH Keywords: dynamic topological logic
zbMATH Keywords: polyadic modality
zbMATH Keywords: axiomatization
zbMATH Keywords: completeness
MaRDI profile type: Publication
OpenAlex ID: W2962972216
arXiv ID: 1201.5162
cites work: Some results on modal axiomatization and definability for topological spaces
cites work: Completeness of S4 with respect to the real line: revisited
cites work: Modal characterisation theorems over special classes of frames
cites work: Non-deterministic semantics for dynamic topological logic
cites work: Absolute completeness of \(\mathsf {S4}_u\) for its measure-theoretic semantics
cites work: Dynamic topological logic interpreted over minimal systems
cites work: On the modal definability of simulability by finite transitive models
cites work: Dynamic topological logic of metric spaces
cites work: Tangled modal logic for topological dynamics
cites work: Non-primitive recursive decidability of products of modal logics with expanding domains
cites work: Q3509059
cites work: On dynamic topological and metric logics
cites work: Dynamic topological S5
cites work: Dynamic topological logic
cites work: Many-dimensional modal logics: theory and applications
cites work: Propositional temporal logics: decidability and completeness
cites work: Propositional logic of continuous transformations in Cantor space
cites work: Q3246315
cites work: Der Aussagenkalkül und die Topologie
DOI: 10.2178/JSL/1344862169
title: A sound and complete axiomatization for dynamic topological logic
published in: The Journal of Symbolic Logic
reviewed by: Guram Bezhanishvili
description: scientific article; zbMATH DE number 6083960