Expressing properties in second- and third-order logic: hypercube graphs and SATQBF

DOI10.1093/jigpal/jzt025zbMath1342.03012arXiv1302.5254OpenAlexW1991463353MaRDI QIDQ5176677

Flavio Ferrarotti, Wei Ren, Jose Maria Turull Torres

Publication date: 27 February 2015

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1302.5254

zbMATH Keywords

second-order logicfinite model theoryqueriesquantified Boolean formulaehypercube graphsthird-order logic

Mathematics Subject Classification ID

Related Items (2)

Systematic Refinement of Abstract State Machines with Higher-Order Logic ⋮ Unnamed Item

This page was built for publication: Expressing properties in second- and third-order logic: hypercube graphs and SATQBF