Topological models of belief logics.

Title: Topological models of belief logics.
Identifier: AAI3283152
identifier: 3283152
Creator: Steinsvold, Chris.
Contributor: Adviser: Rohit Parikh
Date: 2007
Language: English
Publisher: City University of New York.
Subject: Philosophy | Mathematics | Computer Science
Abstract: We explore the technical and philosophical aspects of topological models for modal logics of belief. We focus on K4, KD4, and KD45, interpreting the diamond as the derivative operator. Completeness proofs are presented for these logics, as well as for multi-agent KD45 with common belief. Special philosophical emphasis is given to the T1 condition, which we interpret to mean that the agent can never have a complete set of beliefs.
Type: dissertation
Source: PQT Legacy CUNY.xlsx
degree: Ph.D.