D. Gabelaia. Modal definability in topology. Master's thesis, ILLC, University of Amsterdam, 2001. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
Euclidean Hierarchy in Modal Logic - van Benthem, Bezhanishvili, Gehrke (2002) (Correct)
....with respect to arbitrary intersections. As a result, the standard concept of bisimulation is a particular case of a more general concept of topo bisimulation, and many known results on bisimulations can be obtained as particular cases of more general results on topo bisimulations (see, e.g. [2, 3, 4, 6]) 3 Logic of serial subsets of Definition 3.1. Call C a convex subset of R if x, y C and x y imply [x, y] C. Call S a serial subset of R if it is a finite union of convex subsets of R. C(R) denote the families of convex and serial subsets of R, respectively. Note that forms ....
D. Gabelaia. Modal definability in topology. Master's thesis, ILLC, University of Amsterdam, 2001.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC