scientific article; zbMATH DE number 6987093

DOI10.23638/LMCS-14(4:18)2018MaRDI QIDQ4558785

Revantha Ramanayake

Publication date: 30 November 2018

Full work available at URL: https://arxiv.org/abs/1703.01356

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

modal logiccut-eliminationintermediate logicnested sequentsproof-theorylabelled sequents

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Prefixed tableaus and nested sequents
• Proof analysis in intermediate logics
• Proof analysis in modal logic
• Proof methods for modal and intuitionistic logics
• Cut-free sequent calculi for some tense logics
• Indexed systems of sequents and cut-elimination
• Proof theory for indexed nested sequents
• From display to labelled proofs for tense logics
• Display logic
• Nested sequents for intuitionistic logics
• Nested sequent calculi for normal conditional logics
• Inducing Syntactic Cut-Elimination for Indexed Nested Sequents
• On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics
• Cut Elimination in Nested Sequents for Intuitionistic Modal Logics
• Embedding the hypersequent calculus in the display calculus
• A system of interaction and structure
• A PURELY SYNTACTIC AND CUT-FREE SEQUENT CALCULUS FOR THE MODAL LOGIC OF PROVABILITY

This page was built for publication: