✦ LIBER ✦

A PURELY SYNTACTIC AND CUT-FREE SEQUENT CALCULUS FOR THE MODAL LOGIC OF PROVABILITY

✍ Scribed by POGGIOLESI, FRANCESCA

Book ID: 120334443
Publisher: Cambridge University Press
Year: 2009
Tongue: English
Weight: 137 KB
Volume: 2
Category: Article
ISSN: 1755-0203
DOI: 10.1017/S1755020309990244

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Contraction-free and Cut-free Sequent

A Contraction-free and Cut-free Sequent Calculus for Propositional Dynamic Logic

✍ Brian Hill; Francesca Poggiolesi 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 326 KB

Cut-Elimination and a Permutation-Free S

Cut-Elimination and a Permutation-Free Sequent Calculus for Intuitionistic Logic

✍ Roy Dyckhoff; Luis Pinto 📂 Article 📅 1998 🏛 Springer Netherlands 🌐 English ⚖ 616 KB

A cut-free sequent system for two-dimens

A cut-free sequent system for two-dimensional modal logic, and why it matters

✍ Greg Restall 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 249 KB

Syntactic cut-elimination for a fragment

Syntactic cut-elimination for a fragment of the modal mu-calculus

✍ BrÃ¼nnler, Kai; Studer, Thomas 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 253 KB

[Lecture Notes in Computer Science] Logi

[Lecture Notes in Computer Science] Logic Based Program Synthesis and Transformation Volume 2664 || A Cut-Free Sequent Calculus for Pure Type Systems Verifying the Structural Rules of Gentzen/Kleene

✍ Leuschel, Michael 📂 Article 📅 2003 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 250 KB

The thoroughly refereed post-proceedings of the 12th International Workshop on Logic Based Program Synthesis and Transformation, LOPSTR 2002, held in Madrid, Spain in September 2002. The 15 revised full papers presented together with 7 abstracts were carefully selected during two rounds of reviewing