Skip navigation
Skip navigation

Hybrid logic with the difference modality for generalisations of graphs

Myers, Rob; Pattinson, Dirk


We discuss recent work generalising the basic hybrid logic with the difference modality to any reasonable notion of transition. This applies equally to both subrelational transitions such as monotone neighbourhood frames or selection function models as well as those with more structure such as Markov chains and alternating temporal frames. We provide a generic canonical cut-free sequent system and a terminating proof-search strategy for the fragment without the difference modality but including...[Show more]

CollectionsANU Research Publications
Date published: 2010
Type: Journal article
Source: Journal of Applied Logic
DOI: 10.1016/j.jal.2010.08.011


File Description SizeFormat Image
01_Myers_Hybrid_logic_with_the_2010.pdf283.84 kBAdobe PDF    Request a copy

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  19 May 2020/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator