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)