Модальная логика: различия между версиями
| [непроверенная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
D1gggg (обсуждение | вклад) |
D1gggg (обсуждение | вклад) |
||
Строка 70:
Эти понятия пытались внедрить достаночно давно, но значительный результат был только у [[Вригт, Георг Хенрик фон|Георга фон Вригта]] в Deontic Logic, Mind, New Series, Vol. 60, No. 237. (Jan., 1951), pp. 1-15.<ref>http://links.jstor.org/sici?sici=0026-4423%28195101%292%3A60%3A237%3C1%3ADL%3E2.0.CO%3B2-C</ref>
Статья 2007 года о реализации деонтических логики. A Formal Language for Electronic Contracts<ref>{{DOI|10.1007/978-3-540-72952-5_11}}</ref> использующий [[w:en:Modal μ-calculus|µ-calculus]] и реализацию [[mu-cke]] от A. Biere<ref>A. Biere. mu-cke - efficient mu-calculus model checking. In O. Grumberg, editor, International Conference on Computer-Aided Verification (CAV'97), number 1254 in Lecture Notes in Computer Science, pages 468--471. © Springer-Verlag, 1997</ref>
==Семантика==
| |||