Segment transit function of the induced path function of graphs and its first-order definability

DOI10.1007/978-3-031-26689-8_9MaRDI QIDQ6132572zbMATH OpenFDO

Authors Jeny Jacob, Manoj Changat

Publication date 17 August 2023

Published in Logic and Its Applications (Search for Journal in Brave)

zbMATH Keywords

first order definabilityinduced path functionsegment transit function

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) General logic (03Bxx)

Recommendations

• The induced path transit function and the Pasch axiom
• Induced Path Transit Function, Betweenness and Monotonicity
• scientific article; zbMATH DE number 5499517
• Induced path transit function, monotone and Peano axioms
• \(n\)-ary transit functions in graphs
• Remarks on path-transitivity in finite graphs
• Semi-transitivity of directed split graphs generated by morphisms
• Definability in first-order theories of graph orderings
• Definability in first order theories of graph orderings
• The first order definability of graphs: Upper bounds for quantifier depth

Cites work

• scientific article; zbMATH DE number 439012 (Why is no real title available?)
• scientific article; zbMATH DE number 3697163 (Why is no real title available?)
• scientific article; zbMATH DE number 1842910 (Why is no real title available?)
• scientific article; zbMATH DE number 1449370 (Why is no real title available?)
• scientific article; zbMATH DE number 5499517 (Why is no real title available?)
• A characterization of the interval function of a connected graph
• A first order logic definition of beyond-planar graphs
• A note on the interval function of a disconnected graph
• An application of games to the completeness problem for formalized theories
• Axiomatic characterization of the interval function of a graph
• Betweenness in graphs: a short survey on shortest and induced path betweenness
• Complexity results related to monophonic convexity
• Convex sets in graphs. II: Minimal path convexity
• Convexities related to path properties on graphs
• The All-Paths Transit Function of a Graph
• The induced path convexity, betweenness, and svelte graphs
• The induced path function, monotonicity and betweenness

This page was built for publication: Segment transit function of the induced path function of graphs and its first-order definability

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