Two-variable first-order logic with equivalence closure

DOI10.1109/LICS.2012.53MaRDI QIDQ5892437zbMATH OpenOpenAlexWikidataFDO

Authors Emanuel Kieroński, Jakub Michaliszyn, Ian Pratt-Hartmann, Lidia Tendera

Publication date 16 May 2017

Published in 2012 27th Annual IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/lics.2012.53

zbMATH Keywords

computational complexitydecidability

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• Two-variable first-order logic with equivalence closure
• Equivalence closure in the two-variable guarded fragment
• The two-variable fragment with counting and equivalence
• Logics with counting and equivalence
• Two-variable universal logic with transitive closure

Cited in

(16)

• SCL(EQ): SCL for first-order logic with equality
• Small substructures and decidability issues for first-order logic with two variables
• The two-variable fragment with counting and equivalence
• On the satisfiability of local first-order logics with data
• A double team semantics for generalized quantifiers
• On the decidability of elementary modal logics
• Equivalence closure in the two-variable guarded fragment
• Metric propositional neighborhood logic with an equivalence relation
• Two-Variable Separation Logic and Its Inner Circle
• Logics with counting and equivalence
• On two-variable first-order logic with a partial order
• Two-variable first-order logic with equivalence closure
• Regular graphs and the spectra of two-variable logic with counting
• Two-variable universal logic with transitive closure
• Two-variable logic with counting and trees
• Second-order logic on equivalence relations

This page was built for publication: Two-variable first-order logic with equivalence closure

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