克里普克语义学

简介克里普克语义学（又称关系语义学或框架语义学，常与可能世界语义学相混淆）是索尔-克里普克和安德烈-约亚尔在20世纪50年代末和60年代初为非经典逻辑系统...