scientific article
From MaRDI portal
Publication:3142555
zbMath0788.03051MaRDI QIDQ3142555
Publication date: 9 January 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
surveyinterpolationcomplexityinfinitary logicdefinabilitytemporal logicfinite structuresfixed-point logicsfinite variable logicsScott sentencesdefinable linear orderings of types
Modal logic (including the logic of norms) (03B45) Model theory of finite structures (03C13) Interpolation, preservation, definability (03C40) Other infinitary logic (03C75)
Related Items (10)
Three-variable statements of set-pairing ⋮ Canonization for two variables and puzzles on the square ⋮ On propositional definability ⋮ How to define a linear order on finite models ⋮ Finite-Variable Logics Do Not Have Weak Beth Definability Property ⋮ Linear ordering on graphs, anti-founded sets and polynomial time computability ⋮ Recursive definitions and fixed-points on well-founded structures ⋮ The \(k\)-variable property is stronger than H-dimension \(k\) ⋮ TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY ⋮ Recursive Definitions and Fixed-Points
This page was built for publication:
