Abstract:In this dissertation, we present for each natural number $k$, semantic characterizations of the $\exists^k \forall^*$ and $\forall^k \exists^*$ prefix classes of first order logic sentences, over all structures finite and infinite. This result, that we call the *generalized Łoś-Tarski theorem*, abbreviated $\mathsf{GLT}(k)$, yields the classical Łoś-Tarski preservation theorem when $k$ equals 0. It also provides new characterizations of the $\Sigma^0_2$ and $\Pi^0_2$ prefix classes, that are finer than all characterizations of these classes in the literature. Further, our semantic notions are finitary in nature, in contrast to those contained in the literature characterizations. In the context of finite structures, we formulate an abstract combinatorial property of structures, that when satisfied by a class, ensures that $\mathsf{GLT}(k)$ holds over the class. This property, that we call the *Equivalent Bounded Substructure Property*, abbreviated $\mathsf{EBSP}$, intuitively states that a large structure contains a small "logically similar" substructure. It turns out that this simply stated property is enjoyed by a variety of classes of interest in computer science: examples include words, trees (unordered, ordered or ranked), nested words, graph classes of bounded tree-depth/shrub-depth, and $m$-partite cographs. Further, $\mathsf{EBSP}$ remains preserved under various well-studied operations, such as complementation, transpose, the line-graph operation, disjoint union, cartesian and tensor products, etc. This enables constructing a wide spectrum of classes that satisfy $\mathsf{EBSP}$, and hence $\mathsf{GLT}(k)$. Remarkably, $\mathsf{EBSP}$ can be regarded as a finitary analogue of the classical downward Löwenheim-Skolem property. In summary, this dissertation provides new notions and results in both contexts, that of all structures and that of finite structures.

The $Π^1_1 \! \! \downarrow$ Löwenheim-Skolem-Tarski property of Stationary Logic

Upward Löwenheim-Skolem-Tarski Numbers for Abstract Logics

Reducing $ω$-model reflection to iterated syntactic reflection

On topology-related properties of abstract argumentation semantics. A correction and extension to Dynamics of argumentation systems: A division-based method.

A Pi(1)(1)-Uniformization Principle For Reals

An isomorphism theorem for models of weak König’s lemma without primitive recursion

A Generalization of the Łoś-Tarski Preservation Theorem

Listings and Logics.

Spatial logic of modal mu-calculus and tangled closure operators

Projective Stationary Sets and Strong Reflection Principle

A Note on Tableaux of Logic of Paradox.

DRAT and Propagation Redundancy Proofs Without New Variables

A modal logic amalgam of classical and intuitionistic propositional logic

Towards Propositional KLM-Style Defeasible Standpoint Logics

Logical Step-Indexed Logical Relations

Generalisations of Stationarity, Closed and Unboundedness, and of Jensen's $\Box$

Well-foundedness proof for $Π^{1}_{1}$-reflection

Further remarks on the dual negation in team logics

Fraïssé's conjecture, partial impredicativity and well-ordering principles, part I

Constructive Provability Logic

PDL on Steroids: on Expressive Extensions of PDL with Intersection and Converse