On a graph approach to modal logics

DOI10.1016/J.ENTCS.2014.06.009MaRDI QIDQ281163zbMATH OpenOpenAlexWikidataFDO

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

Publication date 10 May 2016

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

zbMATH Keywords

modal logicsgraph calculusKripke semanticsrefutationspecial modalities

Mathematics Subject Classification ID

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

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

• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• Modal logic
• On graph reasoning
• On graph refutation for relational inclusions
• PDL with intersection of programs: a complete axiomatization
• Proofs with graphs
• Reasoning with graphs

Cited in

(19)

• scientific article; zbMATH DE number 1222706 (Why is no real title available?)
• Unwinding modal paradoxes on digraphs
• Modal expressiveness of graph properties
• On graph calculi for multi-modal logics
• Global and local graph modifiers
• Modal logic and planarity of graphs
• Graph theoretical structures in logic programs and default theories
• scientific article; zbMATH DE number 5997435 (Why is no real title available?)
• scientific article; zbMATH DE number 2020180 (Why is no real title available?)
• Gamma graph calculi for modal logics
• On Graph-theoretic Fibring of Logics
• A graph-theoretic approach to efficiently reason about partially ordered events in (Modal) Event Calculus
• A graph-theoretic account of logics
• scientific article; zbMATH DE number 2149448 (Why is no real title available?)
• On graphs for intuitionistic modal logics
• Graphical models of separation logic
• On a graph calculus for modalities
• On modal  -calculus over reflexive symmetric graphs
• Normal multimodal logics with interaction axioms. A tableau calculus and some (un)decidability results

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)