標準的な様相論理の言語に、現実性オペレータ＠を付け加えると、色々ふしぎな結果が得られるという話。 構文論は、φがwffならば@φもwffとする。意味論は、標準的な様相論理の言語ではモデル＜W, R, V＞と相対的に式が評価されるのに対し、＠を付け加えた場合…