scientific article; zbMATH DE number 7533353

DOI10.4230/LIPICS.CSL.2018.28MaRDI QIDQ5079753zbMATH OpenFDO

Authors A. Krebs, Kamal Lodaya, Paritosh K. Pandya, Howard Straubing

Publication date 28 May 2022

Full work available at URL https://doi.org/10.4230/LIPICS.CSL.2018.28

zbMATH Keywords

algebraic automata theoryfinite model theorytwo-variable logic

Mathematics Subject Classification ID

Logic in computer science (03B70)

Recommendations

• Two-variable logic with a between relation
• Two-variable logics with some betweenness relations: expressiveness, satisfiability and membership
• On the Decision Problem for Two-Variable First-Order Logic
• scientific article; zbMATH DE number 989195
• scientific article; zbMATH DE number 6001202
• An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics
• An effective characterization of the alternation hierarchy in two-variable logic
• An Effective Characterization of the Alternation Hierarchy in Two-Variable Logic
• Algebraic study of two deductive systems of relevance logic
• On logics with two variables

Cites work

• A generalization of finiteness
• A SURVEY ON SMALL FRAGMENTS OF FIRST-ORDER LOGIC OVER FINITE WORDS
• A SYNTACTICAL PROOF OF LOCALITY OF DA
• Dot-depth of star-free events
• Finite semigroup varieties of the form V*D
• First-order logic with two variables and unary temporal logic
• Going Higher in the First-Order Quantifier Alternation Hierarchy on Words
• scientific article; zbMATH DE number 3827223 (Why is no real title available?)
• scientific article; zbMATH DE number 4028925 (Why is no real title available?)
• scientific article; zbMATH DE number 618821 (Why is no real title available?)
• scientific article; zbMATH DE number 3368555 (Why is no real title available?)
• On finite monoids having only trivial subgroups
• Separation and the successor relation
• Sur le produit de concatenation non ambigu
• The complexity of propositional linear temporal logics
• Two-variable logic with a between relation

Cited in

(5)

• Two-variable logics with some betweenness relations: expressiveness, satisfiability and membership
• Unary and two-variable interval logics
• A generic characterization of generalized unary temporal logic and two-variable first-order logic
• In orbit with MeSCaL: higher in concatenation and navigational hierarchies of regular languages
• A first taste of MeSCaL, a tool for solving membership problems for regular languages

This page was built for publication:

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