様相論理のメモ。レープの定理に相当する L：□(□p→p)→□p という様相論理の式を公理にすると、どういう到達可能性関係をもつフレームに対応するのか、前から気になっていた。逆整礎（converse well-founded）というフレームになるらしい。ただし、公理系KLで…