Non-finite Axiomatizability of Dynamic Topological Logic

In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 200-216 (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: 93,932

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

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.
Complete Intuitionistic Temporal Logics for Topological Dynamics.Joseph Boudou, Martín Diéguez & David Fernández-Duque - 2022 - Journal of Symbolic Logic 87 (3):995-1022.
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 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.
Finite Axiomatizability of Transitive Modal Logics of Finite Depth and Width with Respect to Proper-Successor-Equivalence.Yan Zhang & X. U. Ming - forthcoming - Review of Symbolic Logic:1-14.
The modal logic of continuous functions on the rational numbers.Philip Kremer - 2010 - Archive for Mathematical Logic 49 (4):519-527.
Some results on finite axiomatizability in modal logic.E. J. Lemmon - 1965 - Notre Dame Journal of Formal Logic 6 (4):301-308.
A Complete Proof System for a Dynamic Epistemic Logic Based upon Finite π-Calculus Processes.Eric Ufferman & Pedro Arturo' Hernández-Quiroz Góngora - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 470-482.
A Complete Proof System for a Dynamic Epistemic Logic Based upon Finite π-Calculus Processes.Eric Ufferman & Pedro Arturo' Hernández-Quiroz Góngora - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 470-482.
Dynamic Topological Logic Interpreted over Minimal Systems.David Fernández-Duque - 2011 - Journal of Philosophical Logic 40 (6):767-804.

Analytics

Added to PP
2020-02-06

Downloads
6 (#1,481,433)

6 months
5 (#836,811)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Add more citations

References found in this work

No references found.

Add more references