Spectra of Formulae with Henkin Quantifiers

2003 ◽  
pp. 29-45
Author(s):  
Joanna Golińska ◽  
Konrad Zdanowski
Keyword(s):  
Henkin Quantifiers

Henkin Quantifiers and Boolean Formulae

2012 ◽  
pp. 129-142 ◽  
Author(s):  
Valeriy Balabanov ◽  
Hui-Ju Katherine Chiang ◽  
Jie-Hong Roland Jiang
Keyword(s):  
Henkin Quantifiers

Henkin Quantifiers

1995 ◽  
pp. 193-262 ◽  
Author(s):  
Michał Krynicki ◽  
Marcin Mostowski
Keyword(s):  
Henkin Quantifiers

scholarly journals Henkin quantifiers and complete problems

1986 ◽  
Vol 32 ◽  
pp. 1-16 ◽  
Author(s):  
Andreas Blass ◽  
Yuri Gurevich
Keyword(s):  
Complete Problems ◽  
Henkin Quantifiers

Degrees of logics with Henkin quantifiers in poor vocabularies

2004 ◽  
Vol 43 (5) ◽  
pp. 691-702 ◽  
Author(s):  
Marcin Mostowski ◽  
Konrad Zdanowski
Keyword(s):  
Henkin Quantifiers

scholarly journals iDQ: Instantiation-Based DQBF Solving

10.29007/1s5k ◽  
2018 ◽  
Author(s):  
Andreas Fröhlich ◽  
Gergely Kovásznai ◽  
Armin Biere ◽  
Helmut Veith
Keyword(s):  
Experimental Analysis ◽  
Theoretical Foundation ◽  
Practical Applications ◽  
Quantified Boolean Formulas ◽  
Boolean Formulas ◽  
Henkin Quantifiers

Dependency Quantified Boolean Formulas (DQBF) are obtained by adding Henkin quantifiers to Boolean formulas and have seen growing interest in the last years. Since deciding DQBF is NEXPTIME-complete, efficient ways of solving it would have many practical applications. Still, there is only few work on solving this kind of formulas in practice. In this paper, we present an instantiation-based technique to solve DQBF efficiently. Apart from providing a theoretical foundation, we also propose a concrete implementation of our algorithm. Finally, we give a detailed experimental analysis evaluating our prototype iDQ on several DQBF as well as QBF benchmarks.

scholarly journals Henkin quantifiers and Boolean formulae: A certification perspective of DQBF

2014 ◽  
Vol 523 ◽  
pp. 86-100 ◽  
Author(s):  
Valeriy Balabanov ◽  
Hui-Ju Katherine Chiang ◽  
Jie-Hong R. Jiang
Keyword(s):  
Henkin Quantifiers

Towards a proof theory for Henkin quantifiers

2021 ◽  
Author(s):  
Matthias Baaz ◽  
Anela Lolic
Keyword(s):  
Proof Theory ◽  
Full Theory ◽  
Henkin Quantifiers

Abstract This paper presents a methodology to construct globally sound but possibly locally unsound analytic calculi for partial theories of Henkin quantifiers. It is demonstrated that usual locally sound analytic calculi do not exist for any reasonable fragment of the full theory of Henkin quantifiers. This is due to the combination of strong and weak quantifier inferences in one quantifier rule.

Sign in / Sign up

Export Citation Format

Share Document