一般框架

简介在逻辑学中，一般框架（或简称框架）是具有额外结构的克里普克框架，它被用来模拟模态和中间逻辑。一般框架语义学结合了克里普克语义学和代数语义学的主...