Logic in Computer Science

Authors and titles for cs.LO in May 2021, skipping first 25

[26]  arXiv:2105.04929 [pdf, other]

Title: Asynchronous Template Games and the Gray Tensor Product of 2-Categories

Authors: Melliès Paul-André

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

[27]  arXiv:2105.05133 [pdf, other]

Title: Formally Verified Simulations of State-Rich Processes using Interaction Trees in Isabelle/HOL

Authors: Simon Foster, Chung-Kil Hur, Jim Woodcock

Comments: 14 pages, submitted to CONCUR 2021

Subjects: Logic in Computer Science (cs.LO)

[28]  arXiv:2105.05763 [pdf, other]

Title: Iltis: Learning Logic in the Web

Authors: Gaetano Geck, Christine Quenkert, Marko Schmellenkamp, Jonas Schmidt, Felix Tschirbs, Fabian Vehlken, Thomas Zeume

Subjects: Logic in Computer Science (cs.LO)

[29]  arXiv:2105.06009 [pdf, other]

Title: Verification of the Incremental Merkle Tree Algorithm with Dafny

Authors: Franck Cassez

Comments: 16 pages

Subjects: Logic in Computer Science (cs.LO)

[30]  arXiv:2105.06186 [pdf, other]

Title: Tracelet Hopf Algebras and Decomposition Spaces (Extended Abstract)

Authors: Nicolas Behr (Université Paris Cité, IRIF, CNRS), Joachim Kock (Universitat Autònoma de Barcelona & Centre de Recerca Matemàtica)

Comments: In Proceedings ACT 2021, arXiv:2211.01102

Journal-ref: EPTCS 372, 2022, pp. 323-337

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

[31]  arXiv:2105.06194 [pdf, other]

Title: Geometric Model Checking of Continuous Space

Authors: Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Gianluca Grilletti, Diego Latella, Mieke Massink

Journal-ref: Logical Methods in Computer Science, Volume 18, Issue 4 (November 22, 2022) lmcs:9060

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Computer Vision and Pattern Recognition (cs.CV); Graphics (cs.GR)

[32]  arXiv:2105.06202 [pdf, ps, other]

Title: Deciding FO-definability of regular languages

Authors: Agi Kurucz, Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev

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

[33]  arXiv:2105.06244 [pdf, other]

Title: A Graphical Calculus for Lagrangian Relations

Authors: Cole Comfort (University of Oxford), Aleks Kissinger (University of Oxford)

Comments: In Proceedings ACT 2021, arXiv:2211.01102

Journal-ref: EPTCS 372, 2022, pp. 338-351

Subjects: Logic in Computer Science (cs.LO); Mathematical Physics (math-ph); Category Theory (math.CT); Quantum Physics (quant-ph)

[34]  arXiv:2105.06575 [pdf, other]

Title: Merit and Blame Assignment with Kind 2

Authors: Daniel Larraz, Mickaël Laurent, Cesare Tinelli

Subjects: Logic in Computer Science (cs.LO)

[35]  arXiv:2105.06690 [pdf, other]

Title: On Bisimilarities for Closure Spaces - Preliminary Version

Authors: Vincenzo Ciancia, Diego Latella, Mieke Massink Erik de Vink

Subjects: Logic in Computer Science (cs.LO)

[36]  arXiv:2105.06723 [pdf, other]

Title: Bounded Reachability Problems are Decidable in FIFO Machines

Authors: Benedikt Bollig, Alain Finkel, Amrita Suresh

Journal-ref: Logical Methods in Computer Science, Volume 18, Issue 1 (January 20, 2022) lmcs:7485

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

[37]  arXiv:2105.06744 [pdf, other]

Title: A Separator Theorem for Hypergraphs and a CSP-SAT Algorithm

Authors: Michal Koucký, Vojtěch Rödl, Navid Talebanfard

Journal-ref: Logical Methods in Computer Science, Volume 17, Issue 4 (December 13, 2021) lmcs:7484

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)

[38]  arXiv:2105.06787 [pdf, ps, other]

Title: Demonic Lattices and Semilattices in Relational Semigroups with Ordinary Composition

Authors: Robin Hirsch, Jaš Šemrl

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

[39]  arXiv:2105.06908 [pdf, ps, other]

Title: From Multisets over Distributions to Distributions over Multisets

Authors: Bart Jacobs

Subjects: Logic in Computer Science (cs.LO)

[40]  arXiv:2105.07531 [pdf, ps, other]

Title: First-Order Reasoning and Efficient Semi-Algebraic Proofs

Authors: Fedor Part, Neil Thapen, Iddo Tzameret

Comments: A preliminary version of this work appears in 36th Ann. Symp. Logic Comput. Science (LICS) 2021

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)

[41]  arXiv:2105.07595 [pdf, ps, other]

Title: A Complete Axiomatisation for Divergence Preserving Branching Congruence of Finite-State Behaviours

Authors: Xinxin Liu, Tingting Yu

Comments: 13 pages. To be published in LICS2021

Subjects: Logic in Computer Science (cs.LO)

[42]  arXiv:2105.07663 [pdf, other]

Title: Summing Up Smart Transitions

Authors: Neta Elad, Sophie Rain, Neil Immerman, Laura Kovács, Mooly Sagiv

Comments: This submission is an extended version of the CAV 2021 paper "Summing Up Smart Transitions", by N. Elad, S. Rain, N. Immerman, L. Kov\'acs and M. Sagiv

Subjects: Logic in Computer Science (cs.LO)

[43]  arXiv:2105.08155 [pdf, ps, other]

Title: (Deep) Induction Rules for GADTs

Authors: Patricia Johann, Enrico Ghiorzi

Comments: 14 pages

Subjects: Logic in Computer Science (cs.LO)

[44]  arXiv:2105.08231 [pdf, ps, other]

Title: The Topological Mu-Calculus: completeness and decidability

Authors: Alexandru Baltag, Nick Bezhanishvili, David Fernández-Duque

Subjects: Logic in Computer Science (cs.LO)

[45]  arXiv:2105.08353 [pdf, ps, other]

Title: Quantitative and Approximate Monitoring

Authors: Thomas A. Henzinger, N. Ege Saraç

Comments: To appear in LICS 2021; corrected a reference

Subjects: Logic in Computer Science (cs.LO)

[46]  arXiv:2105.08473 [pdf, other]

Title: An Internal Language for Categories Enriched over Generalised Metric Spaces

Authors: Fredrik Dahlqvist, Renato Neves

Comments: Extended version of the CSL'22 paper "An Internal Language for Categories Enriched over Generalised Metric Spaces"

Subjects: Logic in Computer Science (cs.LO)

[47]  arXiv:2105.08708 [pdf, other]

Title: A Spatial Logic for Simplicial Models

Authors: Michele Loreti, Michela Quadrini

Journal-ref: Logical Methods in Computer Science, Volume 19, Issue 3 (July 26, 2023) lmcs:8576

Subjects: Logic in Computer Science (cs.LO)

[48]  arXiv:2105.08951 [pdf, ps, other]

Title: On the logical structure of choice and bar induction principles

Authors: Nuria Brede, Hugo Herbelin (PI.R2)

Comments: LICS 2021 - 36th Annual Symposium on Logic in Computer Science, Jun 2021, Rome / Virtual, Italy

Subjects: Logic in Computer Science (cs.LO)

[49]  arXiv:2105.09169 [pdf, other]

Title: Everything You Always Wanted to Know About Generalization of Proof Obligations in PDR

Authors: Tobias Seufert, Felix Winterer, Christoph Scholl, Karsten Scheibler, Tobias Paxian, Bernd Becker

Subjects: Logic in Computer Science (cs.LO)

[50]  arXiv:2105.09368 [pdf, ps, other]

Title: An Algebraic Characterisation of First-Order Logic with Neighbour

Authors: Amaldev Manuel, Dhruv Nevatia

Comments: 13 pages

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