Логика Кампа
-Spq: q истинно после того, как р истинно -Upq: q истинно пока р истинно PA SA(AvA) FA UA(AvA) Метрическая логика Прайора FnA – интервал n, после которого А будет истинно PnA= F(-n)A – был интервал n, до которого было истинно А PA≡ n(n<0&FnA) FA≡ n(n>0&FnA) HA≡ n(n<0 FnA) GA≡ n(n>0 FnA)
|