Logic in Computer Science

Authors and titles for recent submissions

• Wed, 23 Apr 2025
• Tue, 22 Apr 2025
• Mon, 21 Apr 2025
• Fri, 18 Apr 2025
• Thu, 17 Apr 2025

See today's new changes

Wed, 23 Apr 2025 (showing 6 of 6 entries )

[1] arXiv:2504.15960 [pdf, other]

Title: The Value Problem for Multiple-Environment MDPs with Parity Objective

Krishnendu Chatterjee, Laurent Doyen, Jean-François Raskin, Ocan Sankur

Comments: Extended version of ICALP 2025 paper

Subjects: Logic in Computer Science (cs.LO)

[2] arXiv:2504.15844 [pdf, html, other]

Title: Sound and Complete Invariant-Based Heap Encodings (Technical Report)

Zafer Esen, Philipp Rümmer, Tjark Weber

Subjects: Logic in Computer Science (cs.LO)

[3] arXiv:2504.15645 [pdf, html, other]

Title: SMT and Functional Equation Solving over the Reals: Challenges from the IMO

Chad E. Brown, Karel Chvalovský, Mikoláš Janota, Mirek Olšák, Stefan Ratschan

Subjects: Logic in Computer Science (cs.LO)

[4] arXiv:2504.15529 [pdf, html, other]

Title: Quantum-Related Methods for Solving Set Constraint Problems

Neema Rustin Badihian

Comments: 9 pages, 2 tables

Subjects: Logic in Computer Science (cs.LO); Quantum Physics (quant-ph)

[5] arXiv:2504.15417 [pdf, html, other]

Title: On the Boolean Network Theory of Datalog$^\neg$

Van-Giang Trinh, Belaid Benhamou, Sylvain Soliman, François Fages

Comments: 48 pages, 7 figures

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

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

Title: Approximate matrices of systems of max-min fuzzy relational equations

Ismaïl Baaj

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

Tue, 22 Apr 2025 (showing 7 of 7 entries )

[7] arXiv:2504.14561 [pdf, html, other]

Title: Proof Scores: A Survey (full version)

Adrian Riesco, Kazuhiro Ogata, Masaki Nakamura, Daniel Gaina, Duong Dinh Tran, Kokichi Futatsugi

Comments: Proof Scores: A Survey. ACM Comput. Surv. (April 2025)

Subjects: Logic in Computer Science (cs.LO)

[8] arXiv:2504.14413 [pdf, html, other]

Title: On the $p$-adic Skolem Problem

Piotr Bacik, Joël Ouaknine, David Purser, James Worrell

Subjects: Logic in Computer Science (cs.LO); Number Theory (math.NT)

[9] arXiv:2504.14283 [pdf, other]

Title: Cyclic Proofs in Hoare Logic and its Reverse

James Brotherston, Quang Loc Le, Gauri Desai, Yukihiro Oda

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

[10] arXiv:2504.14270 [pdf, html, other]

Title: Convergence Laws for Extensions of First-Order Logic with Averaging

Sam Adam-Day, Michael Benedikt, Alberto Larrauri

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

[11] arXiv:2504.14252 [pdf, other]

Title: Ordered Completion for Non-Locally Tight mini-gringo Programs

Jan Heuer

Comments: Master's Thesis submitted at the University of Potsdam

Subjects: Logic in Computer Science (cs.LO)

[12] arXiv:2504.14158 [pdf, html, other]

Title: Refinement orders for quantum programs

Yuan Feng, Li Zhou

Subjects: Logic in Computer Science (cs.LO); Quantum Physics (quant-ph)

[13] arXiv:2504.13842 (cross-list from cs.AI) [pdf, other]

Title: The Model Counting Competitions 2021-2023

Johannes K. Fichte, Markus Hecher

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

Mon, 21 Apr 2025

No updates for this time period.

Fri, 18 Apr 2025 (showing 4 of 4 entries )

[14] arXiv:2504.12546 [pdf, html, other]

Title: Anonymous Public Announcements

Thomas Ågotnes, Rustam Galimullin, Ken Satoh, Satoshi Tojo

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Cryptography and Security (cs.CR)

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

Title: Timing via Pinwheel Double Categories

Elena Di Lavore, Mario Román

Comments: 10 pages, uses formulations from 'Monoidal Context Theory' (arXiv:2404.06192) and 'String Diagrams for Physical Duoidal Categories' (arXiv:2406.19816)

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

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

Title: Canonicity for Cost-Aware Logical Framework via Synthetic Tait Computability

Runming Li, Robert Harper

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

[17] arXiv:2504.12302 (cross-list from cs.CC) [pdf, html, other]

Title: Reachability in Geometrically $d$-Dimensional VASS

Yuxi Fu, Yangluo Zheng, Qizhe Yang

Comments: 30 pages, 6 figures

Subjects: Computational Complexity (cs.CC); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

Thu, 17 Apr 2025 (showing 4 of 4 entries )

[18] arXiv:2504.12246 [pdf, html, other]

Title: Branching Bisimulation Learning

Alessandro Abate, Mirco Giacobbe, Christian Micheletti, Yannik Schnitzer

Subjects: Logic in Computer Science (cs.LO)

[19] arXiv:2504.12182 [pdf, other]

Title: Domains, Information Frames, and Their Logic

Dieter Spreen

Subjects: Logic in Computer Science (cs.LO)

[20] arXiv:2504.12128 [pdf, other]

Title: An Algebraic Extension of Intuitionistic Linear Logic: The $L_!^S$-Calculus and Its Categorical Model

Alejandro Díaz-Caro, Malena Ivnisky, Octavio Malherbe

Comments: arXiv admin note: substantial text overlap with arXiv:2310.08517

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

[21] arXiv:2504.12031 (cross-list from cs.PL) [pdf, html, other]

Title: Proof-Carrying Neuro-Symbolic Code

Ekaterina Komendantskaya

Comments: Invited paper at CiE 2025. arXiv admin note: text overlap with arXiv:2501.05867

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