Hybrid logic with the difference modality for generalisations of graphs

DOI10.1016/j.jal.2010.08.011zbMath1215.03036MaRDI QIDQ631090

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 modality; coalgebraic semantics; cut-free sequent system; global modality

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Expressive logics for coalgebras via terminal sequence induction
• Copower functors
• Modular construction of complete coalgebraic logics
• Expressivity of coalgebraic modal logic: the limits and beyond
• A finite model construction for coalgebraic modal logic
• Admissibility of Cut in Coalgebraic Logics
• PSPACE bounds for rank-1 modal logics
• Tableau-based Decision Procedures for Hybrid Logic
• Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse
• Rank-1 Modal Logics Are Coalgebraic
• Coalgebraic Hybrid Logic
• EXPTIME Tableaux for the Coalgebraic μ-Calculus
• From onions to broccoli: generalizing Lewis' counterfactual logic
• A Modal Logic for Coalitional Power in Games
• Termination for Hybrid Tableaus
• Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics
• Algebra and Coalgebra in Computer Science
• Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies
• Generic Modal Cut Elimination Applied to Conditional Logics