First-order logic and its infinitary quantifier extensions over countable words

DOI10.1007/978-3-030-86593-1_3OpenAlexW3199627414MaRDI QIDQ2140479

Bharat Adsul, A. V. Sreejith, Saptarshi Sarkar

Publication date: 20 May 2022

Full work available at URL: https://arxiv.org/abs/2107.01468

zbMATH Keywords

first-order logicmonoidscountable words

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (2)

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Temporal logic. 1st International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994. Proceedings
• Algebraic Characterization of FO for Scattered Linear Orderings
• Limited Set quantifiers over Countable Linear Orderings
• A SURVEY ON SMALL FRAGMENTS OF FIRST-ORDER LOGIC OVER FINITE WORDS
• Two-Variable Logic over Countable Linear Orderings
• AN ALGEBRAIC APPROACH TO MSO-DEFINABILITY ON COUNTABLE LINEAR ORDERINGS

This page was built for publication: First-order logic and its infinitary quantifier extensions over countable words