Modal Logics for Topological Spaces

Dissertation, City University of New York (1993)
  Copy   BIBTEX

Abstract

In this thesis we present two logical systems, $\bf 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.

Categories

Keywords

Reprint years

Links

PhilArchive

External links

  • This entry has no external links. Add one.
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

Multimo dal Logics of Products of Topologies.Johan van Benthem, Guram Bezhanishvili, Balder ten Cate & Darko Sarenac - 2006 - Studia Logica 84 (3):369-392.
The topological product of s4 and S.Philip Kremer - unknown
Dynamic topological logic.S. Artemov - unknown
More on d-Logics of Subspaces of the Rational Numbers.Guram Bezhanishvili & Joel Lucero-Bryan - 2012 - Notre Dame Journal of Formal Logic 53 (3):319-345.
Multimo dal Logics of Products of Topologies.J. Van Benthem, G. Bezhanishvili, B. Ten Cate & D. Sarenac - 2006 - Studia Logica 84 (3):369 - 392.
Multimo dal logics of products of topologies.J. van Benthem, G. Bezhanishvili, B. ten Cate & D. Sarenac - 2006 - Studia Logica 84 (3):369-392.
Functorial duality for ortholattices and de Morgan lattices.Katalin Bimbó - 2007 - Logica Universalis 1 (2):311-333.
Topological Modal Logics Satisfying Finite Chain Conditions.Bernhard Heinemann - 1998 - Notre Dame Journal of Formal Logic 39 (3):406-421.
Some topological properties of paraconsistent models.Can Başkent - 2013 - Synthese 190 (18):4023-4040.
Matching Topological and Frame Products of Modal Logics.Philip Kremer - 2016 - Studia Logica 104 (3):487-502.
Abstract logics, logic maps, and logic homomorphisms.Steffen Lewitzka - 2007 - Logica Universalis 1 (2):243-276.

Analytics

Added to PP
2013-12-15

Downloads
279 (#69,833)

6 months
84 (#50,382)

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.
A ModalWalk Through Space.Marco Aiello & Johan van Benthem - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):319-363.
Logics for multi-subset spaces.Bernhard Heinemann - 2010 - Journal of Applied Non-Classical Logics 20 (3):219-240.

View all 11 citations / Add more citations

References found in this work

No references found.

Add more references