Modal languages for topology: expressivity and definability

Details Modal languages for topology: expressivity and definability Modal languages for topology: expressivity and definability

2006-10-11

arxiv.org/abs/math/0610357v2

Mathematics

Logic

metadata corrected

Scientific paper

In this paper we study the expressive power and definability for (extended)
modal languages interpreted on topological spaces. We provide topological
analogues of the van Benthem characterization theorem and the
Goldblatt-Thomason definability theorem in terms of the well established
first-order topological language $L_t$.

Affiliated with

Also associated with

No associations

Rating

Modal languages for topology: expressivity and definability 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 languages for topology: expressivity and definability, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Modal languages for topology: expressivity and definability will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-579177