 Часова тривалість з логічної точки зору (2001) | 2.91 MB |
| Синтез часо-логічних операторів як принцип переходу від класичної логіки до часової (2002) | 266.84 KB |
| Принципи побудови систем сентенційних зв’язок у часовій логіці (2003) | 207.54 KB |
| Синхронізації висловлювань внутрішньої часової логіки (2003) | 263.66 KB |
