On graphs for intuitionistic modal logics
type: Item
instance of: scholarly article
title: On graphs for intuitionistic modal logics
zbMATH Open document ID: 1394.03036
author: Paulo A. S. Veloso
author: Sheila R. M. Veloso
publication date: 2018-04-23T00:00:00Z
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 6862951
zbMATH Keywords: intuitionistic modal logics
zbMATH Keywords: semantics
zbMATH Keywords: graph formulations
zbMATH Keywords: calculi
zbMATH Keywords: refutation
zbMATH Keywords: special relations
MaRDI profile type: Publication
full work available at URL: j.entcs.2016.06.014
OpenAlex ID: W2469202987
Wikidata QID: Q113317677
cites work: A uniform tableau method for intuitionistic modal logics. I
cites work: Modal logic
cites work: Proofs with graphs
cites work: Intuitionistic tense and modal logic
cites work: Q3898472
cites work: Proof methods for modal and intuitionistic logics
cites work: Sequent calculi and decidability for intuitionistic hybrid logic
cites work: Countermodels from Sequent Calculi in Multi-Modal Logics
cites work: The Method of Tree-Hypersequents for Modal Propositional Logic
cites work: Q5858676
DOI: 10.1016/J.ENTCS.2016.06.014
description: scientific article; zbMATH DE number 6862951