表題の通り、様相論理のラベル付きタブロー計算について書いた pdf です。
こちらから pdf ファイルをダウンロードできます。
誤植や議論の間違いなどがありましたら、お手数ですが Home の「連絡先」からお伝えいただければと思います。