G. A. Kavvos

さまざまなフレームワークと意味論を通じてモーダル論理のダイナミクスを探る。

直感主義論理のニュアンスと、それが数学やコンピュータサイエンスに与える影響を探ってみよう。