Hybrid logic with the difference modality for generalisations of graphs

DOI10.1016/J.JAL.2010.08.011MaRDI QIDQ631090zbMATH OpenOpenAlexFDO

Authors Robert S. R. Myers, Dirk Pattinson

Publication date 22 March 2011

Published in Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jal.2010.08.011

zbMATH Keywords

difference modalitycoalgebraic semanticscut-free sequent systemglobal modality

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• Hybrid tableaux for the difference modality
• Terminating tableau systems for hybrid logic with difference and converse
• Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse
• Modal Hybrid Logic
• Isomorphism via translation

Cites work

• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 949290 (Why is no real title available?)
• A Modal Logic for Coalitional Power in Games
• A finite model construction for coalgebraic modal logic
• Abstraction and probabilities for hybrid logics
• Admissibility of cut in coalgebraic logics
• Algebra and Coalgebra in Computer Science
• Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics
• Coalgebraic Hybrid Logic
• Copower functors
• EXPTIME Tableaux for the Coalgebraic μ-Calculus
• Expressive logics for coalgebras via terminal sequence induction
• Expressivity of coalgebraic modal logic: the limits and beyond
• From onions to broccoli: generalizing Lewis' counterfactual logic
• Generic Modal Cut Elimination Applied to Conditional Logics
• Modal logic
• Modular construction of complete coalgebraic logics
• PSPACE bounds for rank-1 modal logics
• Rank-1 Modal Logics Are Coalgebraic
• Tableau-based Decision Procedures for Hybrid Logic
• Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse
• Terminating tableaux for graded hybrid logic with global modalities and role hierarchies
• Termination for Hybrid Tableaus

Cited in

(8)

• Towards the Use of Hypergraphs in Multi-adjoint Logic Programming
• On graph calculi for multi-modal logics
• A study on multi-dimensional products of graphs and hybrid logics
• Modal logic and planarity of graphs
• Isomorphism via translation
• The expressibility of fragments of hybrid graph logic on finite digraphs
• scientific article; zbMATH DE number 6747949 (Why is no real title available?)
• Product of Graphs and Hybrid Logic

This page was built for publication: Hybrid logic with the difference modality for generalisations of graphs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q631090)