Sequentialising nested systems

DOI10.1007/978-3-030-29026-9_9MaRDI QIDQ2180514zbMATH OpenOpenAlexFDO

Authors Elaine Pimentel, Revantha Ramanayake, Björn Lellmann

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)

Recommendations

• Sequentially Decomposed Programming
• scientific article; zbMATH DE number 3850454
• scientific article; zbMATH DE number 3864468
• Transforming sequential systems into concurrent systems
• scientific article; zbMATH DE number 431761
• Sequentiality in an extensional framework
• scientific article; zbMATH DE number 1497770
• Formal sequentialization of distributed systems via program rewriting
• scientific article; zbMATH DE number 3903946

Cited in

(15)

• A fresh view of linear logic as a logical framework
• A linear logic framework for multimodal logics
• Nested sequents for intuitionistic logics
• Modularisation of sequent calculi for normal and non-normal modalities
• BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS
• Taming displayed tense logics using nested sequents with deep inference
• Prefixed tableaus and nested sequents
• Labelled tree sequents, tree hypersequents and nested (deep) sequents
• On deriving nested calculi for intuitionistic logics from semantic systems
• The principle of reflection via nested sequents
• A semantical view of proof systems
• Nested sequent calculi for conditional logics
• Proving completeness for nested sequent calculi
• On the correspondence between nested calculi and semantic systems for intuitionistic logics
• Proof search in nested sequent calculi

This page was built for publication: Sequentialising nested systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2180514)