第24卷第2期
2023年4月
英国剑桥大学
我们提供通过电路复杂性对量化布尔公式(QBF)的分辨率中的证明大小进行严格表征。QBF Frege系统的层次结构之前已经获得了这样的特征[16]但最重要的是。。。
让V(V)是一组数论函数。我们定义了V(V)-谓词公式的可实现性V(V)用于解释含义和全称量词。在本文中,我们证明。。。
我们研究了在有限森林上解释的两种模态逻辑的表达性和复杂性,并配备了在子模型上进行推理的标准模态。逻辑\(\mathsf{ML}({\color{black}{{\vert\!\!\vert\!\vert}}})\)用…扩展了模态逻辑K。。。
我们为具有指数的直觉主义、双直觉主义和经典线性逻辑引入了适当的显示计算,这些逻辑是健全的、完整的、保守的,并且具有截消和子公式的性质。基于相同的设计,我们介绍了一个。。。
会话子类型是细化通信进程的基石:实现会话类型(即通信协议)的进程T型只要进程实现其超类型之一,就可以安全地使用T型“在任何情况下,……”。。。
在本文中,我们考虑答案集编程(ASP)。它是一种陈述性问题解决范式,可用于将问题编码为逻辑程序,其答案集对应于问题的解决方案。它已广泛应用于。。。
一个查询问是在一组视图V上单调确定的,如果问可以表示为视图图像的单调函数。在关系代数视图和查询的情况下,单调确定性与可重写性一致,是合取性和可重写性的结合。。。
现有的CSP测试理论是为了验证交互模式(跟踪)和死锁,而不是时间。我们在这里根据CSP的一种方言(称为股票-CSP,它可以捕获离散时间属性。这个。。。
帕里克提出了关联敏感公理,以弥补传统AGM范式在应对相关变化方面的不足。然而,帕里赫标准的一个不足之处在于,它依赖于待修正的信念集的偶然信念。。。
我们正在准备下载您的搜索结果。。。
文件准备好后,我们会在这里通知您。
您的搜索结果引用文件现已准备就绪。
您的搜索导出查询已过期。请重试。