First-Order Logic with Connectivity Operators

DOI10.4230/LIPICS.CSL.2022.34MaRDI QIDQ6124969zbMATH OpenOpenAlexFDO

Authors Sebastian Siebertz, Alexandre Vigny

Publication date 10 April 2024

Full work available at URL https://hal.science/hal-04625549

zbMATH Keywords

graph theoryconnectivityfirst-order logic

Mathematics Subject Classification ID

Logic in computer science (03B70)

Recommendations

• First-order Logic with Connectivity Operators
• scientific article; zbMATH DE number 1163943
• Where first-order and monadic second-order logic coincide
• Where first-order and monadic second-order logic coincide

Cited in

(2)

• A categorical account of composition methods in logic
• First-order Logic with Connectivity Operators

This page was built for publication: First-Order Logic with Connectivity Operators

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