Skip to search formSkip to main contentSkip to account menu

Fagin's theorem

Known as: Fagin (disambiguation), Fagin theorem 
Fagin's theorem is a result in descriptive complexity theory that states that the set of all properties expressible in existential second-order logic… 
Wikipedia (opens in a new tab)

Related topics

Related topics

8 relations
Descriptive complexity theoryFirst-order logicHO (complexity)Lexicographical order

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Efficient top-k retrieval for user preference queries
Efficient retrieval of the most relevant (i.e. top-k) tuples is an important requirement in information systems which access… 
2011
2011
Evaluating Top-k Algorithms with Various Sources of Data and User Preferences
Our main motivation is the data access model and aggregation algorithm for middleware by R. Fagin, A. Lotem and M. Naor. They… 
2008
2008
A Complete First-Order Logic of Knowledge and Time
We introduce and investigate quantified interpreted systems, a semantics to reason about knowledge and time in a first-order… 
2006
2006
Inverting schema mappings
A schema mapping is a specification that describes how data structured under one schema (the source schema) is to be transformed… 
2006
2006
The parameterized complexity of maximality and minimality problems
2006
2006
Finding the Plateau in an Aggregated Time Series
Given d input time series, an aggregated series can be formed by aggregating the d values at each time position. It is often… 
2001
2001
Nothing personal?, narrative reconstruction of Registered Nurses' experience in healthcare reform
Review
1999
Review
1999
The logic of knowledge games : showing a cardHans
Modelling the dynamics of multi-agent systems currently gets much attention from the research community, e. g. Gerbrandy 99… 
1999
1999
On the Adequacy of Modal Logic
McCarthy has argued that modal logic is too limited for various purposes. I consider the extent to which he is right. 
1996
1996
On Winning Strategies with Unary Quantifiers
A combinatorial argument for two nite structures to agree on all sentences with bounded quantiier rank in rst-order logic with… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)