scientific article; zbMATH DE number 1163943

MaRDI QIDQ4395567zbMATH OpenFDO

Authors Lauri Hella, Gabriel Sandu

Publication date 11 June 1998

zbMATH Keywords

connectivity of finite graphsextension of first-order logic by unary generalized quantifierspartially ordered connective

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Connectivity (05C40)

Recommendations

• On winning strategies with unary quantifiers
• PARTIALLY ORDERED CONNECTIVES
• Logical Approaches to Computational Barriers
• Hierarchies of Partially Ordered Connectives and Quantifiers

Cited in

(12)

• Partially ordered connectives and monadic monotone strict NP
• IF-logic and truth-definition
• On winning strategies with unary quantifiers
• scientific article; zbMATH DE number 15868 (Why is no real title available?)
• Hierarchies of Partially Ordered Connectives and Quantifiers
• scientific article; zbMATH DE number 1163941 (Why is no real title available?)
• Connectedness of the theory of non-surjective injections
• scientific article; zbMATH DE number 7266598 (Why is no real title available?)
• Logical Approaches to Computational Barriers
• First-order Logic with Connectivity Operators
• First-Order Logic with Connectivity Operators
• Order-theoretical connectivity

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