Decidability issues for two-variable logics with several linear orders

DOI10.4230/LIPICS.CSL.2011.337MaRDI QIDQ2915693zbMATH OpenOpenAlexFDO

Authors Emanuel Kieroński

Publication date 18 September 2012

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

zbMATH Keywords

decidabilitylinear orderstwo-variable logicguarded fragment

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25)

Recommendations

• Two-variable logic with two order relations (extended abstract)
• Two-variable logic with two order relations
• Two-variable logic with counting and a linear order
• Two variable first-order logic over ordered domains
• Two-variable logic on 2-dimensional structures

Cited in

(9)

• Finite satisfiability for two‐variable, first‐order logic with one transitive relation is decidable
• Undecidability results on two-variable logics
• scientific article; zbMATH DE number 7566055 (Why is no real title available?)
• Two-Variable Logic over Countable Linear Orderings
• Two-variable logic with two order relations (extended abstract)
• Two variable first-order logic over ordered domains
• Order-invariance of two-variable logic is decidable
• Two-variable logic with two order relations
• \(\mathrm{FO}^2\) with one transitive relation is decidable

This page was built for publication: Decidability issues for two-variable logics with several linear orders

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