有限フレーム性を持たない論理
メモ
様相論理KMk
?
G. H. Hughes, M. J. Cresswell; "A New Introduction to Modal Logic"