Results 1 to 10 of about 1,704,944 (274)
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 +6 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 +7 more sources
Artificial Intelligence, 2017 Distributed First Order Logic (DFOL) has been introduced more than ten years ago with the purpose of formalising distributed knowledge-based systems, where knowledge about heterogeneous domains is scattered into a set of interconnected modules.
Ghidini, Chiara, Serafini, Luciano
core +3 more sources
Tree Languages Defined in First-Order Logic with One Quantifier Alternation [PDF]
Logical Methods in Computer Science, 2010 We study tree languages that can be defined in \Delta_2 . These are tree languages definable by a first-order formula whose quantifier prefix is forall exists, and simultaneously by a first-order formula whose quantifier prefix is .
Mikolaj Bojanczyk, Luc Segoufin
doaj +9 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
Order-Invariant First-Order Logic over Hollow Trees [PDF]
, 2020 We show that the expressive power of order-invariant first-order logic collapses to first-order logic over hollow trees. A hollow tree is an unranked ordered tree where every non leaf node has at most four adjacent nodes: two siblings (left and right ...
Grange, Julien, Segoufin, Luc
core +4 more sources
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