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

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

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

(20)

• A semantical view of proof systems
• On deriving nested calculi for intuitionistic logics from semantic systems
• A fresh view of linear logic as a logical framework
• Nested sequents for intuitionistic logics
• Nested sequent calculi for conditional logics
• Proof search in nested sequent calculi
• Taming displayed tense logics using nested sequents with deep inference
• Prefixed tableaus and nested sequents
• Inducing syntactic cut-elimination for indexed nested sequents
• Modularisation of sequent calculi for normal and non-normal modalities
• Proving completeness for nested sequent calculi
• On the correspondence between nested calculi and semantic systems for intuitionistic logics
• BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS
• The principle of reflection via nested sequents
• Labelled tree sequents, tree hypersequents and nested (deep) sequents
• A linear logic framework for multimodal logics
• Internal and external calculi: ordering the jungle without being lost in translations
• (Conceptual) explanations in logic
• Nested sequents or tree-hypersequents -- a survey
• Unifying sequent systems for Gödel-Löb provability logic via syntactic transformations

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)