Logic in Computer Science

Authors and titles for November 2024

[51] arXiv:2411.14583 [pdf, other]

Title: Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings

Marco Bernardo (University of Urbino), Andrea Esposito (University of Urbino), Claudio A. Mezzina (University of Urbino)

Comments: In Proceedings EXPRESS/SOS 2024, arXiv:2411.13318

Journal-ref: EPTCS 412, 2024, pp. 51-70

Subjects: Logic in Computer Science (cs.LO)

[52] arXiv:2411.14584 [pdf, other]

Title: One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics

Benjamin Bisping (TU Berlin), David N. Jansen (Institute of Software, Chinese Academy of Sciences)

Comments: In Proceedings EXPRESS/SOS 2024, arXiv:2411.13318

Journal-ref: EPTCS 412, 2024, pp. 71-88

Subjects: Logic in Computer Science (cs.LO)

[53] arXiv:2411.14856 [pdf, other]

Title: A Rewriting Theory for Quantum Lambda-Calculus

Claudia Faggian, Gaetan Lopez, Benoît Valiron

Comments: CSL2025: 33rd EACSL Annual Conference on Computer Science Logic 2025

Subjects: Logic in Computer Science (cs.LO)

[54] arXiv:2411.14870 [pdf, html, other]

Title: Application of AI to formal methods - an analysis of current trends

Sebastian Stock, Jannik Dunkelau, Atif Mashkoor

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)

[55] arXiv:2411.15103 [pdf, other]

Title: Coslice Colimits in Homotopy Type Theory

Perry Hart, Kuen-Bang Hou (Favonia)

Comments: 68 pages, improved exposition and layout, typos corrected, updated references to Agda code, theorem and definition numbering unchanged, proofs in Appendix B moved to upcoming paper

Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT); Logic (math.LO)

[56] arXiv:2411.15365 [pdf, html, other]

Title: Advances in Algorithmic Meta Theorems

Sebastian Siebertz, Alexandre Vigny

Subjects: Logic in Computer Science (cs.LO); Discrete Mathematics (cs.DM); Combinatorics (math.CO); Logic (math.LO)

[57] arXiv:2411.16397 [pdf, html, other]

Title: Words-to-Letters Valuations for Language Kleene Algebras with Variable and Constant Complements

Yoshiki Nakamura, Ryoma Sin'ya

Comments: arXiv admin note: text overlap with arXiv:2309.02760

Subjects: Logic in Computer Science (cs.LO)

[58] arXiv:2411.16564 [pdf, html, other]

Title: J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)

Kevin Batz, Benjamin Lucien Kaminski, Christoph Matheja, Tobias Winkler

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[59] arXiv:2411.16921 [pdf, html, other]

Title: Revisiting Stateful Partial-Order Reduction

Frédéric Herbreteau, Sarah Larroze-Jardiné, Gérald Point, Igor Walukiewicz

Subjects: Logic in Computer Science (cs.LO)

[60] arXiv:2411.17250 [pdf, other]

Title: Weakly acyclic diagrams: A data structure for infinite-state symbolic verification

Michael Blondin, Michaël Cadilhac, Xin-Yi Cui, Philipp Czerner, Javier Esparza, Jakob Schulz

Comments: Final version of TACAS'25 with appendix and link to artifact

Subjects: Logic in Computer Science (cs.LO); Data Structures and Algorithms (cs.DS)

[61] arXiv:2411.17486 [pdf, other]

Title: Linear Realisability over nets: multiplicatives (long version)

Adrien Ragot, Thomas Seiller, Lorenzo Tortora de Falco

Subjects: Logic in Computer Science (cs.LO)

[62] arXiv:2411.18176 [pdf, other]

Title: A finite presentation of graphs of treewidth at most three

Amina Doumane (PLUME, LIP), Samuel Humeau (PLUME, LIP), Damien Pous (PLUME, LIP)

Comments: 51st International Colloquium on Automata, Languages, and Programming (ICALP 2024)., Jul 2024, Tallinn, Estonia

Subjects: Logic in Computer Science (cs.LO)

[63] arXiv:2411.19084 [pdf, html, other]

Title: On Homogeneous Model of Fluted Languages

Daumantas Kojelis

Subjects: Logic in Computer Science (cs.LO)

[64] arXiv:2411.19177 [pdf, html, other]

Title: Bounds for Quantum Circuits using Logic-Based Analysis

Benedikt Fauseweh, Ben Hermann, Falk Howar

Subjects: Logic in Computer Science (cs.LO); Software Engineering (cs.SE)

[65] arXiv:2411.00431 (cross-list from cs.AI) [pdf, html, other]

Title: Integrating Fuzzy Logic into Deep Symbolic Regression

Wout Gerdes, Erman Acar

Comments: 10 pages, 1 figure, published for XAI FIN 24 this https URL

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)

[66] arXiv:2411.00752 (cross-list from cs.PL) [pdf, other]

Title: Polymorphic Metaprogramming with Memory Management -- An Adjoint Analysis of Metaprogramming

Junyoung Jang, Brigitte Pientka

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[67] arXiv:2411.01184 (cross-list from cs.AI) [pdf, html, other]

Title: Guiding Multi-agent Multi-task Reinforcement Learning by a Hierarchical Framework with Logical Reward Shaping

Chanjuan Liu, Jinmiao Cong, Bingcai Chen, Yaochu Jin, Enqiang Zhu

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[68] arXiv:2411.02318 (cross-list from cs.SE) [pdf, html, other]

Title: Evaluating the Ability of Large Language Models to Generate Verifiable Specifications in VeriFast

Wen Fan, Marilyn Rego, Xin Hu, Sanya Dod, Zhaorui Ni, Danning Xie, Jenna DiVincenzo, Lin Tan

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[69] arXiv:2411.03231 (cross-list from cs.CR) [pdf, html, other]

Title: Formal Logic-guided Robust Federated Learning against Poisoning Attacks

Dung Thuy Nguyen, Ziyan An, Taylor T. Johnson, Meiyi Ma, Kevin Leach

Comments: 12 pages, 4 figures, 6 tables

Subjects: Cryptography and Security (cs.CR); Artificial Intelligence (cs.AI); Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO)

[70] arXiv:2411.03451 (cross-list from cs.DS) [pdf, html, other]

Title: Redundancy Is All You Need

Joshua Brakensiek, Venkatesan Guruswami

Comments: 66 pages

Subjects: Data Structures and Algorithms (cs.DS); Discrete Mathematics (cs.DM); Information Theory (cs.IT); Logic in Computer Science (cs.LO); Combinatorics (math.CO)

[71] arXiv:2411.03821 (cross-list from math.CT) [pdf, other]

Title: Interacting Monoidal Structures with Applications in Computing

James Cranch, Georg Struth

Comments: 47 pages

Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO)

[72] arXiv:2411.04555 (cross-list from cs.AI) [pdf, html, other]

Title: An Axiomatic Study of the Evaluation of Enthymeme Decoding in Weighted Structured Argumentation

Jonathan Ben-Naim, Victor David, Anthony Hunter

Comments: 14 pages

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[73] arXiv:2411.04870 (cross-list from math.AT) [pdf, other]

Title: Manifold Diagrams for Higher Categories

Lukas Heidemann

Comments: originally submitted version, before corrections

Subjects: Algebraic Topology (math.AT); Logic in Computer Science (cs.LO); Category Theory (math.CT)

[74] arXiv:2411.05511 (cross-list from math.CT) [pdf, other]

Title: A computational method for left-adjointness

Simon Forest

Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO)

[75] arXiv:2411.05943 (cross-list from cs.AI) [pdf, html, other]

Title: Quantifying artificial intelligence through algorithmic generalization

Takuya Ito, Murray Campbell, Lior Horesh, Tim Klinger, Parikshit Ram

Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)