Completeness of public announcement logic in topological spaces

Bulletin of Symbolic Logic 17 (1):142 (2011)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

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 S5.Philip Kremer - 2009 - Annals of Pure and Applied Logic 160 (1):96-116.
Dynamic topological logic.S. Artemov - unknown
Topological completeness for higher-order logic.S. Awodey & C. Butz - 2000 - Journal of Symbolic Logic 65 (3):1168-1182.
A soundness & Completeness Proof on Dialogs and Dynamic Epistemic Logic.Sébastien Magnier & Tiago De Lima - unknown
On topological spaces equivalent to ordinals.Jörg Flum & Juan Carlos Martinez - 1988 - Journal of Symbolic Logic 53 (3):785-795.
A Uniform Logic of Information Dynamics.Wesley H. Holliday, Tomohiro Hoshi & Thomas F. Icard - 2012 - In Thomas Bolander, Torben Braüner, Silvio Ghilardi & Lawrence Moss (eds.), Advances in Modal Logic 9. College Publications. pp. 348-367.
The topological product of s4 and S.Philip Kremer - unknown
Public announcement logic with distributed knowledge: expressivity, completeness and complexity.Yì N. Wáng & Thomas Ågotnes - 2013 - Synthese 190 (S1).
Expressivity and completeness for public update logics via reduction axioms.Barteld Kooi - 2007 - Journal of Applied Non-Classical Logics 17 (2):231-253.
McKinsey Algebras and Topological Models of S4.1.Thomas Mormann - manuscript
Dynamic topological logic of metric spaces.David Fernández-Duque - 2012 - Journal of Symbolic Logic 77 (1):308-328.
Reduced coproducts of compact hausdorff spaces.Paul Bankston - 1987 - Journal of Symbolic Logic 52 (2):404-424.
Taxonomies of model-theoretically defined topological properties.Paul Bankston - 1990 - Journal of Symbolic Logic 55 (2):589-603.
Functorial duality for ortholattices and de Morgan lattices.Katalin Bimbó - 2007 - Logica Universalis 1 (2):311-333.

Analytics

Added to PP
2013-10-27

Downloads
32 (#485,568)

6 months
6 (#522,885)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Dynamic Epistemic Logic.Hans van Ditmarsch, Wiebe van der Hoek & Barteld Kooi - 2016 - Internet Encyclopedia of Philosophy.
Update.[author unknown] - 1982 - Journal of Law, Medicine and Ethics 10 (2):80-80.

Add more references