Two-Variable Universal Logic with Transitive Closure

DOI10.4230/LIPIcs.CSL.2012.396zbMath1252.03078OpenAlexW2258592034MaRDI QIDQ4649561

Emanuel Kieroński, Jakub Michaliszyn

Publication date: 22 November 2012

Full work available at URL: http://dx.doi.org/10.4230/LIPIcs.CSL.2012.396

zbMATH Keywords

decidabilitytransitive closuretwo-variable logic

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Logic in computer science (03B70) Decidability of theories and sets of sentences (03B25)

Related Items (2)

Two-Variable Logic with Counting and Trees ⋮ A double team semantics for generalized quantifiers

This page was built for publication: Two-Variable Universal Logic with Transitive Closure