Results 31 to 40 of about 140,069 (266)
Learning Concepts Definable in First-Order Logic with Counting [PDF]
Logical Methods in Computer ScienceWe study Boolean classification problems over relational background structures in the logical framework introduced by Grohe and Turán (TOCS 2004). It is known (Grohe and Ritzert, LICS 2017) that classifiers definable in first-order logic over structures ...
Steffen van Bergerem
doaj +1 more source
First-order Logic with Connectivity Operators
ACM Transactions on Computational Logic, 2023 First-order logic (FO) can express many algorithmic problems on graphs, such as the independent set and dominating set problem parameterized by solution size. However, FO cannot express the very simple algorithmic question whether two vertices are connected.
Nicole Schirrmacher +2 more
openaire +5 more sources
Extended First-Order Logic [PDF]
, 2009 We consider the EFO fragment of simple type theory, which restricts quantification and equality to base types but retains lambda abstractions and higher-order variables. We show that this fragment enjoys the characteristic properties of first-order logic: complete proof systems, compactness, and countable models.
Chad E. Brown, Gert Smolka
openaire +1 more source
Explaining the undecidability of first-order logic
Zagadnienia Filozoficzne w NauceTuring proved the unsolvability of the decision problem for first-order logic (Entscheidungsproblem) in his famous paper On Computable Numbers, with an Application to the Entscheidungsproblem.
Timm Lampert, Anderson Nakano
doaj +1 more source
First order logic to set requirements for secure code execution
Труды Института системного программирования РАН, 2018 Currently the problem of information security during designing and exploiting the objects of critical information infrastructure is paid special attention to.
A. V. Kozachok
doaj +1 more source
Ultraproducts and Related Constructions
Mathematics, 2022 In this work, we survey some research directions in which the ultraproduct construction and methods based on ultrafilters play significant roles. Rather different areas of mathematics have been considered: topics we are reviewing here include some ...
Gábor Sági
doaj +1 more source
The First-Order Logic of Hyperproperties [PDF]
CoRR, 2016 We investigate the logical foundations of hyperproperties. Hyperproperties generalize trace properties, which are sets of traces, to sets of sets of traces. The most prominent application of hyperproperties is information flow security: information flow policies characterize the secrecy and integrity of a system by comparing two or more execution ...
Bernd Finkbeiner, Martin Zimmermann 0002
openaire +4 more sources
Structures of Multi-line Standard Contradictions in First-order Logic [PDF]
Jisuanji kexueAutomatic reasoning constitutes a critical research domain in artificial intelligence,where inference rules play a pivotal role in determining its efficiency.Deductive reasoning based on the separation of contradictions represents a reliable and complete
ZENG Dan, HE Xingxing, LI Yingfang, LI Tianrui
doaj +1 more source
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 +1 more source
The ubiquitin‐proteasome system and autophagy as guardians of the cellular proteome
FEBS Letters, EarlyView.This Perspective covers the three principles governing the crosstalk between the ubiquitin‐proteasome system and autophagy in cellular proteostasis: (1) a shared ubiquitin code routing substrates via shuttle factors or autophagy receptors; (2) spatial compartmentalization into phase‐separated degradation hubs and organelle‐specific modules (exemplified
Ivan Dikic
wiley +1 more source