机译:所有欧几里得框架类别中的模态对应理论
Toulouse Univ, CNRS, Inst Rech Informat Toulouse, Toulouse, France;
Sofia Univ, Dept Math Log & Applicat, Sofia, Bulgaria;
Sofia Univ, Dept Math Log & Applicat, Sofia, Bulgaria;
Modal logic; first-order logic; correspondence theory; first-order definability; modal definability; Euclidean frames;
机译:模态框架对应和定点
机译:可能性语义的模态对应理论的结果
机译:单调模态逻辑的对应理论对有限格的双重刻画
机译:具有欧几里得几何的经典检测理论的一般表示
机译:头部特征对应的语音协议:扩展对应理论以输出功能节点
机译:通用反应类别和关系框架理论:对海斯和巴恩斯-霍尔姆斯的反应。
机译:模态直觉逻辑和谓语超直觉逻辑:对应理论(非古典逻辑及其Kripke语义的新观点)