Соотношение между системой модальной логики S5 и узким исчислением предикатов

Research output

Cite this