A Syntactic Embedding of Predicate Logic into Second-Order Propositional Logic

نویسندگان
چکیده

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

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

منابع مشابه

Second-order Propositional Announcement Logic

In this paper we introduce Second-order Propositional Announcement Logic (SOPAL): a language to express arbitrary announcements in Public Announcement Logic, by means of propositional quantification. We present SOPAL within a multi-agent context, and show that it is rich enough to express complex notions such as preservation under arbitrary announcements, knowability, and successfulness. We ana...

متن کامل

Embedding Gödel propositional logic into Prior’s tense logic

The well-known Gödel translation embeds intuitionistic propositional logic into the modal logic S4. In this note, we use essentially the same translation to embed Gödel infinitevalued propositional logic into a schematic extension of Prior’s bimodal tense logic that allows finite chains only as flows of time. While our proofs use elementary techniques in many-valued algebraic logic, our embeddi...

متن کامل

Expressivity of Second Order Propositional Modal Logic

We consider second order propositional modal logic (SOPML), an extension of the basic modal language with propositional quantifiers introduced by Kit Fine in 1970. We determine the precise expressive power of SOPML by giving analogues of the Van Benthem-Rosen theorem and the GoldblattThomason theorem. Furthermore, we show that the basic modal language is the bisimulation invariant fragment of S...

متن کامل

Quantifier Elimination in Second-Order Predicate Logic

An algorithm is presented which eliminates second–order quantifiers over predicate variables in formulae of type ∃P1, . . . , Pnψ where ψ is an arbitrary formula of first– order predicate logic. The resulting formula is equivalent to the original formula – if the algorithm terminates. The algorithm can for example be applied to do interpolation, to eliminate the second–order quantifiers in circ...

متن کامل

A Semantical Analysis of Second-Order Propositional Modal Logic

This paper is aimed as a contribution to the use of formal modal languages in Artificial Intelligence. We introduce a multi-modal version of Second-order Propositional Modal Logic (SOPML), an extension of modal logic with propositional quantification, and illustrate its usefulness as a specification language for knowledge representation as well as temporal and spatial reasoning. Then, we define...

متن کامل

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


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

ژورنال

عنوان ژورنال: Notre Dame Journal of Formal Logic

سال: 2010

ISSN: 0029-4527

DOI: 10.1215/00294527-2010-029