Finite Model Theory

DOI10.1007/3-540-28788-4MaRDI QIDQ5708365zbMATH OpenOpenAlexFDO

Authors Heinz-Dieter Ebbinghaus, Jörg Flum

Publication date 17 November 2005

Published in Springer Monographs in Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-28788-4

zbMATH Keywords

0-1-lawscomplexity classesfinite automatafinite model theoryfixed point logicLindström quantifierslogic for PTIMElogics with fixed-point operatorsoptimization problemsoraclesTuring machines

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Model theory of finite structures (03C13) Descriptive complexity and finite models (68Q19)

Recommendations

• scientific article; zbMATH DE number 1324669
• Mathematical logic and model theory. A brief introduction
• Elements of finite model theory.
• Finite model theory and its applications.
• scientific article; zbMATH DE number 803291

Cited in

(38)

• The middle ground-ancestral logic
• Model theory of monadic predicate logic with the infinity quantifier
• Modal definability: two commuting equivalence relations
• Characterizability in Horn belief revision
• An extension of the Ehrenfeucht-Fraïssé game for first order logics augmented with Lindström quantifiers
• On failure of 0-1 laws
• Dependence logic with a majority quantifier
• AXIOMS FOR FINITE COLLAPSE MODELS OF ARITHMETIC
• ERRATUM: "RATIONAL DYNAMICS AND EPISTEMIC LOGIC IN GAMES"
• Algebraic characterization of logically defined tree languages
• Towards incorporating background theories into quantifier elimination
• Approximate databases: a support tool for approximate reasoning
• scientific article; zbMATH DE number 4012586 (Why is no real title available?)
• scientific article; zbMATH DE number 1324669 (Why is no real title available?)
• Yes, the ``missing axiom of matroid theory is lost forever
• Some Aspects of Model Theory and Finite Structures
• Using Program Schemes to Capture Polynomial-Time Logically on Certain Classes of Structures
• Complexity and expressive power of second-order extended Horn logic
• Finite sets and frege structures
• On Borel complexity of the isomorphism problems for graph related classes of Lie algebras and finite p-groups
• Reasoning about social choice and games in monadic fixed-point logic
• PROBABILISTIC ROLE MODELS AND THE GUARDED FRAGMENT
• RATIONAL DYNAMICS AND EPISTEMIC LOGIC IN GAMES
• Logica universalis. Towards a general theory of logic
• scientific article; zbMATH DE number 5038454 (Why is no real title available?)
• scientific article; zbMATH DE number 2208072 (Why is no real title available?)
• On the Weisfeiler-Leman dimension of fractional packing
• Henkin quantifiers and the definability of truth
• An Asymptotic Analysis of Probabilistic Logic Programming, with Implications for Expressing Projective Families of Distributions
• Metafinite model theory
• Preservation theorems in finite model theory
• A logical description of priority separable games
• The expressive power of revised Datalog on problems with closure properties
• On the relative asymptotic expressivity of inference frameworks
• Finite model theory and its applications.
• Elements of finite model theory.
• On the descriptive complexity of vertex deletion problems
• First-order logic with equicardinality in random graphs

This page was built for publication: Finite Model Theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5708365)