First-order logic / by 323371 Smullyan, Raymond M.

Game semantics for first-order logic by Olivier Laurent

Get full text

Relating Z and First−order logic by Martin, A

First-order logics for comparative similarity by Williamson, T

Binding forms in first-order logic by Mogavero, F, Perelli, G

“…Aiming to pinpoint the reasons behind the decidability of some complex extensions of modal logic, we propose a new classification criterion for sentences of first-order logic, which is based on the kind of binding forms admitted in their expressions, i.e., on the way the arguments of a relation can be bound to a variable. …”

Relating Z and first−order logic by Martin, A

Relating Z and first-order logic by Martin, A

“…Despite being widely regarded as a gloss on first-order logic and set theory, Z has not been found to be very supportive of proof. …”

First-order logic : a concise introduction / by 283524 Heil, John

Subjects: “…First-order logic…”

Separating Regular Languages with First-Order Logic by Thomas Place, Marc Zeitoun

Get full text

Lindstrom theorems for fragments of first-order logic by Johan van Benthem, Balder ten Cate, Jouko Vaananen

“…Most existing characterizations of this kind concern extensions of first-order logic. But on the other hand, many logics relevant to computer science are fragments or extensions of fragments of first-order logic, e.g., k-variable logics and various modal logics. …”
Get full text

The succinctness of first-order logic on linear orders by Martin Grohe, Nicole Schweikardt

“…Our first theorem is concerned with the finite variable fragments of first-order logic. We prove that: (i) Up to a polynomial factor, the 2- and the 3-variable fragments of first-order logic on linear orders have the same succinctness. …”
Get full text

Positive First-order Logic on Words and Graphs by Denis Kuperberg

“…We study FO+, a fragment of first-order logic on finite words, where monadic predicates can only appear positively. …”
Get full text

From Separation Logic to First−Order Logic by Calcagno, P, Hague, M

On the strictness of the quantifier structure hierarchy in first-order logic by Yuguo He

“…We study a natural hierarchy in first-order logic, namely the quantifier structure hierarchy, which gives a systematic classification of first-order formulas based on structural quantifier resource. …”
Get full text

On the decidability of monadic first order logic in sequent calculus by Jean-Baptiste Joinet

“…In this article, a syntactical proof of decidability ofmonadic first-order logic (and of its completeness for finite models) is given. …”
Get full text

Omitting Types in Fragments and Extensions of First Order Logic by Tarek Sayed Ahmed

“…Let \(L_n\) denote first order logic restricted to the first n variables. …”
Get full text

Some Turing-Complete Extensions of First-Order Logic by Antti Kuusisto

“…We introduce a natural Turing-complete extension of first-order logic FO. The extension adds two novel features to FO. …”
Get full text

Many−Valued First−Order Logics with Probabilistic Semantics by Lukasiewicz, T

“…<p>We present n-valued first-order logics with a purely probabilistic semantics. …”

The Limits of Decidability for First Order Logic on CPDA Graphs by Broadbent, C

Successor-Invariant First-Order Logic on Classes of Bounded Degree by Julien Grange

“…We study the expressive power of successor-invariant first-order logic, which is an extension of first-order logic where the usage of an additional successor relation on the structure is allowed, as long as the validity of formulas is independent of the choice of a particular successor on finite structures. …”
Get full text