『形式論理探求 第2巻 様相論理のタブロー』（仮題）刊行プロジェクトが、高木翼氏の主導によりスタートしました。

第1巻 (2019年5月31日 初版発行) では古典論理のタブローが扱われました。第2巻では様相論理のタブローを扱う予定です。

「論理・タブローブックス」プロジェクト 第2弾！

詳しくはこちら。