On a graph approach to modal logics
From MaRDI portal
Publication:281163
DOI10.1016/J.ENTCS.2014.06.009zbMATH Open1335.03022OpenAlexW2062728934WikidataQ113317868 ScholiaQ113317868MaRDI QIDQ281163FDOQ281163
Mario Benevides, Sheila R. M. Veloso, Paulo A. S. Veloso
Publication date: 10 May 2016
Full work available at URL: https://doi.org/10.1016/j.entcs.2014.06.009
Recommendations
- On graphs for intuitionistic modal logics
- scientific article; zbMATH DE number 2020180
- On graph calculi for multi-modal logics
- A Modal-Logic Based Graph Abstraction
- On a graph calculus for modalities
- Gamma graph calculi for modal logics
- A graph-theoretic account of logics
- On modal logics of model-theoretic relations
- On Graph-theoretic Fibring of Logics
- scientific article; zbMATH DE number 2112326
Cites Work
Cited In (14)
- Unwinding modal paradoxes on digraphs
- A graph-theoretic approach to efficiently reason about partially ordered events in (Modal) Event Calculus
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- On graph calculi for multi-modal logics
- Graphical models of separation logic
- A graph-theoretic account of logics
- On modal -calculus over reflexive symmetric graphs
- Graph theoretical structures in logic programs and default theories
- On a graph calculus for modalities
- Normal multimodal logics with interaction axioms. A tableau calculus and some (un)decidability results
- Title not available (Why is that?)
- On Graph-theoretic Fibring of Logics
This page was built for publication: On a graph approach to modal logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q281163)
