On a graph calculus for modalities

DOI10.1016/J.TCS.2016.11.037MaRDI QIDQ2358703zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

graph calculusmultimodal logicKripke semantic frames

Mathematics Subject Classification ID

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

Recommendations

• On a graph approach to modal logics
• On graph calculi for multi-modal logics
• On graphs for intuitionistic modal logics
• scientific article; zbMATH DE number 2112326
• On a Graph Calculus for Algebras of Relations

Cites work

• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 1773524 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• 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 calculi for multi-modal logics
• On graph reasoning
• On local modularity variants and \(\Pi\)-institutions
• PDL for structured data: a graph-calculus approach
• PDL with intersection of programs: a complete axiomatization
• Proof analysis in modal logic
• Proofs with graphs
• Separation logics and modalities: a survey

Cited in

(11)

• On graph calculi for multi-modal logics
• On a graph approach to modal logics
• Modal logic and planarity of graphs
• Reasoning with graphs
• Visualizing polymorphisms and counter-polymorphisms in S5 modal logic
• scientific article; zbMATH DE number 2020180 (Why is no real title available?)
• Gamma graph calculi for modal logics
• scientific article; zbMATH DE number 2112326 (Why is no real title available?)
• A graph-theoretic account of logics
• On graphs for intuitionistic modal logics
• On modal  -calculus over reflexive symmetric graphs

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)