ちょっと前に読んだ論文で、様相論理 E から K への変換の話。E は congruenceを満たす最小の様相論理。K は normalityを満たす最小の様相論理。で E から bimodal K (K2) への埋め込みは存在が知られていた。また K2 から monomodal K への埋め込みも知られ…

この節は hybrid logic を first-order にする話。特別興味があるわけではなかったので軽く流し読みして済ませてしまいました。hybrid logic というのは様相論理に特定の世界でだけ真になる命題変数を付け加えた論理です。この命題変数を nominal と呼びます…