The expressibility of fragments of Hybrid Graph Logic on finite digraphs

James Gate, Iain A. Stewart. The expressibility of fragments of Hybrid Graph Logic on finite digraphs. J. Applied Logic, 11(3):272-288, 2013. [doi]

Abstract

Abstract is missing.