Decidability issues for two-variable logics with several linear orders

DOI10.4230/LIPICS.CSL.2011.337zbMATH Open1247.03014OpenAlexW2293300167MaRDI QIDQ2915693FDOQ2915693

Authors: Emanuel Kieroński 

Publication date: 18 September 2012

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

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

zbMATH Keywords

decidabilitylinear orderstwo-variable logicguarded fragment

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25)

Cited In (9)

• Title not available (Why is that?)
• Order-invariance of two-variable logic is decidable
• Undecidability results on two-variable logics
• Two-variable logic with two order relations (extended abstract)
• \(\mathrm{FO}^2\) with one transitive relation is decidable
• Finite satisfiability for two‐variable, first‐order logic with one transitive relation is decidable
• Two variable first-order logic over ordered domains
• Two-Variable Logic over Countable Linear Orderings
• Two-variable logic with two order relations

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)