One-dimensional logic over words

DOI10.4230/LIPICS.CSL.2016.38MaRDI QIDQ5278427zbMATH OpenOpenAlexFDO

Authors Emanuel Kieroński

Publication date 19 July 2017

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

zbMATH Keywords

expressivityfragments of first-order logicsatisfiabilitywords

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Logic in computer science (03B70) Analysis of algorithms and problem complexity (68Q25)

Recommendations

• One-Dimensional Logic over Trees
• One-dimensional fragment of first-order logic
• Uniform one-dimensional fragments with one equivalence relation
• Complexity and expressivity of uniform one-dimensional fragment with equality
• A SURVEY ON SMALL FRAGMENTS OF FIRST-ORDER LOGIC OVER FINITE WORDS

Cited in

(10)

• Finite \(H\)-dimension does not imply expressive completeness
• Uniformization problem for variants of first order logic over finite words
• Complexity and expressivity of uniform one-dimensional fragment with equality
• One-dimensional fragment of first-order logic
• One-dimensional guarded fragments
• One-Dimensional Logic over Trees
• Uniform one-dimensional fragments with one equivalence relation
• scientific article; zbMATH DE number 5064947 (Why is no real title available?)
• One-dimensional fragment over words and trees
• Uniform guarded fragments

This page was built for publication: One-dimensional logic over words

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5278427)