On graph calculi for multi-modal logics
From MaRDI portal
Recommendations
- On a graph approach to modal logics
- On a graph calculus for modalities
- On graphs for intuitionistic modal logics
- Gamma graph calculi for modal logics
- scientific article; zbMATH DE number 2020180
- A graph calculus for predicate logic
- A Modal-Logic Based Graph Abstraction
- Hybrid logic with the difference modality for generalisations of graphs
- On the Expressive Power of Graph Logic
- scientific article; zbMATH DE number 1189095
Cites work
- A new mapping between combinatorial proofs and sequent calculus proofs read out from logical flow graphs
- Modal logic
- Modalities and multimodalities. With the assistance and collaboration of Juliana Bueno-Soler.
- Natural deduction via graphs: formal definition and computation rules
- On a graph approach to modal logics
- On graph reasoning
- On local modularity variants and \(\Pi\)-institutions
- Proof analysis in modal logic
- Proof methods for modal and intuitionistic logics
Cited in
(12)- Towards the Use of Hypergraphs in Multi-adjoint Logic Programming
- On a graph approach to modal logics
- On Diagrams and General Model Checkers
- A study on multi-dimensional products of graphs and hybrid logics
- Using Multigraphs to Study the Interaction Between Opposition, Implication and Duality Relations in Logical Squares
- scientific article; zbMATH DE number 2020180 (Why is no real title available?)
- A graph-theoretic approach to efficiently reason about partially ordered events in (Modal) Event Calculus
- A graph-theoretic account of logics
- Multi-valued logic in graph transformation theory and self-adaptive systems
- On graphs for intuitionistic modal logics
- On a graph calculus for modalities
- On modal -calculus over reflexive symmetric graphs
This page was built for publication: On graph calculi for multi-modal logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q530865)
