Sequentialising nested systems

DOI10.1007/978-3-030-29026-9_9zbMath1468.03075OpenAlexW2969899284MaRDI QIDQ2180514

Revantha Ramanayake, Björn Lellmann, Elaine Pimentel

Publication date: 14 May 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-29026-9_9

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (3)

A linear logic framework for multimodal logics ⋮ A fresh view of linear logic as a logical framework ⋮ BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS

This page was built for publication: Sequentialising nested systems