scientific article; zbMATH DE number 970633
From MaRDI portal
Publication:5688812
zbMath0867.03016MaRDI QIDQ5688812
Publication date: 4 August 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
modal logicscut-free sequentnatural deduction formalizationone-succedent sequentsPrawitz transformation
Modal logic (including the logic of norms) (03B45) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items (21)
Deep sequent systems for modal logic ⋮ Modality via iterated enrichment ⋮ Coherence for sharing proof nets ⋮ Linear Nested Sequents, 2-Sequents and Hypersequents ⋮ A By-Level Analysis of Multiplicative Exponential Linear Logic ⋮ Embedding Constructive K into Intuitionistic K ⋮ Normalization by evaluation for modal dependent type theory ⋮ When programs have to watch paint dry ⋮ Coherence for sharing proof-nets ⋮ Natural deduction calculi for classical and intuitionistic S5 ⋮ Cut Elimination for Extended Sequent Calculi ⋮ A proof-theoretic investigation of a logic of positions ⋮ Unnamed Item ⋮ Domain-Freeλµ-Calculus ⋮ An approach to infinitary temporal proof theory ⋮ Combining linear-time temporal logic with constructiveness and paraconsistency ⋮ Intuitionistic hybrid logic ⋮ Unnamed Item ⋮ Modal dependent type theory and dependent right adjoints ⋮ Cut-free Gentzen calculus for multimodal CK ⋮ Constructive linear-time temporal logic: proof systems and Kripke semantics
Uses Software
This page was built for publication:
