Display calculi and other modal calculi: a comparison
type: Item
instance of: scholarly article
title: Display calculi and other modal calculi: a comparison
zbMATH Open document ID: 1205.03031
author: Francesca Poggiolesi
published in: Synthese
publication date: 2010-08-13T00:00:00Z
full work available at URL: varicalcolimodali5 (1).pdf
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 5770282
zbMATH Keywords: display calculi
zbMATH Keywords: higher-arity calculi
zbMATH Keywords: multiple sequent calculi
zbMATH Keywords: tree-hypersequents calculi
MaRDI profile type: Publication
OpenAlex ID: W2059132792
cites work: Q3837723
cites work: Display logic
cites work: Linear logic displayed
cites work: Q5688806
cites work: A perspective on modal sequent logic
cites work: Q3509048
cites work: The elimination theorem when modality is present
cites work: Proof methods for modal and intuitionistic logics
cites work: Gaggles, Gentzen and Galois: how to display your favourite substructural logic
cites work: Classical Modal Display Logic in the Calculus of Structures and Minimal Cut-free Deep Inference Calculi for S5
cites work: Q3996176
cites work: Kripke Completeness of First-Order Constructive Logics with Strong Negation
cites work: Q4229377
cites work: Tree-Sequent Methods for Subintuitionistic Predicate Logics
cites work: Cut-free sequent calculi for some tense logics
cites work: Q5688807
cites work: Indexed systems of sequents and cut-elimination
cites work: A CUT-FREE SIMPLE SEQUENT CALCULUS FOR MODAL LOGIC S5
cites work: The Method of Tree-Hypersequents for Modal Propositional Logic
cites work: Displaying and deciding substructural logics. I: Logics with contraposition
cites work: Sequents in many valued logic II
cites work: A study of Kripke-type models for some modal logics by Gentzen's sequential method
cites work: Q5483015
cites work: Sequent Calculi for Normal Modal Propositional Logics
cites work: Q4385350
cites work: Displaying modal logic
cites work: Q5668435
DOI: 10.1007/S11229-008-9425-4
Recommended article: Q5688807
Recommended article: Structural Extensions of Display Calculi: A General Recipe
Recommended article: Hypersequent and display calculi -- a unified perspective
Recommended article: Modal tableau calculi and interpolation
Recommended article: Displaying modal logic
Recommended article: Q4918295
Recommended article: Consolution as a framework for comparing calculi
Recommended article: Embedding the hypersequent calculus in the display calculus
Recommended article: Q4700366
description: scientific article; zbMATH DE number 5770282