𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A nondeterministic program logic

✍ Scribed by I. Kh. Musikaev

Publisher
SP MAIK Nauka/Interperiodica
Year
1987
Tongue
English
Weight
541 KB
Volume
27
Category
Article
ISSN
0037-4466

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Logic of nondeterministic information
Logic of nondeterministic information
✍ Ewa OrΕ‚owska πŸ“‚ Article πŸ“… 1985 πŸ› Springer Netherlands 🌐 English βš– 585 KB

In the paper we define a class of languages for representation o knowledge in those application areas when a complete information about a domain is not available. In the languages we introduce modal operators determined by accessibility relations depending on parameters. l. Nondeterministic informa