scientific article; zbMATH DE number 1453079

zbMATH Open0966.68043MaRDI QIDQ4955352FDOQ4955352

Helmut Veith, Thomas Eiter, Georg Gottlob

Publication date: 25 May 2000

Title of this publication is not available (Why is that?)

zbMATH Keywords

generalized quantifiersmodular logic programming

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Logic programming (68N17)

Cited In (13)

• Title not available (Why is that?)
• Understanding Gentzen and Frege Systems for QBF
• Title not available (Why is that?)
• Title not available (Why is that?)
• Gentzen-type formulation of the propositional logic LQ
• Generalized DEL-Sequents
• Generalized quantification as substructural logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• The complexity class θp2: Recent results and applications in AI and modal logic
• Generalized quantifiers in dependence logic
• Quantifiers in logic and proof-search using permissive-nominal terms and sets
• Title not available (Why is that?)

This page was built for publication:

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