Logic in Computer Science

Authors and titles for November 2024

[26] arXiv:2411.08635 [pdf, html, other]

Title: Synthesis with Privacy Against an Observer

Orna Kupferman, Ofer Leshkowitz, Namma Shamash Halevy

Subjects: Logic in Computer Science (cs.LO)

[27] arXiv:2411.08770 [pdf, other]

Title: On Kleisli liftings and decorated trace semantics

Daniel Luckhardt, Harsh Beohar, Sebastian Küpper

Comments: 40th Conference on Mathematical Foundations of Programming Semantics (MFPS)

Journal-ref: Electronic Notes in Theoretical Informatics and Computer Science, Volume 4 - Proceedings of MFPS XL (December 11, 2024) entics:14751

Subjects: Logic in Computer Science (cs.LO)

[28] arXiv:2411.08847 [pdf, other]

Title: Proofs as Execution Trees for the π-Calculus

Matteo Acclavio, Giulia Manara

Comments: Slice nets added. Explicit MALL1 proof nets. Bibliography updated. Fixed typos

Subjects: Logic in Computer Science (cs.LO)

[29] arXiv:2411.09121 [pdf, html, other]

Title: AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs

Yu-Fang Chen, Kai-Min Chung, Min-Hsiu Hsieh, Wei-Jia Huang, Ondřej Lengál, Jyun-Ao Lin, Wei-Lun Tsai

Comments: regular tool paper submitted to TACAS 2025

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

[30] arXiv:2411.09366 [pdf, html, other]

Title: LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces

Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Moshe Y. Vardi

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

[31] arXiv:2411.09489 [pdf, html, other]

Title: Positive Focusing is Directly Useful

Beniamino Accattoli, Jui-Hsuan Wu

Comments: Paper for the proceedings of MFPS 2024

Journal-ref: Electronic Notes in Theoretical Informatics and Computer Science, Volume 4 - Proceedings of MFPS XL (December 11, 2024) entics:14758

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

[32] arXiv:2411.10037 [pdf, html, other]

Title: Exact Computation of Error in Approximate Circuits using SAT and Message-Passing Algorithms

S Ramprasath, Marrivada Gopala Krishna Sai Charan, Vinita Vasudevan

Comments: 6 pages, 3 figures

Subjects: Logic in Computer Science (cs.LO)

[33] arXiv:2411.10229 [pdf, other]

Title: Optimally Rewriting Formulas and Database Queries: A Confluence of Term Rewriting, Structural Decomposition, and Complexity

Hubie Chen, Stefan Mengel

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

[34] arXiv:2411.10624 [pdf, html, other]

Title: Weak Permission is not Well-Founded, Grounded and Stable

Guido Governatori

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

[35] arXiv:2411.10826 [pdf, html, other]

Title: Probabilistic Nets-within-Nets

Michael Köhler-Bußmeier

Subjects: Logic in Computer Science (cs.LO)

[36] arXiv:2411.11113 [pdf, other]

Title: Calculational Design of Hyperlogics by Abstract Interpretation

Patrick Cousot, Jeffery Wang

Comments: POPL 2025, Denver, CO, USA

Journal-ref: Proc. ACM Program. Lang. 9, POPL, Article 16 (January 2025), 71 pages

Subjects: Logic in Computer Science (cs.LO)

[37] arXiv:2411.11428 [pdf, other]

Title: Weak Simplicial Bisimilarity and Minimisation for Polyhedral Model Checking

Nick Bezhanishvili, Laura Bussi, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink

Subjects: Logic in Computer Science (cs.LO)

[38] arXiv:2411.11662 [pdf, html, other]

Title: Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants

Noam Zilberstein, Alexandra Silva, Joseph Tassarotti

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

[39] arXiv:2411.11766 [pdf, html, other]

Title: A Note on Los's Theorem for Kripke-Joyal Semantics

Marc Aiguier, Romain Pascual

Subjects: Logic in Computer Science (cs.LO)

[40] arXiv:2411.11809 [pdf, other]

Title: The Lambda Calculus is Quantifiable

Valentin Maestracci, Paolo Pistone

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

[41] arXiv:2411.12271 [pdf, html, other]

Title: SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout

Bohan Li, Dawei Li, Ming Fu, Shaowei Cai

Subjects: Logic in Computer Science (cs.LO); Human-Computer Interaction (cs.HC)

[42] arXiv:2411.12923 [pdf, html, other]

Title: Towards Automated Verification of Logarithmic Arithmetic

Mark G. Arnold, Thomas A. Bailey, John R. Cowles

Comments: 21 pages, Originally a 1994 technical report from University of Wyoming and Computational Logic, Inc

Subjects: Logic in Computer Science (cs.LO); Hardware Architecture (cs.AR)

[43] arXiv:2411.13125 [pdf, html, other]

Title: An Expressive Trace Logic for Recursive Programs

Dilian Gurov, Reiner Hähnle

Comments: 22 pages, 6 figures

Subjects: Logic in Computer Science (cs.LO); Software Engineering (cs.SE)

[44] arXiv:2411.13215 [pdf, other]

Title: Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems

Matt Luckcuck (University of Nottingham, UK), Mengwei Xu (University of Newcastle, UK)

Journal-ref: EPTCS 411, 2024

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

[45] arXiv:2411.13500 [pdf, html, other]

Title: Isomorphism Theorems between Models of Mixed Choice (Revised)

Jean Goubault-Larrecq

Comments: Fixes a mistake in a "Isomorphism Theorems between Models of Mixed Choice" published at MSCS in 2017. 50 pages, 2 figures

Subjects: Logic in Computer Science (cs.LO); Functional Analysis (math.FA); Probability (math.PR)

[46] arXiv:2411.13672 [pdf, html, other]

Title: Computable Approximations of Semicomputable Graphs

Vedran Čačić, Matea Čelar, Marko Horvat, Zvonko Iljazović

Comments: 18 pages, 4 figures

Subjects: Logic in Computer Science (cs.LO)

[47] arXiv:2411.14067 [pdf, html, other]

Title: A Quadratic Lower Bound for Simulation

Jan Friso Groote, Jan Martens

Subjects: Logic in Computer Science (cs.LO)

[48] arXiv:2411.14163 [pdf, other]

Title: Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report

Syed Ali Asadullah Bukhari, Thomas Flinkow, Medet Inkarbekov, Barak A. Pearlmutter, Rosemary Monahan

Comments: In Proceedings FMAS2024, arXiv:2411.13215

Journal-ref: EPTCS 411, 2024, pp. 178-190

Subjects: Logic in Computer Science (cs.LO); Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG)

[49] arXiv:2411.14374 [pdf, other]

Title: Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems

Jan Gruteser (Heinrich Heine University Düsseldorf), Jan Roßbach (Heinrich Heine University Düsseldorf), Fabian Vu (Heinrich Heine University Düsseldorf), Michael Leuschel (Heinrich Heine University Düsseldorf)

Comments: In Proceedings FMAS2024, arXiv:2411.13215

Journal-ref: EPTCS 411, 2024, pp. 151-159

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

[50] arXiv:2411.14581 [pdf, other]

Title: Semantics for Linear-time Temporal Logic with Finite Observations

Rayhana Amjad (University of Edinburgh), Rob van Glabbeek (University of Edinburgh), Liam O'Connor (Australian National University)

Comments: In Proceedings EXPRESS/SOS 2024, arXiv:2411.13318

Journal-ref: EPTCS 412, 2024, pp. 35-50

Subjects: Logic in Computer Science (cs.LO)