Two-variable logic on 2-dimensional structures

DOI10.4230/LIPICS.CSL.2013.484MaRDI QIDQ2958540zbMATH OpenOpenAlexFDO

Authors Amaldev Manuel, Thomas Zeume

Publication date 2 February 2017

Full work available at URL https://dblp.uni-trier.de/db/conf/csl/csl2013.html#ManuelZ13

zbMATH Keywords

automatadata wordsdecidabilityFO\(^2\)satisfiability

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Logic in computer science (03B70) Automata and formal grammars in connection with logical questions (03D05) Formal languages and automata (68Q45)

Recommendations

• Two-variable logic on data words
• Two-variable logic with two order relations
• Two-variable logic with two order relations (extended abstract)
• Pebble-intervals automata and \(\text{FO}^2\) with two orders
• Two variable first-order logic over ordered domains

Cited in

(13)

• Feasible automata for two-variable logic with successor on data words
• Decidability issues for two-variable logics with several linear orders
• Two-variable logic on data words
• Two-Variable Separation Logic and Its Inner Circle
• A double team semantics for generalized quantifiers
• On the satisfiability of two-variable logic over data words
• QUESTIONS IN TWO-DIMENSIONAL LOGIC
• Walking on data words
• Two-variable logic with two order relations
• Two-variable logic with two order relations (extended abstract)
• On the existential fragments of local first-order logics with data
• On the satisfiability of local first-order logics with data
• Pebble-intervals automata and \(\text{FO}^2\) with two orders

This page was built for publication: Two-variable logic on 2-dimensional structures

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