保存此搜索
研究论文 2024年7月 PCTL的有限可满足性问题是不可判定的 我们证明了给定的PCTL公式是否具有有限模型的问题是不可判定的。 即使对于形式为[EQUATION]的公式,不可判定性结果仍然有效,其中 1 , ϕ 2 只取决于至多两个可达到的状态。。。 研究论文 2024年7月 右线性(ω-)文法的循环证明理论 右线性(或左线性)文法是一类著名的无上下文文法,只计算正则语言。 它们可能自然地被写成具有最少不动点的表达式,但其乘积仅限于字母作为左参数。。。 研究论文 2024年7月 原始递归相关类型理论 我们证明,将Martin-Löf类型理论(MLTT)中自然数类型的消去原理限制为不包含###II类型的类型集合,可以确保所有可定义函数都是原始递归的。 这扩展了……的概念。。。 研究论文 2024年7月 通过合并验证无限性 良好结构的转换系统(WSTS)是一个抽象的系统家族,它包含了无限状态系统的广阔前景。 通过对状态集要求良好的拟序(wqo),WSTS使经典。。。 研究论文 2024年7月 原子鞘逻辑中的等价性和条件独立性 我们为逻辑提出了一个语义基础,用于在具有变量相等、变量粗略等价和变量之间条件独立概念的情况下进行推理。 我们表明,这种关系。。。 -
研究论文 2024年7月 整数中的自然数 在同伦类型理论中,自然数类型是由元素和自同态自由生成的。 类似地,整数类型是由元素和自同构自由生成的。 仅使用依赖和、标识类型、扩展依赖。。。 研究论文 2024年7月 相关S无法确定 自[Urquhart 1972,1973年]引入半格相关逻辑S以来,其决策问题一直是一个开放问题。 [Urquhart 1984年]表明,许多相关逻辑是不可判定的,但S回避了这些技术。 最终,这。。。 研究论文 2024年7月 有限随机结构的一阶复杂性 对于随机结构序列 n个 -关系签名上的元素域,我们将其FO复杂性定义为Banach空间中的某个子集 ℓ ∞ / c(c) 0 众所周知的FO零点定律和FO收敛定律对应于FO复杂性相等。。。 研究论文 2024年7月 从量词深度到量词数:用k个变量分隔结构 给定两个 n个 -构件结构, A类 和 ℬ ,可以通过以下句子来区分 k个 -可变一阶逻辑 (ℒ k个 ) ,最低要求是什么 f(n) 保证会有判决 Φ ∈ ℒ k个 最多 (f) ( n个 )量词,这样 A类 ⊨ Φ 但是 ℬ ⊭ ... 研究论文 2024年7月 量子超的代理语义 我们将强预言者的态射确定为量子超映射的分类。 因此,这些带孔图的黑盒泛化被放在更广泛的profunctor光学领域中,如同同构范畴中的形态一样。。。 研究论文 2024年7月 通过I/R树的深度分析限定Weisfeiler-Leman维数 Weisfeiler-Leman(WL)维是对图和关系结构内在描述复杂性的一种既定度量。 它对应于所需的变量数量,这些变量足以定义一个。。。 研究论文 2024年7月 用破坏完成游戏逻辑 破坏的游戏逻辑 (德国劳埃德船级社 秒 )作为Parikh游戏逻辑的简单自然扩展,引入了一个附加原语,允许玩家为对手设置陷阱。 德国劳埃德船级社 秒 可以用来模拟无限破坏游戏,其中。。。 研究论文 2024年7月 具有算术谓词的二阶一元逻辑的可判定性 我们研究了结构(N;<, P(P) 1 ,…, P(P) k个 ),用于各种一元谓词 P(P) 1 ,…, P(P) k个 ⊆N.我们特别关注线性递归序列研究中出现的“算术”谓词。。。 研究论文 2024年7月 稀疏随机图的一阶可区分性 我们研究二项随机图的两个独立样本[EQUATION]和[EQUITION]之间的区别问题 G(n,p) 用一级(FO)句子。 Shelah和Spencer证明了,对于一个常数 α ∈ (0, 1), G(n,n −-α ) 遵守FO零定律,如果。。。 研究论文 2024年7月 关于单价基础中球体的对称性 在单价基础上,我们研究了球体的对称性,即####S形式的类型 n个 =####S n个 圆的情况有一个巧妙的答案:圆的对称性形成了圆的两个副本。 对于高维球体,。。。 研究论文 2024年7月 二元一阶逻辑中正则关系的一致化 二元关系的一致化是包含在其中的函数关系,具有相同的域。 均匀化问题询问是否可以在给定的形式主义中定义这种均匀化。 我们在常规的。。。 研究论文 2024年7月 准模态逻辑的可判定性 模态逻辑K的公理扩张的可判定性 模态简化原理 即形式⋄的公理 k个 第页 → ⋄ n个 第页 ,一直是一个悬而未决的问题。 在本文中,我们在解决这个问题方面取得了重大进展,并表明了。。。 研究论文 2024年7月 Mazurkiewicz迹上一个表示完备的局部过去命题动态逻辑及其应用 我们提出了命题动态逻辑的一个局部的、面向过去的片段,以推理建模为Mazurkiewicz跟踪的并发场景,并证明它相对于常规跟踪语言而言是表达完整的。 由于地域原因。。。 研究论文 2024年7月 有限结构上双向互模拟不变一元最小不动点逻辑的特征定理 范·本特姆(van Benthem)的一个开创性定理从模态逻辑的角度描述了一阶逻辑(FOL)的互模拟不变片段。 同样,Janin和Walukiewicz也证明了一元二阶逻辑(MSO)的互模拟不变片段。。。 研究论文 2024年7月 δ代表Dialectica 自动微分是研究微分的有效计算。 虽然第一个自动微分算法是伴随着计算机科学的诞生而产生的,但特定的反向传播算法已经被引入到了一个新的领域。。。