Decidability issues for two-variable logics with several linear orders

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

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)

Cited In (3)

• Title not available (Why is that?)
• Finite satisfiability for two‐variable, first‐order logic with one transitive relation is decidable
• Two-Variable Logic over Countable Linear Orderings

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)