Two-Variable Logic over Countable Linear Orderings

DOI10.4230/LIPICS.MFCS.2016.66zbMath1398.03063OpenAlexW2541640833MaRDI QIDQ4608629

Amaldev Manuel, A. V. Sreejith

Publication date: 21 March 2018

Full work available at URL: https://dblp.uni-trier.de/db/conf/mfcs/mfcs2016.html#ManuelS16

zbMATH Keywords

countable linear orderings\(\circ\)-monoids\(\mathrm{FO}^2\)

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (3)

First-order logic and its infinitary quantifier extensions over countable words ⋮ Algebraic characterizations and block product decompositions for first order logic and its infinitary quantifier extensions over countable words ⋮ First-order separation over countable ordinals

This page was built for publication: Two-Variable Logic over Countable Linear Orderings