https://dedurigequku.galisend.com/recent-developments-in-dialogue-logics-book-39840wh.php