𝔖 Bobbio Scriptorium
✦   LIBER   ✦

2-Sequent calculus: a proof theory of modalities

✍ Scribed by Andrea Masini

Publisher
Elsevier Science
Year
1992
Tongue
English
Weight
1008 KB
Volume
58
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

A modal ΞΌ-calculus and a proof system fo
A modal ΞΌ-calculus and a proof system for value passing processes
✍ Dilian Gurov; Sergei Berezin; B.M. Kapron πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 31 KB

A first-order modal Β΅-calculus is introduced as a convenient logic for reasoning about processes with value passing. For this logic we present a proof system for model checking sequential processes defined in the value passing CCS. Soundness of the proof system is established. The use of the system