Kotomora
様相論理 (yousouronri) Japanese meaning: modal logic | Kotomora