𝔖 Bobbio Scriptorium
✦   LIBER   ✦

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

✍ Scribed by Brünnler, Kai; Studer, Thomas

Book ID
121457032
Publisher
Elsevier Science
Year
2012
Tongue
English
Weight
253 KB
Volume
163
Category
Article
ISSN
0168-0072

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