کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4662186 1633520 2009 25 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Modal languages for topology: Expressivity and definability
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
پیش نمایش صفحه اول مقاله
Modal languages for topology: Expressivity and definability
چکیده انگلیسی

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 Lt.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 159, Issues 1–2, May 2009, Pages 146-170