Local soundness for QBF calculi

DOI10.1007/978-3-319-94144-8_14MaRDI QIDQ1656580zbMATH OpenOpenAlexFDO

Authors Martin Suda, Bernhard Gleiss

Publication date 10 August 2018

Full work available at URL https://doi.org/10.1007/978-3-319-94144-8_14

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• On Local Reasoning in Verification
• Local quantifier elimination
• A Local System for Intuitionistic Logic
• On Stronger Calculi for QBFs
• scientific article; zbMATH DE number 522843
• Locally checkable proofs
• Note on globally sound analytic calculi for quantifier macros
• Local model checking in the modal mu-calculus
• scientific article; zbMATH DE number 6680147

Cited in

(5)

• Building strategies into QBF proofs
• On Stronger Calculi for QBFs
• Building strategies into QBF proofs
• Towards Uniform Certification in QBF
• Strategy extraction by interpolation

This page was built for publication: Local soundness for QBF calculi

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