Abstract
In the paper we suggest an approach to proving global properties of structured states by using languages with special modal operators reflecting an internal structure of these states.
Keywords
Get full access to this article
View all access options for this article.