Maehara-style modal nested calculi
type: Item
instance of: scholarly article
title: Maehara-style modal nested calculi
zbMATH Open document ID: 1477.03054
author: Roman Kuznets
author: Lutz Straßburger
published in: Archive for Mathematical Logic
publication date: 2019-03-27T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B20
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 7043052
zbMATH Keywords: proof theory
zbMATH Keywords: sequent calculus
zbMATH Keywords: nested sequents
zbMATH Keywords: modal logic
zbMATH Keywords: intuitionistic logic
zbMATH Keywords: cut elimination
zbMATH Keywords: multiple conclusion
zbMATH Keywords: intuitionistic modal logic
MaRDI profile type: Publication
full work available at URL: s00153-018-0636-1
OpenAlex ID: W2772042761
cites work: Saved from the cellar. Gerhard Gentzen's shorthand notes on logic and foundations of mathematics
cites work: Untersuchungen über das logische Schliessen. I
cites work: Eine Darstellung der Intuitionistischen Logik in der Klassischen
cites work: Intuitionistic Decision Procedures Since Gentzen
cites work: Q5582318
cites work: The foundations of mathematics. A study in the philosophy of science
cites work: Q5547552
cites work: Q4934141
cites work: Q3509048
cites work: Deep sequent systems for modal logic
cites work: The Method of Tree-Hypersequents for Modal Propositional Logic
cites work: Cut Elimination in Nested Sequents for Intuitionistic Modal Logics
cites work: Prefixed tableaus and nested sequents
cites work: Q4636304
cites work: Modular Focused Proof Systems for Intuitionistic Modal Logics
cites work: Label-free natural deduction systems for intuitionistic and classical modal logics
cites work: Cut-free Gentzen calculus for multimodal CK
cites work: Q3728880
cites work: Q3720564
cites work: Q5791647
cites work: Q5559220
cites work: On an intuitionistic modal logic
cites work: A judgmental reconstruction of modal logic
cites work: Q4785506
cites work: On Nested Sequents for Constructive Modal Logics
cites work: Q3414345
cites work: Intuitionistic tense and modal logic
Wikidata QID: Q129490027
DOI: 10.1007/S00153-018-0636-1
description: scientific article; zbMATH DE number 7043052