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