| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 直观乘法线性逻辑的证明论语义 | Alexander V. Gheorghiu, Tao Gu, David J. Pym | 2306.05106 | cs.LO | 2023-08-16 |
| 有界扩展图类上的继任者不变一阶公式的模型检查 | Jan van den Heuvel and Stephan Kreutzer and Micha{l} Pilipczuk and Daniel A. Quiroz and Roman Rabinovich and Sebastian Siebertz | 1701.08516 | cs.LO | 2023-08-15 |
| 线性动力系统中极限正性的稳健实例的表征 | Mihir Vahanwala | 2308.06421 | cs.LO | 2023-08-15 |
| 显式非正常模态逻辑 | Atefeh Rohani and Thomas Studer | 2108.04486 | cs.LO | 2023-08-14 |
| 关于Skolem问题、正性问题和终极正性问题的鲁棒性 | S. Akshay, Hugo Bazille, Blaise Genest, Mihir Vahanwala | 2211.02365 | cs.LO | 2023-08-11 |
| 决定实值函数的谓词逻辑理论 | Stefan Ratschan | 2306.16505 | cs.LO | 2023-08-11 |
| 次指数非结合非交换线性逻辑的探索 | Eben Blaisdell (University of Pennsylvania, USA), Max Kanovich (University College London, UK), Stepan L. Kuznetsov (Steklov Mathematical Institute of RAS, Russia and HSE University, Russia), Elaine Pimentel (University College London, UK), Andre Scedrov (University of Pennsylvania, USA) | 2308.05537 | cs.LO | 2023-08-11 |
| ESBMC v7.3：使用Clang AST对C++程序进行模型检测 | Kunjian Song, Mikhail R. Gadelha, Franz Brau{ss}e, Rafael S. Menezes, Lucas C. Cordeiro | 2308.05649 | cs.LO | 2023-08-11 |
| 游戏共同子范畴的限制通过同态不可区分性 | Moritz Lichter, Benedikt Pago, Tim Seppelt | 2308.05693 | cs.LO | 2023-08-11 |
| 休眠感知的定时分支等价性及其在通信协议分析中的应用 | C. A. Middelburg | 2107.08921 | cs.LO | 2023-08-10 |
| Hajek的BL的Kripke语义 | Andrew Lewis-Smith (University of Sheffield) | 2308.04518 | cs.LO | 2023-08-10 |
| 超图Lambek演算中的多模态性 | Tikhon Pshenitsyn | 2308.04520 | cs.LO | 2023-08-10 |
| 在分布式非交换线性逻辑中对次指数模态的语义分析 | Daniel Rogozin (University College London) | 2308.04521 | cs.LO | 2023-08-10 |
| 修订的Datalog在具有闭包性质的问题上的表达能力 | Shiguang Feng | 1403.6611 | cs.LO | 2023-08-09 |
| 自顶向下的自动定理证明（给Timothy先生的笔记） | C. E. Larson and N. Van Cleemput | 2308.02540 | cs.LO | 2023-08-09 |
| 更高维命题演算 | Antonio Bucciarelli and Antonio Ledda and Francesco Paoli and Antonino Salibra | 2204.00435 | cs.LO | 2023-08-08 |
| 验证高阶多项式解释 | Niels van der Weide, Deivid Vale, Cynthia Kop | 2302.11892 | cs.LO | 2023-08-08 |
| 将一阶谓词逻辑翻译成关系代数，使用Z3实现 | Anthony Brogni, Sebastiaan J. C. Joosten | 2308.02513 | cs.LO | 2023-08-08 |
| 自动模型：通过SoC设计的通信跟踪自动合成模型 | Md Rubel Ahmed, Bardia Nadimi, Hao Zheng | 2308.03523 | cs.LO | 2023-08-08 |
| 量词在部分多态下封闭 | Anuj Dawar and Lauri Hella | 2308.03695 | cs.LO | 2023-08-08 |
| 描述逻辑和具体领域推理的证明合并（技术报告） | Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann and Alisa Kovtunova | 2308.03705 | cs.LO | 2023-08-08 |
| 关于无界团宽的遗传类别的MSO不可判定性 | Anuj Dawar and Abhisekh Sankaran | 2011.02894 | cs.LO | 2023-08-04 |
| 线性和多线性实数算术中的局部搜索方法 | Bohan Li, Shaowei Cai | 2303.06676 | cs.LO | 2023-08-03 |
| Farkas引理下的仿射不交不变量生成 | Hongming Liu, Jingyu Ke, Hongfei Fu, Liqian Chen, Guoqiang Li | 2307.13318 | cs.LO | 2023-08-03 |
| 并发中的终止问题，重新审视 | Joseph W. N. Paulus, Jorge A. P''erez, Daniele Nantes-Sobrinho | 2308.01165 | cs.LO | 2023-08-03 |