On graphs for intuitionistic modal logics
From MaRDI portal
Publication:1744424
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
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