机译:勘误表和附录“某些模态系统的有限非确定性语义”
Centre for Logic, Epistemology and the History of Science (CLE) and Institute of Philosophy and the Humanities (IFCH), University of Campinas (UNICAMP), Campinas, Brazil;
IRIT, Université de Toulouse, CNRS, Toulouse, France;
Federal University of South Frontier (UFFS),Chapecó, Brazil;
modal logic; non deterministic matrices;
机译:某些模态系统的有限非确定性语义
机译:非确定性术语重写系统的语义层次
机译:表征非确定性和随机系统行为等效的模态逻辑研究
机译:非确定性信息系统的模态逻辑
机译:开发微电子焊点检查系统:模态分析,有限元建模和超声信号处理。
机译:大脑系统介导聋哑本位签名者的语义和句法处理:生物不变性和形态特异性
机译:具有非确定性语义的模态逻辑:第二部分量化案例
机译:混合系统的模态逻辑和拓扑语义