模态镜子里的反欧性

我们用戈德布拉特—托马森定理证明了一般来说反欧性是模态不可反映的。由此我们找到了最小的反欧传递逻辑,证明了所有的反欧传递逻辑不仅具备有穷框架性,也都是可有穷公理化的,继而也都是可判定的;最后,我们研究了反欧传递逻辑格里的濒表格逻辑,给出了几个具有＂临界性＂濒表格扩充的逻辑的实例。