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?)

Recommendations

• scientific article; zbMATH DE number 1163929
• Generalized quantifiers and modal logic
• Directions in generalized quantifier theory
• scientific article; zbMATH DE number 1064109

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)