Effective Cut-elimination for a Fragment of Modal mu-calculus

✍ Scribed by Grigori Mints

Book ID: 113079966
Publisher: Springer Netherlands
Year: 2012
Tongue: English
Weight: 169 KB
Volume: 100
Category: Article
ISSN: 0039-3215
DOI: 10.1007/s11225-012-9378-y

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A modal sequent calculus for a fragment

A modal sequent calculus for a fragment of arithmetic

✍ G. Sambin; S. Valentini 📂 Article 📅 1980 🏛 Springer Netherlands 🌐 English ⚖ 657 KB

Global properties of canonical derivability predicates (the standard example is Pr( ) in Peano Arithmetic) are studied here by means of a suitable propositional modal logic GL. i whole book [1] has appeared on GIL and we refer to it for more information and a bibliography on GL. Here we propose a se