様相論理S5と単項1階述語論理の類似性
代数的意味論の観点からすると，両者とも単項Boole代数という代数体系で特徴付けられるらしい．