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

DOI10.1007/978-3-031-26689-8_9MaRDI QIDQ6132572

Manoj Changat, Jeny Jacob

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)

Cites Work

• The induced path function, monotonicity and betweenness
• Complexity results related to monophonic convexity
• Axiomatic characterization of the interval function of a graph
• Convex sets in graphs. II: Minimal path convexity
• The induced path convexity, betweenness, and svelte graphs
• A note on the interval function of a disconnected graph
• Convexities related to path properties on graphs
• Betweenness in graphs: a short survey on shortest and induced path betweenness
• The All-Paths Transit Function of a Graph
• An application of games to the completeness problem for formalized theories
• A characterization of the interval function of a connected graph
• A First Order Logic Definition of Beyond-Planar Graphs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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