Корректность и полнота систем Гильберта

Можно показать, что _KA имеет место тогда и только тогда, когда А – тавтология; утверждение _KТA равносильно тому, что А – тавтология относительно класса всех рефлексивных шкал Крипке; _S4A равносильно тому, что А – тавтология относительно класса транзитивных шкал.