Eugenio Orlandelli

この記事では、ネストされた序列とそれらの量化されたモーダル論理における応用を探ります。