Modal logic; Quantale; Fuzzy logic; Coalgebra; Behavioural distance; Modal characterization;
机译:Van Benthem / Rosen定理,用于合子谓词逻辑
机译:描述普通框架的模型 - 理论方法:范·宾馆特征定理
机译:Modal Team语义的Van Benthem定理
机译:基于强相关逻辑的前向推理在自动定理发现中测量定理的趣味性
机译:复数和代数几何中的正定性和消失定理。
机译:诱导型HIV-1储层量化:TILDA的临床相关性应用和进步
机译:描述普通框架的模型 - 理论方法:范·宾馆特征定理
机译:高级极化概念 - 第1部分(极化目标描述,散斑滤波和分解定理)