On graph calculi for multi-modal logics
From MaRDI portal
Publication:530865
DOI10.1016/J.ENTCS.2015.04.014zbMATH Open1343.03016OpenAlexW1986893443WikidataQ113317800 ScholiaQ113317800MaRDI QIDQ530865FDOQ530865
Authors: Paulo A. S. Veloso, Sheila R. M. Veloso, Mario Benevides 
Publication date: 1 August 2016
Full work available at URL: https://doi.org/10.1016/j.entcs.2015.04.014
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
- Modal logic
- Modalities and multimodalities. With the assistance and collaboration of Juliana Bueno-Soler.
- On a graph approach to modal logics
- On graph reasoning
- Proof analysis in modal logic
- Proof methods for modal and intuitionistic logics
- On local modularity variants and \(\Pi\)-institutions
- Natural deduction via graphs: formal definition and computation rules
- A new mapping between combinatorial proofs and sequent calculus proofs read out from logical flow graphs
Cited In (12)
- A graph-theoretic approach to efficiently reason about partially ordered events in (Modal) Event Calculus
- Title not available (Why is that?)
- On a graph approach to modal logics
- A graph-theoretic account of logics
- On graphs for intuitionistic modal logics
- On modal -calculus over reflexive symmetric graphs
- A study on multi-dimensional products of graphs and hybrid logics
- On a graph calculus for modalities
- Using Multigraphs to Study the Interaction Between Opposition, Implication and Duality Relations in Logical Squares
- Towards the Use of Hypergraphs in Multi-adjoint Logic Programming
- Multi-valued logic in graph transformation theory and self-adaptive systems
- On Diagrams and General Model Checkers
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)
