On Logics and Homomorphism Closure

04/24/2021
by   Manuel Bodirsky, et al.
0

Predicate logic is the premier choice for specifying classes of relational structures. Homomorphisms are key to describing correspondences between relational structures. Questions concerning the interdependencies between these two means of characterizing (classes of) structures are of fundamental interest and can be highly non-trivial to answer. We investigate several problems regarding the homomorphism closure (homclosure) of the class of all (finite or arbitrary) models of logical sentences: membership of structures in a sentence's homclosure; sentence homclosedness; homclosure characterizability in a logic; normal forms for homclosed sentences in certain logics. For a wide variety of fragments of first- and second-order predicate logic, we clarify these problems' computational properties.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/07/2018

Descriptive Complexity for Counting Complexity Classes

Descriptive Complexity has been very successful in characterizing comple...
research
04/23/2023

Quantifying over Trees in Monadic Second-Order Logic

Monadic Second-Order Logic (MSO) extends First-Order Logic (FO) with var...
research
12/02/2014

Expressiveness of Logic Programs under General Stable Model Semantics

The stable model semantics had been recently generalized to non-Herbrand...
research
07/10/2020

Extension Preservation in the Finite and Prefix Classes of First Order Logic

It is well known that the classic Łoś-Tarski preservation theorem fails ...
research
03/07/2022

Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics

Semiring semantics evaluates logical statements by values in some commut...
research
04/24/2023

Pseudorandom Finite Models

We study pseudorandomness and pseudorandom generators from the perspecti...
research
09/10/2018

Model Theory of Monadic Predicate Logic with the Infinity Quantifier

This paper establishes model-theoretic properties of FOE^∞, a variation ...

Please sign up or login with your details

Forgot password? Click here to reset