松本『復刊　数理論理学』には様相論理の入門編があったが古すぎてLewisのS1~S5ベースで議論しておりKripke意味論とかについて一切触れていなくてすごかった