Hybrid logic with the difference modality for generalisations of graphs

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

Dirk Pattinson, Robert S. R. Myers

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)

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

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