On the complexity of propositional quantification in intuitionistic logic

Recommendations

scientific article; zbMATH DE number 1088204
On propositional quantifiers in provability logic
Complexity of intuitionistic propositional logic and its fragments
scientific article; zbMATH DE number 3995647
scientific article; zbMATH DE number 2015268
The complexity of the disjunction and existential properties in intuitionistic logic
scientific article; zbMATH DE number 3976993
scientific article; zbMATH DE number 1390276
Propositional quantification in the monadic fragment of intuitionistic logic
On the computational content of intuitionistic propositional proofs

Cites work

Semantical investigations in Heyting's intuitionistic logic

Cited in

(36)

On the homogeneity property for certain quantifier logics
On the number of new logical constants in intuitionistic propositional calculus
On propositional quantifiers in provability logic
Non-axiomatizable second order intuitionistic propositional logic
Propositional quantification in the topological semantics for S4
Decidability of quantified propositional intuitionistic logic and S4 on trees of height and arity \(\leq \omega\)
Statistics of intuitionistic versus classical logics
Quantified multimodal logics in simple type theory
On the logic of belief and propositional quantification
A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers
Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter
Uniform interpolation and the existence of sequent calculi
Expressivity of second order propositional modal logic
Computational complexity of theories of a binary predicate with a small number of variables
On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility
A Splitting Algorithm Based on Soft Constraints for the Computation of Truth Degree in Quantitative Logic
Linear Kripke frames and Gödel logics
Mereotopology in 2nd-order and modal extensions of intuitionistic propositional logic
scientific article; zbMATH DE number 3966034 (Why is no real title available?)
scientific article; zbMATH DE number 3976993 (Why is no real title available?)
Second-order propositional modal logic and monadic alternation hierarchies
Representability in second-order propositional poly-modal logic
Completeness of second-order propositional S4 and H in topological semantics
scientific article; zbMATH DE number 7577569 (Why is no real title available?)
The complexity of disjunction in intuitionistic logic
Logics for propositional contingentism
Restricted positive quantification is not elementary
How hard is positive quantification?
Pitts' quantifiers are not topological quantification
Бинарный предикат, транзитивное замыкание, две-три переменные: сыграем в домино?
Axiomatizability of propositionally quantified modal logics on relational frames
Expressive power of propositionally quantified modal logics on variable domain structures with accessibility
Complexity of subclasses of the intuitionistic propositional calculus
Fine on the possibility of vagueness
Variations on the Kripke trick
Uniform interpolation and propositional quantifiers in modal logics

This page was built for publication: On the complexity of propositional quantification in intuitionistic logic

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