On dynamic topological and metric logics
type: Item
instance of: scholarly article
title: On dynamic topological and metric logics
zbMATH Open document ID: 1114.03026
author: F. Wolter
author: B. Konev
author: Roman Kontchakov
author: Michael Zakharyaschev
published in: Studia Logica
publication date: 2007-02-13T00:00:00Z
Mathematics Subject Classification ID: 03B60
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B44
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 54H20
zbMATH DE Number: 5125425
zbMATH Keywords: dynamical system
zbMATH Keywords: topological logic
zbMATH Keywords: topology
zbMATH Keywords: metric space
zbMATH Keywords: modal logic
zbMATH Keywords: temporal logic
zbMATH Keywords: decidability
MaRDI profile type: Publication
Wikidata QID: Q62048646
full work available at URL: s11225-006-9005-x
OpenAlex ID: W1966660950
cites work: Q5522002
cites work: Q4100724
cites work: Q5525343
cites work: Many-dimensional modal logics: theory and applications
cites work: Non-primitive recursive decidability of products of modal logics with expanding domains
cites work: Q5715695
cites work: Q4506483
cites work: Q4840149
cites work: Automated Deduction – CADE-20
cites work: Dynamic topological logic
cites work: The algebra of topology
cites work: Q4552484
cites work: A variant of a recursively unsolvable problem
cites work: Q3931654
DOI: 10.1007/S11225-006-9005-X
Recommended article: Dynamic topological logic of metric spaces
Recommended article: Q3371957
Recommended article: Dynamic topological logic
Recommended article: Q3509059
Recommended article: A logic for metric and topology
Recommended article: A sound and complete axiomatization for dynamic topological logic
Recommended article: Non-finite axiomatizability of dynamic topological logic
Recommended article: An infinitary axiomatization of dynamic topological logic
Recommended article: Dynamic topological logic interpreted over minimal systems
description: scientific article; zbMATH DE number 5125425