Completeness of Certain Bimodal Logics for Subset Spaces

Studia Logica 71 (1):1-30 (2002)
Rohit Parikh
CUNY Graduate Center
Subset Spaces were introduced by L. Moss and R. Parikh in [8]. These spaces model the reasoning about knowledge of changing states. In [2] a kind of subset space called intersection space was considered and the question about the existence of a set of axioms that is complete for the logic of intersection spaces was addressed. In [9] the first author introduced the class of directed spaces and proved that any set of axioms for directed frames also characterizes intersection spaces. We give here a complete axiomatization for directed spaces. We also show that it is not possible to reduce this set of axioms to a finite set.
Keywords Philosophy   Logic   Mathematical Logic and Foundations   Computational Linguistics
Categories (categorize this paper)
Reprint years 2004
DOI 10.1023/A:1016372523344
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 34,507
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

A Hybrid Logic for Reasoning About Knowledge and Topology.Bernhard Heinemann - 2008 - Journal of Logic, Language and Information 17 (1):19-41.

Add more citations

Similar books and articles

Notes on Logics of Metric Spaces.Oliver Kutz - 2007 - Studia Logica 85 (1):75-104.
Knowledge on Treelike Spaces.Konstantinos Georgatos - 1997 - Studia Logica 59 (2):271-301.
Game Logic - An Overview.Marc Pauly & Rohit Parikh - 2003 - Studia Logica 75 (2):165-182.
Equivalents of Mingle and Positive Paradox.Eric Schechter - 2004 - Studia Logica 77 (1):117 - 128.


Added to PP index

Total downloads
22 ( #270,767 of 2,268,123 )

Recent downloads (6 months)
2 ( #211,649 of 2,268,123 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature