Knowledge Theoretic Properties of Topological Spaces

In Masuch, Michael & Polos Laszlo (eds.), Knowledge Representation and Uncertainty. Springer Verlag. pp. 147--159 (1994)
  Copy   BIBTEX

Abstract

We study the topological models of a logic of knowledge for topological reasoning, introduced by Larry Moss and Rohit Parikh (1992). Among our results is the confirmation of a conjecture by Moss and Parikh, as well as the finite satisfiability property and decidability for the theory of topological models.

Categories

Keywords

Reprint years

Links

PhilArchive



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

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
Some topological properties of paraconsistent models.Can Başkent - 2013 - Synthese 190 (18):4023-4040.
Recursive constructions in topological spaces.Iraj Kalantari & Allen Retzlaff - 1979 - Journal of Symbolic Logic 44 (4):609-625.
Modal Logics for Topological Spaces.Konstantinos Georgatos - 1993 - Dissertation, City University of New York
Gunk, Topology and Measure.Frank Arntzenius - 2004 - In Dean Zimmerman (ed.), Oxford Studies in Metaphysics: Volume 4. Oxford University Press.
Taxonomies of model-theoretically defined topological properties.Paul Bankston - 1990 - Journal of Symbolic Logic 55 (2):589-603.
On topological spaces equivalent to ordinals.Jörg Flum & Juan Carlos Martinez - 1988 - Journal of Symbolic Logic 53 (3):785-795.
On effective topological spaces.Dieter Spreen - 1998 - Journal of Symbolic Logic 63 (1):185-221.
Filters, Antichains and Towers in Topological Spaces and the Axiom of Choice.Kyriakos Keremedis - 1998 - Mathematical Logic Quarterly 44 (3):359-366.
Functorial duality for ortholattices and de Morgan lattices.Katalin Bimbó - 2007 - Logica Universalis 1 (2):311-333.
Some modifications of Scott's theorem on injective spaces.Andrzej W. Jankowski - 1986 - Studia Logica 45 (2):155 - 166.
Nonconstructive Properties of Well-Ordered T 2 topological Spaces.Kyriakos Keremedis & Eleftherios Tachtsis - 1999 - Notre Dame Journal of Formal Logic 40 (4):548-553.
Non-commutative topology and quantales.Marcelo E. Coniglio & Francisco Miraglia - 2000 - Studia Logica 65 (2):223-236.
Knowledge on treelike spaces.Konstantinos Georgatos - 1997 - Studia Logica 59 (2):271-301.

Analytics

Added to PP
2013-12-15

Downloads
10 (#1,118,334)

6 months
3 (#857,336)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Konstantinos Georgatos
City University of New York

Citations of this work

Neighborhood Semantics for Modal Logic.Eric Pacuit - 2017 - Cham, Switzerland: Springer.
Topological reasoning and the logic of knowledge.Andrew Dabrowski, Lawrence S. Moss & Rohit Parikh - 1996 - Annals of Pure and Applied Logic 78 (1-3):73-110.
Logics for multi-subset spaces.Bernhard Heinemann - 2010 - Journal of Applied Non-Classical Logics 20 (3):219-240.

View all 10 citations / Add more citations

References found in this work

Modal Logics for Topological Spaces.Konstantinos Georgatos - 1993 - Dissertation, City University of New York

Add more references