этой области?
да наверное могу, ну собственно вот есть пейпер https://files.zotero.net/13087715120/Valentine%20-%202017%20-%20An%20Ontology%20for%20Smart%20Contracts.pdf
там же два вида модальности, далее по введенным понятим даны определения более высокого порядка - все очень чотко
Обсуждают сегодня