Dynamic topological logics over spaces with continuous functions

, , &
In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 299-318 (1998)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,122

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Dynamic topological logics over spaces with continuous functions.B. Konev, R. Kontchakov, F. Wolter & M. Zakharyaschev - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 299-318.
Dynamic topological logic.S. Artemov - unknown
Dynamic topological S5.Philip Kremer - 2009 - Annals of Pure and Applied Logic 160 (1):96-116.
Dynamic topological logic.Philip Kremer & Giorgi Mints - 2005 - Annals of Pure and Applied Logic 131 (1-3):133-158.
Dynamic topological logic.Philip Kremer & Grigori Mints - 2005 - Annals of Pure and Applied Logic 131 (1-3):133-158.
On Dynamic Topological and Metric Logics.B. Konev, R. Kontchakov, F. Wolter & M. Zakharyaschev - 2006 - Studia Logica 84 (1):129-160.
Abstract logics, logic maps, and logic homomorphisms.Steffen Lewitzka - 2007 - Logica Universalis 1 (2):243-276.
Dynamic Topological Completeness for.David Fernandez Duque - 2007 - Logic Journal of the IGPL 15 (1):77-107.
Topologies and free constructions.Anna Bucalo & Giuseppe Rosolini - 2013 - Logic and Logical Philosophy 22 (3):327-346.
Translations between logical systems: a manifesto.Walter A. Carnielli & Itala Ml D'Ottaviano - 1997 - Logique Et Analyse 157:67-81.
Non-deterministic semantics for dynamic topological logic.David Fernández - 2009 - Annals of Pure and Applied Logic 157 (2-3):110-121.
Continuous triangular norm based fuzzy topology.Dexue Zhang & Gao Zhang - 2019 - Archive for Mathematical Logic 58 (7-8):915-942.
Non-primitive recursive decidability of products of modal logics with expanding domains.David Gabelaia, Agi Kurucz, Frank Wolter & Michael Zakharyaschev - 2006 - Annals of Pure and Applied Logic 142 (1):245-268.
The modal logic of continuous functions on the rational numbers.Philip Kremer - 2010 - Archive for Mathematical Logic 49 (4):519-527.
The topological product of s4 and S.Philip Kremer - unknown

Analytics

Added to PP
2020-02-06

Downloads
7 (#1,281,834)

6 months
3 (#760,965)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Non-deterministic semantics for dynamic topological logic.David Fernández - 2009 - Annals of Pure and Applied Logic 157 (2-3):110-121.
Dynamic Topological Logic Interpreted over Minimal Systems.David Fernández-Duque - 2011 - Journal of Philosophical Logic 40 (6):767-804.
Non-finite Axiomatizability of Dynamic Topological Logic.David Fernández-Duque - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 200-216.

View all 6 citations / Add more citations

References found in this work

No references found.

Add more references