✦ LIBER ✦

On the Proof Theory of the Modal mu-Calculus

✍ Scribed by Thomas Studer

Publisher: Springer Netherlands
Year: 2008
Tongue: English
Weight: 366 KB
Volume: 89
Category: Article
ISSN: 0039-3215
DOI: 10.1007/s11225-008-9133-6

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

2-Sequent calculus: a proof theory of mo

2-Sequent calculus: a proof theory of modalities

✍ Andrea Masini 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 1008 KB

On the Proof Theory of the Modal Logic G

On the Proof Theory of the Modal Logic Grz

✍ M. Borga; P. Gentilini 📂 Article 📅 1986 🏛 John Wiley and Sons 🌐 English ⚖ 246 KB 👁 1 views

Model checking the full modal mu-calculu

Model checking the full modal mu-calculus for infinite sequential processes

✍ Olaf Burkart; Bernhard Steffen 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 983 KB

It is known that pushdown processes have a decidable monadic second-order theory (Muller and Schupp, Theoret. Comput. Sci. 37 (1985) 51-75) and that this result covers the model-checking problem for the modal mu-calculus. Unfortunately, the corresponding decidability procedure is not practical due t

Theλ-Calculus and the Unity of Structura

Theλ-Calculus and the Unity of Structural Proof Theory

✍ José Espírito Santo 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 594 KB

On the Proof-Theory of two Formalisation

On the Proof-Theory of two Formalisations of Modal First-Order Logic

✍ Yehuda Schwartz; George Tourlakis 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 332 KB

THE JUDGEMENT CALCULUS FOR INTUITIONISTI

THE JUDGEMENT CALCULUS FOR INTUITIONISTIC LINEAR LOGIC: PROOF THEORY AND SEMANTICS

✍ Silvio Valentini 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 958 KB

## Abstract In this paper we propose a new set of rules for a judgement calculus, i.e. a typed lambda calculus, based on Intuitionistic Linear Logic; these rules ease the problem of defining a suitable mathematical semantics. A proof of the canonical form theorem for this new system is given: it as