Hybrid logic; Two-sorted hybrid language; Logic of subset spaces; Gentzen system for hybrid logic;
机译:使用混合逻辑处理子集空间中的函数
机译:子空间的逻辑拓扑方面(着重于规范模型)
机译:多子集空间的逻辑
机译:子集空间的二维混合逻辑
机译:使用状态空间和模糊逻辑进行设计和制造集成的混合性能量化模型
机译:拟度量空间和度量空间中的近似蕴涵逻辑
机译:子空间的模态逻辑的时间方面
机译:认知深度和混合战:探索独特时间,空间和逻辑框架的本质。