Completeness of certain bimodal logics for subset spaces.

Title: Completeness of certain bimodal logics for subset spaces.
Identifier: AAI9917712
identifier: 9917712
Creator: Weiss, Maria Angela.
Contributor: Adviser: Rohit Parikh
Date: 1999
Language: English
Publisher: City University of New York.
Subject: Mathematics
Abstract: Subset Spaces were introduced by L. Moss and R. Parikh in [7]. These spaces model the reasoning about knowledge of changing states.;In [1] 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 [6] we introduced two kinds of subset spaces, namely quasi-intersection and directed spaces and proved that any set of axioms for directed frames also characterizes intersection spaces.;We give here the solution to the question of a complete axiomatization for intersection spaces by giving a denumerable set of axioms that is complete for directed spaces. We also show that it not possible to reduce this set of axioms to a finite set.
Type: dissertation
Source: PQT Legacy CUNY.xlsx
degree: Ph.D.