MoL-2001-11: Gabelaia, David (2001) Modal definability in topology. [Report]
![[thumbnail of Full Text (PS)]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Full Text (PS))
MoL-2001-11.text.ps.gz Download (193kB) |
Preview |
Text (Full Text (PDF))
MoL-2001-11.text.pdf Download (279kB) | Preview |
|
Text (Abstract)
MoL-2001-11.abstract.txt Download (581B) |
Abstract
This thesis is mainly concerned with the definability issue when modal
logic is interpreted on topological spaces. A topological analogon of
Goldblatt-Thomason theorem is proved. Some new topological
constructions are introduced. One of them, namely the notion of
compact extension, is a generalization of the concept of Stone-Cech
compactification known in topology. The preservation of modal validity
with respect to suitable topological operations is presented.
| Item Type: | Report |
|---|---|
| Report Nr: | MoL-2001-11 |
| Series Name: | Master of Logic Thesis (MoL) Series |
| Year: | 2001 |
| Uncontrolled Keywords: | Modal Logic, semantics, topology, definability. |
| Date Deposited: | 12 Oct 2016 14:38 |
| Last Modified: | 12 Oct 2016 14:38 |
| URI: | https://eprints.illc.uva.nl/id/eprint/724 |
Actions (login required)
 |
View Item |
