Decidability of cylindric set algebras of dimension two and first-order logic with two variables
From MaRDI portal
Publication:4948527
DOI10.2307/2586797zbMath0953.03012OpenAlexW2006059181MaRDI QIDQ4948527
Szabolcs Mikulás, Maarten Marx
Publication date: 11 April 2000
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2586797
Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25) Cylindric and polyadic algebras; relation algebras (03G15) Basic properties of first-order languages and structures (03C07)
Related Items (1)
Cites Work
- Logic at work. Essays dedicated to the memory of Helena Rasiowa
- Extending partial isomorphisms on finite structures
- The unsolvability of the Gödel class with identity
- On languages with two variables
- On the Decision Problem for Two-Variable First-Order Logic
- Zum Entscheidungsproblem des logischen Funktionenkalküls
- Two-dimensional modal logic
This page was built for publication: Decidability of cylindric set algebras of dimension two and first-order logic with two variables