Decidability Issues for Two-Variable Logics with Several Linear Orders

DOI10.4230/LIPIcs.CSL.2011.337zbMath1247.03014OpenAlexW2293300167MaRDI QIDQ2915693

Emanuel Kieroński

Publication date: 18 September 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_777e.html

zbMATH Keywords

linear ordersdecidabilityguarded fragmenttwo-variable logic

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25)

Related Items (2)

Finite satisfiability for two‐variable, first‐order logic with one transitive relation is decidable ⋮ Unnamed Item

This page was built for publication: Decidability Issues for Two-Variable Logics with Several Linear Orders