Hybrid logic with the difference modality for generalisations of graphs

Robert S.R. Myers, Dirk Pattinson

Research output: Contribution to journalArticlepeer-review

3 Citations (Scopus)


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 the global modality.

Original languageEnglish
Pages (from-to)441-458
Number of pages18
JournalJournal of Applied Logic
Issue number4
Publication statusPublished - Dec 2010
Externally publishedYes


Dive into the research topics of 'Hybrid logic with the difference modality for generalisations of graphs'. Together they form a unique fingerprint.

Cite this