Finitary S5-Theories
نویسندگان
چکیده
The objective of this paper is to identify a class of epistemic logic theories with group knowledge operators which have the fundamental property of being characterized by a finite number of finite models (up to equivalence). We specifically focus on S5-theories. We call this class of epistemic logic theories as finitary S5-theories. Models of finitary S5-theories can be shown to be canonical in that they do not contain two worlds with the same interpretation. When the theory is pure, these models are minimal and differ from each other only in the actual world. The paper presents an algorithm for computing all models of a finitary S5-theory. Finitary S5-theories find applications in several contexts—in particular, the paper discusses their use in epistemic multi-agent planning.
منابع مشابه
Free Iterative Theories: A Coalgebraic View
Iterative algebraic theories were introduced by Calvin C. Elgot in Elgot (1975) as a concept serving the study of computation (on, say, Turing machines) at a level abstracting from the nature of external memory. The main example presented by Elgot is the theory of rational trees, that is, infinite trees that are solutions of systems of finitary iterative equations. Or, equivalently, that posses...
متن کاملTheories
We consider the equivalence of Lawvere theories and finitary monads on Set from the perspective of Endf (Set)-enriched category theory, where Endf (Set) is the category of finitary endofunctors of Set. We identify finitary monads with one-object Endf (Set)-categories, and ordinary categories admitting finite powers (i.e., n-fold products of each object with itself) with Endf (Set)-categories ad...
متن کاملFinitary Sketches
Finitary sketches, i.e., sketches with nite-limit and nite-colimit specii-cations, are proved to be as strong as geometric sketches, i.e., sketches with nite-limit and arbitrary colimit speciications. Categories sketchable by such sketches are fully characterized in the innnitary rst-order logic: they are axiomatizable by-coherent theories, i.e., basic theories using nite conjunctions, countabl...
متن کاملFragment of Nonstandard Analysis with a Finitary Consistency Proof
We introduce a nonstandard arithmetic NQA− based on the theory developed by R. Chuaqui and P. Suppes in [2] (we will denote it by NQA+), with a weakened external open minimization schema. A finitary consistency proof for NQA− formalizable in PRA is presented. We also show interesting facts about the strength of the theories NQA− and NQA+; NQA− is mutually interpretable with I∆0 + EXP, and on th...
متن کاملThorn-forking in continuous logic
We study thorn forking and rosiness in the context of continuous logic. We prove that the Urysohn sphere is rosy (with respect to finitary imaginaries), providing the first example of an essentially continuous unstable theory with a nice notion of independence. In the process, we show that a real rosy theory which has weak elimination of finitary imaginaries is rosy with respect to finitary ima...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014