Hybrid logic with the difference modality for generalisations of graphs

DOI10.1016/J.JAL.2010.08.011zbMATH Open1215.03036OpenAlexW2092988840MaRDI QIDQ631090FDOQ631090

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

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

zbMATH Keywords

difference modalitycoalgebraic semanticscut-free sequent systemglobal modality

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (8)

• On graph calculi for multi-modal logics
• Modal logic and planarity of graphs
• The expressibility of fragments of hybrid graph logic on finite digraphs
• A study on multi-dimensional products of graphs and hybrid logics
• Isomorphism via translation
• Title not available (Why is that?)
• Product of Graphs and Hybrid Logic
• Towards the Use of Hypergraphs in Multi-adjoint Logic Programming

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)