Skip navigation
Skip navigation

Hybrid logic with the difference modality for generalisations of graphs

Myers, Rob; Pattinson, Dirk

Description

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
URI: http://hdl.handle.net/1885/79538
Source: Journal of Applied Logic
DOI: 10.1016/j.jal.2010.08.011

Download

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:  12 November 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator