混合时态逻辑相关论文
普莱尔较早较系统地创立了时态逻辑。蒯因认为模态逻辑的产生面临三个等级的牵涉,但是这并没有阻碍普莱尔构建时态逻辑。普莱尔出......
普莱尔既是时态逻辑的创始者,又是混合逻辑的创始者。普莱尔接受了麦克塔加关于时间A-理论和B-理论的区分,认为A-理论中“过去、现......
