Logic in Computer Science

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

[51]  arXiv:2105.09533 [pdf, other]

Title: From Verification to Causality-based Explications

Authors: Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer, Robin Ziemek

Comments: 20 pages, to appear in Proceedings of ICALP'21

Subjects: Logic in Computer Science (cs.LO)

[52]  arXiv:2105.09534 [pdf, other]

Title: Generalizing Non-Punctuality for Timed Temporal Logic with Freeze Quantifiers

Authors: Shankara Narayanan Krishna, Khushraj Madnani, Manuel Mazo Jr., Paritosh K. Pandya

Comments: Accepted for Publication in International Symposium on Formal Methods, FM 2021

Subjects: Logic in Computer Science (cs.LO)

[53]  arXiv:2105.09743 [pdf, ps, other]

Title: lazybvtoint at the SMT Competition 2020

Authors: Yoni Zohar, Ahmed Irfan, Makai Mann, Andres Notzli, Andrew Reynolds, Clark Barrett

Subjects: Logic in Computer Science (cs.LO)

[54]  arXiv:2105.09929 [pdf, other]

Title: Join Inverse Rig Categories for Reversible Functional Programming, and Beyond

Authors: Robin Kaarsgaard (University of Edinburgh), Mathys Rennela (INRIA Paris)

Comments: In Proceedings MFPS 2021, arXiv:2112.13746

Journal-ref: EPTCS 351, 2021, pp. 152-167

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

[55]  arXiv:2105.10164 [pdf, ps, other]

Title: Expressivity of Quantitative Modal Logics: Categorical Foundations via Codensity and Approximation

Authors: Yuichi Komorida, Shin-ya Katsumata, Clemens Kupke, Jurriaan Rot, Ichiro Hasuo

Comments: 14 pages + 9 page appendix, to appear in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2021)

Subjects: Logic in Computer Science (cs.LO)

[56]  arXiv:2105.10740 [pdf, other]

Title: A First-Order Complete Temporal Logic for Structured Context-Free Languages

Authors: Michele Chiari (1), Dino Mandrioli (1), Matteo Pradella (1 and 2) ((1) DEIB, Politecnico di Milano, (2) IEIIT, Consiglio Nazionale delle Ricerche)

Journal-ref: Logical Methods in Computer Science, Volume 18, Issue 3 (July 29, 2022) lmcs:8355

Subjects: Logic in Computer Science (cs.LO)

[57]  arXiv:2105.10908 [pdf, ps, other]

Title: PASOCS: A Parallel Approximate Solver for Probabilistic Logic Programs under the Credal Semantics

Authors: David Tuckey, Alessandra Russo, Krysia Broda

Subjects: Logic in Computer Science (cs.LO)

[58]  arXiv:2105.10914 [pdf, other]

Title: Quantum and classical registers

Authors: Dominique Unruh

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

[59]  arXiv:2105.10930 [pdf, other]

Title: Uniform interpolation via nested sequents and hypersequents

Authors: Iris van der Giessen, Raheleh Jalali, Roman Kuznets

Subjects: Logic in Computer Science (cs.LO)

[60]  arXiv:2105.10946 [pdf, other]

Title: Diagrammatic Polyhedral Algebra

Authors: Filippo Bonchi, Alessandro Di Giorgio, Pawel Sobocinski

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