Dissertation, City University of New York (1993)
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.