松本『復刊 数理論理学』には様相論理の入門編があったが古すぎてLewisのS1~S5ベースで議論しておりKripke意味論とかについて一切触れていなくてすごかった
様々な目的に使える、日本の汎用マストドンサーバーです。安定した利用環境と、多数の独自機能を提供しています。