Logic in Computer Science

Authors and titles for cs.LO in Mar 2024

[1]  arXiv:2403.00087 [pdf, ps, other]

Title: Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking

Authors: Alessandro Cimatti, Alberto Griggio, Gianluca Redondi

Subjects: Logic in Computer Science (cs.LO)

[2]  arXiv:2403.00169 [pdf, other]

Title: Quantitative Assurance and Synthesis of Controllers from Activity Diagrams

Authors: Kangfeng Ye, Fang Yan, Simos Gerasimou

Comments: 43 pages, 29 figures, 5 tables, submitted to Journal of Systems and Software (JSS)

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

[3]  arXiv:2403.00201 [pdf, ps, other]

Title: Constructive S4 modal logics with the finite birelational frame property

Authors: Philippe Balbiani, Martín Diéguez, David Fernández-Duque, Brett McLean

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

Subjects: Logic in Computer Science (cs.LO)

[4]  arXiv:2403.00491 [pdf, ps, other]

Title: Analyzing Divergence for Nondeterministic Probabilistic Models

Authors: Hao Wu, Yuxi Fu, Huan Long, Xian Xu, Wenbo Zhang

Subjects: Logic in Computer Science (cs.LO)

[5]  arXiv:2403.00704 [pdf, other]

Title: Representing Guardedness in Call-by-Value and Guarded Parametrized Monads

Authors: Sergey Goncharov

Comments: Extended version of this https URL

Subjects: Logic in Computer Science (cs.LO)

[6]  arXiv:2403.00934 [pdf, ps, other]

Title: Semi-Automated Modular Formal Verification of Critical Software: Liveness and Completeness Thresholds

Authors: Tobias Reinhard

Comments: PhD Dissertation, 226 pages (68 pages body + 141 pages appendix)

Subjects: Logic in Computer Science (cs.LO)

[7]  arXiv:2403.01867 [pdf, other]

Title: Deciding Separation Logic with Pointer Arithmetic and Inductive Definitions

Authors: Wanyun Su (LCS), Zhilin Wu (LCS), Mihaela Sighireanu (LMF)

Subjects: Logic in Computer Science (cs.LO)

[8]  arXiv:2403.02210 [pdf, ps, other]

Title: Unknown Biases and Timing Constraints in Timed Automata

Authors: Darion Haase, Joost-Pieter Katoen

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

[9]  arXiv:2403.02284 [pdf, other]

Title: Graphical Quadratic Algebra

Authors: Dario Stein, Fabio Zanasi, Richard Samuelson, Robin Piedeleu

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

[10]  arXiv:2403.03032 [pdf, ps, other]

Title: Logic Programming with Multiplicative Structures

Authors: Matteo Acclavio, Roberto Maieli

Subjects: Logic in Computer Science (cs.LO)

[11]  arXiv:2403.03323 [pdf, other]

Title: Automated Software Verification of Hyperliveness

Authors: Raven Beutner

Comments: TACAS 2024

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

[12]  arXiv:2403.03712 [pdf, ps, other]

Title: Saturating Sorting without Sorts

Authors: Pamina Georgiou, Márton Hajdu, Laura Kovács

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

[13]  arXiv:2403.03934 [pdf, other]

Title: A Categorical Treatment of Open Linear Systems

Authors: Dario Stein, Richard Samuelson

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

[14]  arXiv:2403.04045 [pdf, ps, other]

Title: Bridging Computational Notions of Depth

Authors: Laurent Bienvenu, Christopher P. Porter

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

[15]  arXiv:2403.04641 [pdf, ps, other]

Title: The interdefinability of expansions of Belnap-Dunn logic

Authors: C. A. Middelburg

Comments: 18 pages. arXiv admin note: text overlap with arXiv:2301.10555

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

[16]  arXiv:2403.04775 [pdf, other]

Title: Superposition with Delayed Unification

Authors: Ahmed Bhayat, Johannes Schoisswohl, Michael Rawson

Comments: 16 pages, 0 figures, 1 table

Journal-ref: International Conference on Automated Deduction (CADE) 2023. LNAI volume 14132, 2023, pp. 23-40

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

[17]  arXiv:2403.05607 [pdf, ps, other]

Title: Realizability in Semantics-Guided Synthesis Done Eagerly

Authors: Roland Meyer, Jakob Tepe, Sebastian Wolff

Comments: 47 pages, 16 figures

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

[18]  arXiv:2403.05928 [pdf, other]

Title: Local Computing By Partial Quantifier Elimination

Authors: Eugene Goldberg

Subjects: Logic in Computer Science (cs.LO)

[19]  arXiv:2403.06177 [pdf, ps, other]

Title: Coalgebraic Modal Logic for Dynamic Systems with Uncertainty

Authors: Andrés Gallardo, Ignacio Viglizzo

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

[20]  arXiv:2403.06255 [pdf, other]

Title: mpbn: a simple tool for efficient edition and analysis of elementary properties of Boolean networks

Authors: Van-Giang Trinh, Belaid Benhamou, Loïc Paulevé

Subjects: Logic in Computer Science (cs.LO); Dynamical Systems (math.DS); Molecular Networks (q-bio.MN)

[21]  arXiv:2403.06515 [pdf, other]

Title: Multiple Reachability in Linear Dynamical Systems

Authors: Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell

Subjects: Logic in Computer Science (cs.LO)

[22]  arXiv:2403.06772 [pdf, ps, other]

Title: Local Intuitionistic Modal Logics and Their Calculi

Authors: Philippe Balbiani, Han Gao, Çiğdem Gencer, Nicola Olivetti

Subjects: Logic in Computer Science (cs.LO)

[23]  arXiv:2403.06817 [pdf, other]

Title: Are Targeted Messages More Effective?

Authors: Martin Grohe, Eran Rosenbluth

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

[24]  arXiv:2403.07647 [pdf, other]

Title: Expiring opacity problems in parametric timed automata

Authors: Étienne André, Engel Lefaucheux, Dylan Marinho

Comments: This is the author (and slightly modified) version of the manuscript of the same name published in the proceedings of the 27th International Conference on Engineering of Complex Computer Systems (ICECCS 2023). This work is partially supported by the ANR-NRF French-Singaporean research program ProMiS (ANR-19-CE25-0015 / 2019 ANR NRF 0092) and the ANR research program BisoUS (ANR-22-CE48-0012)

Journal-ref: Proceedings of the 27th International Conference on Engineering of Complex Computer Systems (ICECCS 2023), pages 89-98

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

[25]  arXiv:2403.08136 [pdf, other]

Title: RoboCertProb: Property Specification for Probabilistic RoboChart Models

Authors: Kangfeng Ye, Jim Woodcock

Comments: 24 pages, 10 figures, 4 tables, submitted to the International Journal on Software and Systems Modeling (SoSyM)

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