scientific article; zbMATH DE number 1453079

MaRDI QIDQ4955352zbMATHFDO

Authors Thomas Eiter, Georg Gottlob, Helmut Veith

Publication date 25 May 2000

zbMATH Keywords

generalized quantifiersmodular logic programming

Mathematics Subject Classification ID

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

Recommendations

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

Cited in

(13)

• Generalized DEL-Sequents
• scientific article; zbMATH DE number 3296225 (Why is no real title available?)
• Understanding Gentzen and Frege Systems for QBF
• scientific article; zbMATH DE number 1337623 (Why is no real title available?)
• Generalized quantifiers in dependence logic
• scientific article; zbMATH DE number 994051 (Why is no real title available?)
• Generalized quantification as substructural logic
• scientific article; zbMATH DE number 1482189 (Why is no real title available?)
• The complexity class θp2: Recent results and applications in AI and modal logic
• Gentzen-type formulation of the propositional logic LQ
• Quantifiers in logic and proof-search using permissive-nominal terms and sets
• scientific article; zbMATH DE number 1378578 (Why is no real title available?)
• scientific article; zbMATH DE number 1200168 (Why is no real title available?)

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)