Algebras and Coalgebras, Section 8

8.1 が tense logic で 8.2 が global modality & discriminator varieties というタイトル。詳細はフォローしないで軽く目を通しただけです。

8.1 では、tense logic の future modality と past modality から adjoint が作れて、その結果これらの様相は必ず complete operator になるなどの普通の様相論理とは少し違った振る舞いが紹介されています。

8.2 は global modality をもつ代数から作られる variety の構造の話。global modality がある代数は必ず simple であるとか、いろいろ面白そうな性質があるようです。