Dynamic topological logics over spaces with continuous functions

, , &
In Guido Governatori, Ian Hodkinson & Yde Venema (eds.), Advances in Modal Logic, Volume 6. CSLI Publications. pp. 299-318 (2006)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 86,592

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 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.
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.
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
Topological-Frame Products of Modal Logics.Philip Kremer - 2018 - Studia Logica 106 (6):1097-1122.
Cardinal spaces and topological representations of bimodal logics.Benedikt Löwe & Darko Sarenac - 2005 - Logic Journal of the IGPL 13 (3):301-306.
Functorial duality for ortholattices and de Morgan lattices.Katalin Bimbó - 2007 - Logica Universalis 1 (2):311-333.

Analytics

Added to PP
2018-02-17

Downloads
5 (#1,295,005)

6 months
1 (#873,176)

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.
Non-finite Axiomatizability of Dynamic Topological Logic.David Fernández-Duque - 2012 - In Thomas Bolander, Torben Braüner, Silvio Ghilardi & Lawrence Moss (eds.), Advances in Modal Logic, Volume 9. CSLI Publications. pp. 200-216.

Add more citations

References found in this work

No references found.

Add more references