On graph calculi for multi-modal logics

DOI10.1016/J.ENTCS.2015.04.014zbMath1343.03016OpenAlexW1986893443WikidataQ113317800 ScholiaQ113317800MaRDI QIDQ530865

Paulo A. S. Veloso, Mario R. F. Benevides, Sheila R. M. Veloso

Publication date: 1 August 2016

Full work available at URL: https://doi.org/10.1016/j.entcs.2015.04.014

zbMATH Keywords

decidabilitysemanticsmodal logicsrefutationspecial modalitiesgraph calculi

Mathematics Subject Classification ID

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

Related Items (2)

On a graph calculus for modalities ⋮ On Diagrams and General Model Checkers

Cites Work

• Unnamed Item
• On a graph approach to modal logics
• On graph reasoning
• Proof analysis in modal logic
• A new mapping between combinatorial proofs and sequent calculus proofs read out from logical flow graphs
• Proof methods for modal and intuitionistic logics
• On local modularity variants and \(\Pi\)-institutions
• Natural deduction via graphs: formal definition and computation rules
• Modalities and multimodalities. With the assistance and collaboration of Juliana Bueno-Soler.

This page was built for publication: On graph calculi for multi-modal logics