On a graph approach to modal logics

DOI10.1016/J.ENTCS.2014.06.009zbMath1335.03022OpenAlexW2062728934WikidataQ113317868 ScholiaQ113317868MaRDI QIDQ281163

Mario R. F. 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

zbMATH Keywords

Kripke semanticsmodal logicsgraph calculusrefutationspecial modalities

Mathematics Subject Classification ID

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

Related Items (2)

On a graph calculus for modalities ⋮ On graph calculi for multi-modal logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On graph reasoning
• Proofs with graphs
• PDL with intersection of programs: a complete axiomatization
• Reasoning with Graphs

This page was built for publication: On a graph approach to modal logics