On Preservation Theorems for Two-Variable Logic

DOI10.1002/MALQ.19990450304MaRDI QIDQ4264532zbMATH OpenOpenAlexFDO

Authors Erich Grädel, Eric Rosen

Publication date 29 March 2000

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19990450304

zbMATH Keywords

finite model theoryfinite variable logicpreservation theorem

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Interpolation, preservation, definability (03C40)

Recommendations

• Preservation theorems in linear continuous logic
• On logics with two variables
• Two theorems on many-valued logics
• Some characterization and preservation theorems in modal logic
• Logics preserving degrees of truth from varieties of residuated lattices
• Syntactic preservation theorems for intuitionistic predicate logic
• Properties of Intuitionistic Provability and Preservativity Logics
• scientific article; zbMATH DE number 1078559
• Two-variable logic with two order relations (extended abstract)

Cites work

• scientific article; zbMATH DE number 979011 (Why is no real title available?)
• scientific article; zbMATH DE number 803291 (Why is no real title available?)
• Modal logic over finite structures
• On languages with two variables

Cited in

(6)

• Bounded model checking of infinite state systems
• Preservation under substructures modulo bounded cores
• scientific article; zbMATH DE number 6866317 (Why is no real title available?)
• On the Restraining Power of Guards
• Omitting types for finite variable fragments and complete representations of algebras
• A generalization of the Łoś-Tarski preservation theorem

This page was built for publication: On Preservation Theorems for Two-Variable Logic

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