Cтраница 4
Как легко заметить, сценарии имеют много сходства со стандартной семантикой Крипке в модальной логике. [46]
Однажды я позвонил ему домой, чтобы сообщить о якобы полученном результате: все модальные логики определенного вида разрешимы. [47]
Аристотель, конечно, не осознавал различия между этими двумя интерпретациями и их важности для модальной логики. [48]
Все правила построения из логики предикатов ( первого порядка) являются также правилами построения в модальной логике предикатов. [49]
Вторая причина заключается в том, что современные логики не были в состоянии построить общепринятую систему модальной логики, которая давала бы твердую основу для интерпретации и оценки исследования Аристотеля. [50]