On graphs for intuitionistic modal logics

DOI10.1016/J.ENTCS.2016.06.014zbMath1394.03036OpenAlexW2469202987WikidataQ113317677 ScholiaQ113317677MaRDI QIDQ1744424

Sheila R. M. Veloso, Paulo A. S. Veloso

Publication date: 23 April 2018

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

zbMATH Keywords

semanticsrefutationintuitionistic modal logicscalculigraph formulationsspecial relations

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Sequent calculi and decidability for intuitionistic hybrid logic
• Proof methods for modal and intuitionistic logics
• A uniform tableau method for intuitionistic modal logics. I
• Proofs with graphs
• Countermodels from Sequent Calculi in Multi-Modal Logics
• The Method of Tree-Hypersequents for Modal Propositional Logic
• Intuitionistic tense and modal logic

This page was built for publication: On graphs for intuitionistic modal logics