Hybrid logic with the difference modality for generalisations of graphs
-
Altmetric Citations
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]
Collections | ANU 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 | Size | Format | Image |
---|---|---|---|---|
01_Myers_Hybrid_logic_with_the_2010.pdf | 283.84 kB | Adobe 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