𝔖 Bobbio Scriptorium
✦   LIBER   ✦

An existential fragment of second order logic

✍ Scribed by Eric Rosen

Publisher
Springer
Year
1999
Tongue
English
Weight
139 KB
Volume
38
Category
Article
ISSN
0933-5846

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Monadic Second Order Logic And Its Fragm
Monadic Second Order Logic And Its Fragments
✍ Giacomo Lenzi πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 230 KB

Various recent results about monadic second order logic and its fragments are presented. These results have been obtained in the framework of the EU TMR Project GETGRATS.

One unary function says less than two in
One unary function says less than two in existential second order logic
✍ Bernd Loescher πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 643 KB

We show that the set of square numbers is the spectrum of an ~' ,,,-sentence (existential second order logic with quantification over unary function variables) with two unary function variables, but it is not the spectrum of IQ;,,-sentences with only one unary function variable. @ 1997 Elsevier Scie

A Defense of Second-Order Logic
A Defense of Second-Order Logic
✍ OtΓ‘vio Bueno πŸ“‚ Article πŸ“… 2010 πŸ› Springer 🌐 English βš– 288 KB
Decidable fragments of first-order tempo
Decidable fragments of first-order temporal logics
✍ Ian Hodkinson; Frank Wolter; Michael Zakharyaschev πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 342 KB

In this paper, we introduce a new fragment of the ΓΏrst-order temporal language, called the monodic fragment, in which all formulas beginning with a temporal operator (Since or Until) have at most one free variable. We show that the satisΓΏability problem for monodic formulas in various linear time st