An Arithmetically Complete Predicate Modal Logic

Bulletin of the Section of Logic, Tom 50, Numer 4 (2021) s. 513-541
Yunge Hao, George Tourlakis

 

do góry