Логика Прайора
FA – «будет А» GA – «всегда будет А» FA F(AvB) = FAv FB FFA FA – правила вывода A= AvFA возможность A=A&GA необходимость Расширение логики: P- было, H- всегда было Временная логика Леммона Минимальная Модальности: F- будет, P- было Аксиомы: FPA A PFA A F(A B) (FA FB) P(A B) (PA PB)
|