On Preservation Theorems for Two-Variable Logic
From MaRDI portal
Publication:4264532
DOI10.1002/malq.19990450304zbMath0933.03041OpenAlexW1975647280MaRDI QIDQ4264532
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
Related Items
Bounded model checking of infinite state systems ⋮ Omitting types for finite variable fragments and complete representations of algebras ⋮ On the Restraining Power of Guards ⋮ Unnamed Item
Cites Work
This page was built for publication: On Preservation Theorems for Two-Variable Logic