为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7......

Mean Value Calculus (MVC)[1] is a real-time logicwhich can be used to specify and verify real-time systems[2]. As aconse......

描述了访问控制和逻辑的关系，并将访问控制授权判决问题归约成逻辑蕴涵问题；总结了基于逻辑的访问控制的基本逻辑问题，即逻辑基础、可......

　　模型检测是逻辑学和计算机科学中的一个重要研究领域，作为模态逻辑的一个重要分支时间逻辑，它的繁荣发展就出现在这一领域。模型......

弗协调逻辑，又译作“次协调逻辑”、“超协调逻辑”，是非经典逻辑的一个新兴分支。它是一种不能从矛盾推出一切的逻辑理论。论文指出......