Hybrid logic with the difference modality for generalisations of graphs
From MaRDI portal
Publication:631090
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
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
