The Two-Variable Fragment with Counting Revisited

DOI10.1007/978-3-642-13824-9_4zbMath1305.68103OpenAlexW2121515872MaRDI QIDQ4931588

Ian Pratt-Hartmann

Publication date: 29 September 2010

Published in: Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-13824-9_4

zbMATH Keywords

complexitysatisfiabilityfinite satisfiabilitycounting quantifierstwo-variable fragment of first-order logic

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Logic with extra quantifiers and operators (03C80) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (4)

Two-Variable Logic with Counting and Trees ⋮ On the complexity of team logic and its two-variable fragment ⋮ A Note on C² Interpreted over Finite Data-Words ⋮ Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations

This page was built for publication: The Two-Variable Fragment with Counting Revisited