Topics in Subset Space Logic

نویسندگان

  • Johan van Benthem
  • Joel Hamkins
  • Dick de Jongh
  • Eric Pacuit
چکیده

To my father who taught me that " M9ntıq elmlerin elmidir " and to my mother with the deepest gratitude...

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

OPTIMIZATION OF SKELETAL STRUCTURES USING IMPROVED GENETIC ALGORITHM BASED ON PROPOSED SAMPLING SEARCH SPACE IDEA

In this article, by Partitioning of designing space, optimization speed is tried to be increased by GA. To this end, designing space search is done in two steps which are global search and local search. To achieve this goal, according to meshing in FEM, firstly, the list of sections is divided to specific subsets. Then, intermediate member of each subset, as representative of subset, is defined...

متن کامل

dominating subset and representation graph on topological spaces

Let a topological space. An intersection graph on a topological space , which denoted by ‎ , is an undirected graph which whose vertices are open subsets of and two vertices are adjacent if the intersection of them are nonempty. In this paper, the relation between topological properties of  and graph properties of ‎  are investigated. Also some classifications and representations for the graph ...

متن کامل

Social Logic of Kitchen Space in Vernacular Architecture (Case Study: Qeshm Housing) – Examination and Analysis

Culture and social relations play a significant role in the formation of the structure of vernacular housing of any region, especially in the Islamic countries where privacy has a considerable effect on the vernacular culture, and consequently, on the house’s structure. Among the house spaces, the kitchen is more affected than other spaces by such issues so that its relations pattern with other...

متن کامل

Multi-Agent Subset Space Logic

Subset space logics have been introduced and studied as a framework for reasoning about a notion of effort in epistemic logic. The seminal Subset Space Logic (SSL) by Moss and Parikh modeled a single agent, and most work in this area has focused on different extensions of the language, or different model classes resulting from restrictions on subset spaces, while still keeping the single-agent ...

متن کامل

A Structural Analysis of Musical Gnostic Prose works with an Emphasis on their Lyrical Contents

Gnostic prose works cover a wide range of subjects, contents, styles, structures, languages, and manners of expression. They might, therefore, be all categorized under one single literary genre. Applying the general term "gnostic prose works" to these oeuvres hinders our understanding of their true nature. Despite that many gnostic prose works belong to Gnosticism, they have special characteris...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2009