Темпоральная логика

Временная логика Временная логика – раздел логики, изучающий время и его отношения с истинностью.  Временная логика включает в себя различные […]