Abstract
The property of finite degree of nondeterminism is not expressible by a formula and by any set of formulas in propositional algorithmic logic PAL.
Get full access to this article
View all access options for this article.
You are on the new improved site. You can view the old site in view-only mode here until June 27, 2026
The property of finite degree of nondeterminism is not expressible by a formula and by any set of formulas in propositional algorithmic logic PAL.
View all access options for this article.