Generalized quantifiers in logic programs

DOI10.1007/3-540-46583-9_4MaRDI QIDQ4955352zbMATH OpenFDO

Authors Thomas Eiter, Georg Gottlob, Helmut Veith

Publication date 25 May 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-46583-9_4

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)

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

This page was built for publication: Generalized quantifiers in logic programs

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