计算机科学中的逻辑

最近提交的作者和标题

• 2025年10月03日， 星期五
• 2025年10月02日， 星期四
• 2025年10月01日， 星期三
• 2025年09月30日， 星期二
• 2025年09月29日， 星期一

查看今天的 新的 变化

2025年10月03日， 星期五 (展示 4 之 4 条目 )

[1] arXiv:2510.01868 (交叉列表自 cs.LO) [中文pdf, pdf, 其他]

标题： 数据感知模态逻辑的序列演算 显示英文标题

标题： Sequent Calculi for Data-Aware Modal Logics

Carlos Areces (Universidad Nacional de Cordoba and CONICET), Valentin Cassano (Universidad Nacional de Rio Cuarto and CONICET), Danae Dutto (Universidad Nacional de Cordoba and CONICET), Raul Fervari (Universidad Nacional de Cordoba and CONICET)

评论： 在LSFA 2025会议论文集，arXiv:2509.23739。完整的技术细节和省略的证明可以在arXiv:2505.17240中找到

期刊参考： EPTCS 430，2025，第8-25页

主题： 计算机科学中的逻辑 (cs.LO)

[2] arXiv:2510.01853 (交叉列表自 cs.LG) [中文pdf, pdf, html, 其他]

标题： 通过对比神经模型检测学习表示 显示英文标题

标题： Learning Representations Through Contrastive Neural Model Checking

Vladimir Krsmanovic, Matthias Cosler, Mohamed Ghanem, Bernd Finkbeiner

主题： 机器学习 (cs.LG) ; 计算机科学中的逻辑 (cs.LO)

[3] arXiv:2510.01490 (交叉列表自 cs.FL) [中文pdf, pdf, 其他]

标题： MightyPPL：带有过去和Pnueli模态的MITL验证 显示英文标题

标题： MightyPPL: Verification of MITL with Past and Pnueli Modalities

Hsi-Ming Ho, Shankara Narayanan Krishna, Khushraj Madnani, Rupak Majumdar, Paritosh Pandya

主题： 形式语言与自动机理论 (cs.FL) ; 计算机科学中的逻辑 (cs.LO)

[4] arXiv:2401.07549 (交叉列表自 cs.DM) [中文pdf, pdf, 其他]

标题： 多维子移位中扩展集的可计算性：渐近增长，动力学约束 显示英文标题

标题： Computability of extender sets in multidimensional subshifts: asymptotic growths, dynamical constraints

Antonin Callard, Léo Paviet Salomon, Pascal Vanier

评论： 43页，10图（扩展版本：混合约束和扩展熵维）

主题： 离散数学 (cs.DM) ; 计算复杂性 (cs.CC) ; 动力系统 (math.DS)

2025年10月02日， 星期四 (展示 3 之 3 条目 )

[5] arXiv:2510.00817 (交叉列表自 cs.AI) [中文pdf, pdf, html, 其他]

标题： 一阶c-表示与基于成本的语义之间的语义桥梁：初步观点 显示英文标题

标题： Semantic Bridges Between First Order c-Representations and Cost-Based Semantics: An Initial Perspective

Nicholas Leisegang, Giovanni Casini, Thomas Meyer

主题： 人工智能 (cs.AI) ; 计算机科学中的逻辑 (cs.LO)

[6] arXiv:2510.00759 (交叉列表自 math.LO) [中文pdf, pdf, html, 其他]

标题： 三次不完全性：希尔伯特第十问题从三次开始 显示英文标题

标题： Cubic incompleteness: Hilbert's tenth problem begins at degree three

Milan Rosko

评论： 我们构造了一个显式的三次丢番图方程，该方程与PA无关。结果通过基于泽肯多夫数的算术化和从停机问题的约简得出。1+10+1页。整体难度：假设了解哥德尔编号、MRDP定理、代数、复杂性理论、原始递归函数和形式理论P。

主题： 逻辑 (math.LO) ; 计算复杂性 (cs.CC) ; 计算机科学中的逻辑 (cs.LO)

[7] arXiv:2510.00225 (交叉列表自 cs.RO) [中文pdf, pdf, html, 其他]

标题： TGPO：用于信号时序逻辑任务的时序基础策略优化 显示英文标题

标题： TGPO: Temporal Grounded Policy Optimization for Signal Temporal Logic Tasks

Yue Meng, Fei Chen, Chuchu Fan

主题： 机器人技术 (cs.RO) ; 人工智能 (cs.AI) ; 机器学习 (cs.LG) ; 计算机科学中的逻辑 (cs.LO)

2025年10月01日， 星期三 (展示 8 之 8 条目 )

[8] arXiv:2509.26362 (交叉列表自 cs.LO) [中文pdf, pdf, html, 其他]

标题： 在结构化定义的上下文中传输LF中的可类型性定理 显示英文标题

标题： Transporting Theorems about Typeability in LF Across Schematically Defined Contexts

Chase Johnson, Gopalan Nadathur

评论： 在《PPDP 2025》论文集中

主题： 计算机科学中的逻辑 (cs.LO)

[9] arXiv:2509.26214 (交叉列表自 cs.LO) [中文pdf, pdf, html, 其他]

标题： 逻辑方法在半环上的非确定性多项式时间 显示英文标题

标题： Logical Approaches to Non-deterministic Polynomial Time over Semirings

Timon Barlag, Nicolas Fröhlich, Teemu Hankala, Miika Hannula, Minna Hirvonen, Vivian Holzapfel, Juha Kontinen, Arne Meier, Laura Strieker

主题： 计算机科学中的逻辑 (cs.LO)

[10] arXiv:2509.26197 (交叉列表自 cs.LO) [中文pdf, pdf, 其他]

标题： 通过对偶性解析Codensity单子 显示英文标题

标题： Demystifying Codensity Monads via Duality

Fabian Lenke, Nico Wittrock, Stefan Milius, Henning Urbat

主题： 计算机科学中的逻辑 (cs.LO)

[11] arXiv:2509.25883 (交叉列表自 cs.LO) [中文pdf, pdf, 其他]

标题： Rocq中的名义集合 显示英文标题

标题： Nominal Sets in Rocq

Fabrício Sanches Paranhos (Nethermind - London, UK), Daniel Ventura (INF-UFG)

评论： 在LSFA 2025会议论文集中，arXiv:2509.23739

期刊参考： EPTCS 430，2025年，第55-68页

主题： 计算机科学中的逻辑 (cs.LO)

[12] arXiv:2509.25882 (交叉列表自 cs.LO) [中文pdf, pdf, 其他]

标题： 模态扩展中格性质的表征 显示英文标题

标题： Characterization of Lattice Properties Within Modal Extensions

Alfredo R. Freire (Department of Philosophy, University of Brasilia, Brasil), Manuel A. Martins (Department of Mathematics, University of Aveiro, Portugal)

评论： 在LSFA 2025会议论文集中，arXiv:2509.23739

期刊参考： EPTCS 430，2025年，第26-36页

主题： 计算机科学中的逻辑 (cs.LO)

[13] arXiv:2509.25880 (交叉列表自 cs.LO) [中文pdf, pdf, 其他]

标题： 一个函数集框架：一般性质及其在模态逻辑中的应用 显示英文标题

标题： A Function-Set Framework: General Properties and Applications to Modal Logic

Luke Bayzid (University of Aveiro), Alexandre Madeira (University of Aveiro), Manuel A. Martins (University of Aveiro)

评论： 在LSFA 2025会议论文集中，arXiv:2509.23739

期刊参考： EPTCS 430，2025年，第1-7页

主题： 计算机科学中的逻辑 (cs.LO)

[14] arXiv:2509.25879 (交叉列表自 cs.LO) [中文pdf, pdf, 其他]

标题： 索引容器上的独异点结构 显示英文标题

标题： Monoid Structures on Indexed Containers

Michele De Pascalis, Tarmo Uustalu, Niccolò Veltrì

评论： 在LSFA 2025会议论文集，arXiv:2509.23739

期刊参考： EPTCS 430，2025年，第37-54页

主题： 计算机科学中的逻辑 (cs.LO) ; 编程语言 (cs.PL)

[15] arXiv:2509.25781 (交叉列表自 cs.AI) [中文pdf, pdf, html, 其他]

标题： 义务论论证 显示英文标题

标题： Deontic Argumentation

Guido Governatori, Antonino Rotolo

主题： 人工智能 (cs.AI) ; 计算机科学中的逻辑 (cs.LO)

2025年09月30日， 星期二 (展示 8 之 8 条目 )

[16] arXiv:2509.25023 (交叉列表自 cs.LO) [中文pdf, pdf, html, 其他]

标题： 带绑定器的变元结构的推广：一种用于结构代码比较的工具 显示英文标题

标题： Generalization of Variadic Structures with Binders: A Tool for Structural Code Comparison

Alexander Baumgartner, Temur Kutsia

主题： 计算机科学中的逻辑 (cs.LO)

[17] arXiv:2509.24583 (交叉列表自 cs.LO) [中文pdf, pdf, html, 其他]

标题： 模态逻辑中定义和分离不动点公式的复杂性 显示英文标题

标题： The Complexity of Defining and Separating Fixpoint Formulae in Modal Logic

Jean Christoph Jung, Jędrzej Kołodziejski

主题： 计算机科学中的逻辑 (cs.LO)

[18] arXiv:2509.23739 (交叉列表自 cs.LO) [中文pdf, pdf, 其他]

标题： 国际逻辑与语义框架及其应用二十届研讨会论文集 显示英文标题

标题： Proceedings Twentieth International Symposium on Logical and Semantic Frameworks with Applications

Haniel Barbosa, Christophe Ringeissen

期刊参考： EPTCS 430，2025

主题： 计算机科学中的逻辑 (cs.LO)

[19] arXiv:2509.22995 (交叉列表自 cs.LO) [中文pdf, pdf, html, 其他]

标题： 结构分离与P vs. NP问题中的语义不相容性：用构造定义功能进行计算复杂性分析 显示英文标题

标题： Structural Separation and Semantic Incompatibility in the P vs. NP Problem: Computational Complexity Analysis with Construction Defining Functionality

Yumiko Nishiyama

主题： 计算机科学中的逻辑 (cs.LO) ; 计算复杂性 (cs.CC)

[20] arXiv:2509.24616 (交叉列表自 cs.AI) [中文pdf, pdf, html, 其他]

标题： LTL$_f$学习与布尔集覆盖相结合 显示英文标题

标题： LTL$_f$ Learning Meets Boolean Set Cover

Gabriel Bathie, Nathanaël Fijalkow, Théo Matricon, Baptiste Mouillon, Pierre Vandenhove

评论： 23页，4图

主题： 人工智能 (cs.AI) ; 形式语言与自动机理论 (cs.FL) ; 计算机科学中的逻辑 (cs.LO)

[21] arXiv:2509.24489 (交叉列表自 cs.AI) [中文pdf, pdf, 其他]

标题： 通过查询驱动的交互式精炼克服约束获取中的过拟合 显示英文标题

标题： Overcoming Over-Fitting in Constraint Acquisition via Query-Driven Interactive Refinement

Vasileios Balafas, Dimos Tsouros, Nikolaos Ploskas, Kostas Stergiou

评论： 预印本。使用国际人工智能工具期刊（世界科学出版社）的模板。包含图表和算法。已提交至IJAIT

主题： 人工智能 (cs.AI) ; 机器学习 (cs.LG) ; 计算机科学中的逻辑 (cs.LO)

[22] arXiv:2509.24024 (交叉列表自 cs.FL) [中文pdf, pdf, html, 其他]

标题： 逻辑与自动机在理解Transformer中的作用 显示英文标题

标题： The Role of Logic and Automata in Understanding Transformers

Anthony W. Lin, Pablo Barcelo

评论： 受邀论文的预印本

主题： 形式语言与自动机理论 (cs.FL) ; 计算与语言 (cs.CL) ; 机器学习 (cs.LG) ; 计算机科学中的逻辑 (cs.LO)

[23] arXiv:2408.14345 (交叉列表自 cs.PL) [中文pdf, pdf, 其他]

标题： 守卫分析和安全擦除渐进类型系统：Elixir 的类型系统 显示英文标题

标题： Guard Analysis and Safe Erasure Gradual Typing: a Type System for Elixir

Giuseppe Castagna, Guillaume Duboc

主题： 编程语言 (cs.PL)

2025年09月29日， 星期一 (展示 6 之 6 条目 )

[24] arXiv:2509.22533 (交叉列表自 cs.LO) [中文pdf, pdf, html, 其他]

标题： 在非马尔可夫情境演算中指定义务分类学 显示英文标题

标题： Specifying an Obligation Taxonomy in the Non-Markovian Situation Calculus

Kalonji Kalala, Iluju Kiringa, Tet Yeap

评论： 第九届国际规则与推理联合会议（RuleML+RR 2025）

主题： 计算机科学中的逻辑 (cs.LO)

[25] arXiv:2509.22236 (交叉列表自 cs.LO) [中文pdf, pdf, html, 其他]

标题： 用于控制系统输入选择的构造正确容错表决器 显示英文标题

标题： A Correct by Construction Fault Tolerant Voter for Input Selection of a Control System

Arif Ali AP, Jasine Babu, Deepa Sara John

主题： 计算机科学中的逻辑 (cs.LO)

[26] arXiv:2509.21840 (交叉列表自 cs.LO) [中文pdf, pdf, html, 其他]

标题： 大型语言模型能否自动形式化运动学？ 显示英文标题

标题： Can Large Language Models Autoformalize Kinematics?

Aditi Kabra, Jonathan Laurent, Sagar Bharadwaj, Ruben Martins, Stefan Mitsch, André Platzer

主题： 计算机科学中的逻辑 (cs.LO) ; 人工智能 (cs.AI)

[27] arXiv:2509.22493 (交叉列表自 cs.RO) [中文pdf, pdf, html, 其他]

标题： 对比解释性叙述的本体论基础 显示英文标题

标题： Ontological foundations for contrastive explanatory narration of robot plans

Alberto Olivares-Alarcos, Sergi Foix, Júlia Borràs, Gerard Canal, Guillem Alenyà

评论： 此版本已提交给期刊《信息科学》，自2024年10月起正在审稿中。

主题： 机器人技术 (cs.RO) ; 人工智能 (cs.AI) ; 信息检索 (cs.IR) ; 计算机科学中的逻辑 (cs.LO)

[28] arXiv:2509.22343 (交叉列表自 cs.CL) [中文pdf, pdf, html, 其他]

标题： 变压器可以在某些图中学习连接性，但不能在其他图中学习 显示英文标题

标题： Transformers Can Learn Connectivity in Some Graphs but Not Others

Amit Roy, Abulhair Saparov

评论： 正在审核中

主题： 计算与语言 (cs.CL) ; 人工智能 (cs.AI) ; 机器学习 (cs.LG) ; 计算机科学中的逻辑 (cs.LO)

[29] arXiv:2509.21663 (交叉列表自 cs.LG) [中文pdf, pdf, html, 其他]

标题： 假设的逻辑：在神经符号集成中从零到完整知识 显示英文标题

标题： Logic of Hypotheses: from Zero to Full Knowledge in Neurosymbolic Integration

Davide Bizzaro, Alessandro Daniele

主题： 机器学习 (cs.LG) ; 人工智能 (cs.AI) ; 计算机科学中的逻辑 (cs.LO)