Results 1 to 10 of about 140,069 (266)
A First-Order Logic with Frames [PDF]
Programming Languages and Systems29th European Symposium on Programming, 2020 AbstractWe propose a novel logic, called Frame Logic (FL), that extends first-order logic (with recursive definitions) using a construct $$\textit{Sp}(\cdot )$$ Sp ( · ) that captures the implicit supports of formulas ...
Murali A +3 more
europepmc +5 more sources
Making first order linear logic a generating grammar [PDF]
Logical Methods in Computer Science, 2023 It is known that different categorial grammars have surface representation in a fragment of first order multiplicative linear logic (MLL1). We show that the fragment of interest is equivalent to the recently introduced extended tensor type calculus (ETTC)
Sergey Slavnov
doaj +1 more source
Positive First-order Logic on Words and Graphs [PDF]
Logical Methods in Computer Science, 2023 We study FO+, a fragment of first-order logic on finite words, where monadic predicates can only appear positively. We show that there is an FO-definable language that is monotone in monadic predicates but not definable in FO+.
Denis Kuperberg
doaj +1 more source
Interactive Interpretation Viewer for Typed First-order Logic
Proceedings of the International Florida Artificial Intelligence Research Society Conference, 2023 This poster describes the Interactive Interpretation Viewer - IIV, for finite interpretations in typed first-order logic written in the (new) TPTP format for interpretations.
Jack McKeown, Geoff Sutcliffe
doaj +1 more source
Successor-Invariant First-Order Logic on Classes of Bounded Degree [PDF]
Logical Methods in Computer Science, 2021 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 ...
Julien Grange
doaj +1 more source
Game semantics for first-order logic [PDF]
Logical Methods in Computer Science, 2010 We refine HO/N game semantics with an additional notion of pointer (mu-pointers) and extend it to first-order classical logic with completeness results.
Olivier Laurent
doaj +1 more source
GEOMETRISATION OF FIRST-ORDER LOGIC [PDF]
The Bulletin of Symbolic Logic, 2015 AbstractThat every first-order theory has a coherent conservative extension is regarded by some as obvious, even trivial, and by others as not at all obvious, but instead remarkable and valuable; the result is in any case neither sufficiently well-known nor easily found in the literature.
Dyckhoff R., Negri S.
openaire +5 more sources
Separating Regular Languages with First-Order Logic [PDF]
Logical Methods in Computer Science, 2016 Given two languages, a separator is a third language that contains the first one and is disjoint from the second one. We investigate the following decision problem: given two regular input languages of finite words, decide whether there exists a first ...
Thomas Place, Marc Zeitoun
doaj +1 more source
First-order logical filtering [PDF]
Artificial Intelligence, 2011 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Afsaneh Shirazi, Eyal Amir
openaire +2 more sources
Lindstrom theorems for fragments of first-order logic [PDF]
Logical Methods in Computer Science, 2009 Lindstr\"om theorems characterize logics in terms of model-theoretic conditions such as Compactness and the L\"owenheim-Skolem property. Most existing characterizations of this kind concern extensions of first-order logic.
Johan van Benthem +2 more
doaj +1 more source