Modal Logics for Topological Spaces

Details Modal Logics for Topological Spaces Modal Logics for Topological Spaces

2000-07-26

arxiv.org/abs/cs/0007038v1

Computer Science

Logic in Computer Science

25 pages, extened abstract of PHD Dissertation

Scientific paper

In this thesis we shall present two logical systems, MP and MP, for the
purpose of reasoning about knowledge and effort. These logical systems will be
interpreted in a spatial context and therefore, the abstract concepts of
knowledge and effort will be defined by concrete mathematical concepts.

Affiliated with

Also associated with

No associations

Rating

Modal Logics for Topological Spaces does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Modal Logics for Topological Spaces, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Modal Logics for Topological Spaces will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-582106