𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Hierarchies of program logics

✍ Scribed by M. A. Taitslin

Book ID
105020888
Publisher
SP MAIK Nauka/Interperiodica
Year
1984
Tongue
English
Weight
729 KB
Volume
24
Category
Article
ISSN
0037-4466

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Hierarchies of probabilistic logics
Hierarchies of probabilistic logics
✍ IkodinoviΔ‡, NebojΕ‘a; OgnjanoviΔ‡, Zoran; PeroviΔ‡, Aleksandar; RaΕ‘koviΔ‡, Miodrag πŸ“‚ Article πŸ“… 2014 πŸ› Elsevier Science 🌐 English βš– 631 KB
Europe and the logic of hierarchy
Europe and the logic of hierarchy
✍ Kapadia, Anush πŸ“‚ Article πŸ“… 2013 πŸ› Elsevier Science 🌐 English βš– 235 KB
Program schemata vs. automata for decida
Program schemata vs. automata for decidability of program logics
✍ N.V. Shilov πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 922 KB

A new technique for decidability of program logics is introduced. This technique is applied to the most expressive propositional program logic -mu-calculus. 0. Introduction We would like to present program scheme technique (PST) for decidability of program and polymodal propositional logics. This te