様相論理におけるLindströmの定理
主張
If an abstract modal logic
$ L
extends
$ ML
, is compact and invariant for bisimulation, then
$ L = ML
.
Wang Yafeng; Notes on Mathematical Modal Logic