On a graph calculus for modalities
From MaRDI portal
Publication:2358703
DOI10.1016/J.TCS.2016.11.037zbMATH Open1401.03047OpenAlexW2624427461MaRDI QIDQ2358703FDOQ2358703
Authors: Paulo A. S. Veloso, Sheila R. M. Veloso, Mario Benevides 
Publication date: 15 June 2017
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2016.11.037
Recommendations
Cites Work
- Modal logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Modalities and multimodalities. With the assistance and collaboration of Juliana Bueno-Soler.
- Proofs with graphs
- On a graph approach to modal logics
- PDL with intersection of programs: a complete axiomatization
- On graph calculi for multi-modal logics
- On graph reasoning
- Proof analysis in modal logic
- Separation logics and modalities: a survey
- Title not available (Why is that?)
- 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
- PDL for structured data: a graph-calculus approach
Cited In (11)
- Title not available (Why is that?)
- Title not available (Why is that?)
- On a graph approach to modal logics
- On graph calculi for multi-modal logics
- Modal logic and planarity of graphs
- A graph-theoretic account of logics
- On graphs for intuitionistic modal logics
- Reasoning with graphs
- Gamma graph calculi for modal logics
- On modal -calculus over reflexive symmetric graphs
- Visualizing polymorphisms and counter-polymorphisms in S5 modal logic
This page was built for publication: On a graph calculus for modalities
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2358703)
