| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 任意公告逻辑中具有共同知识的可满足性是$Σ^1_1$-难度 | Rustam Galimullin, Louwe B. Kuijer | 2307.05060 | cs.LO | 2023-07-12 |
| 稳定模态知识的接受语义 | Peter Hawke (Lingnan University) | 2307.05064 | cs.LO | 2023-07-12 |
| 知识-wh和错误信念敏感性：一项逻辑研究（扩展摘要） | Yuanzhe Yang (Department of Philosophy and Religious Studies, Peking University) | 2307.05073 | cs.LO | 2023-07-12 |
| 概率操作对应（技术报告） | Anna Schmitt and Kirstin Peters | 2307.05218 | cs.LO | 2023-07-12 |
| 计算最小可区分的Hennessy-Milner公式是NP难问题，但其变种是可处理的。 | Jan Martens, Jan Friso Groote | 2307.05265 | cs.LO | 2023-07-12 |
| 引入异步性到概率超属性 | Lina Gerlach (1), Oyendrila Dobe (2), Erika ''Abrah''am (1), Ezio Bartocci (3), Borzoo Bonakdarpour (2) ((1) RWTH Aachen University, Aachen, Germany, (2) Michigan State University, East Lansing, MI, USA, (3) Technische Universit"at Wien, Vienna, Austria) | 2307.05282 | cs.LO | 2023-07-12 |
| 基于状态/事件与纯粹基于动作或状态的逻辑对比 | James Smith | 1303.7459 | cs.LO | 2023-07-11 |
| 非确定性函数作为非确定性过程（扩展版本） | Joseph W. N. Paulus and Daniele Nantes-Sobrinho and Jorge A. P''erez | 2104.14759 | cs.LO | 2023-07-11 |
| 马尔可夫决策过程中概率提升因果关系的基础 | Christel Baier, Jakob Piribauer, and Robin Ziemek | 2209.02973 | cs.LO | 2023-07-11 |
| 非对称闭合结构的范畴可实现性 | Haruka Tomita | 2307.04119 | cs.LO | 2023-07-11 |
| 一个关于常见草地的Fracterm演算的完整有限等式公理化 | Jan A Bergstra and John V Tucker | 2307.04270 | cs.LO | 2023-07-11 |
| 数据词的一阶合成再探讨 | Julien Grange and Mathieu Lehaut | 2307.04499 | cs.LO | 2023-07-11 |
| 通过加速驱动的子句学习证明非终止 | Florian Frohn and J"urgen Giesl | 2304.10166 | cs.LO | 2023-07-10 |
| 利用伴随在属性导向可达性分析中的应用 | Mayuko Kori, Flavio Ascari, Filippo Bonchi, Roberto Bruni, Roberta Gori, Ichiro Hasuo | 2307.02817 | cs.LO | 2023-07-07 |
| 变量类别模递归一阶句法统一 | David M. Cerna | 2306.09152 | cs.LO | 2023-07-06 |
| 扭曲的立方体及其在类型理论中的应用 | Gun Pinyo | 2307.01327 | cs.LO | 2023-07-06 |
| 有效辅助变量通过结构化重新编码 | Andrew Haberlandt, Harrison Green, Marijn J.H. Heule | 2307.01904 | cs.LO | 2023-07-06 |
| 关于分离关系归纳逻辑的表达能力结果 | Radu Iosif, Florian Zuleger | 2307.02381 | cs.LO | 2023-07-06 |
| 面向一个集合的量词自由片段的可验证表格证明器 | Lukas Stevens | 2209.14133 | cs.LO | 2023-07-04 |
| 符号有限自动机的可满足性检查的复杂性 | Rodrigo Raya | 2307.00151 | cs.LO | 2023-07-04 |
| 关于具有数据的局部一阶逻辑的可满足性 | Benedikt Bollig and Arnaud Sangnier and Olivier Stietel | 2307.00831 | cs.LO | 2023-07-04 |
| 关于Cube类型系统中Eta长标准形式的定义 | Gilles Dowek, G''erard Huet, Benjamin Werner (LIX) | 2307.00854 | cs.LO | 2023-07-04 |
| 合成全信息协议 | Dietmar Berwanger, Laurent Doyen, Thomas Soullard | 2307.01063 | cs.LO | 2023-07-04 |
| 检测连续随机逻辑与量子连续时间马尔可夫链。 | Jingyi Mei, Ming Xu, Ji Guan, Yuxin Deng, Nengkun Yu | 2202.05412 | cs.LO | 2023-07-03 |
| SOTA法律推理模型对缺乏推断性推理提供了多少支持？ | Ha-Thanh Nguyen, Randy Goebel, Francesca Toni, Kostas Stathis, Ken Satoh | 2304.06912 | cs.LO | 2023-06-30 |