Modular sequent calculi for classical modal logics
type: Item
instance of: scholarly article
title: Modular sequent calculi for classical modal logics
zbMATH Open document ID: 1382.03042
author: David R. Gilbert
author: Paolo Maffezioli
published in: Studia Logica
publication date: 2015-06-18T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 6447329
zbMATH Keywords: classical modal logics
zbMATH Keywords: neighborhood semantics
zbMATH Keywords: labelled sequent systems
describes a project that uses: Pesca
MaRDI profile type: Publication
full work available at URL: s11225-014-9556-1
OpenAlex ID: W2058636048
cites work: Q3867808
cites work: Proofs and countermodels in non-classical logics
cites work: Q4894942
cites work: Q5688815
cites work: Q5610986
cites work: Q4518916
cites work: Neighbourhood Structures: Bisimilarity and Basic Model Theory
cites work: Q3435245
cites work: Q3105688
cites work: Normal monomodal logics can simulate all others
cites work: Sequent calculi and decision procedures for weak modal systems
cites work: Universal grammar
cites work: Proof analysis in modal logic
cites work: Q3101107
cites work: Proof analysis beyond geometric theories: from rule systems to systems of rules
cites work: Structural proof theory. With an appendix by Aarne Ranta
cites work: Proof Analysis
cites work: Q4047529
DOI: 10.1007/S11225-014-9556-1
Recommended article: Modular Sequent Systems for Modal Logic
Recommended article: Q4460849
Recommended article: Sequent-systems for modal logic
Recommended article: Q4296507
Recommended article: Q4229377
Recommended article: A Sequent Calculus for the Lesniewskian Modal Logic
Recommended article: CONCUR 2004 - Concurrency Theory
Recommended article: Sequent Calculi for Normal Modal Propositional Logics
Recommended article: Modularisation of Sequent Calculi for Normal and Non-normal Modalities
Recommended article: Q3435245
description: scientific article