Logic in Computer Science

Authors and titles for November 2024

[1] arXiv:2411.00025 [pdf, html, other]

Title: Probabilistic Obstruction Temporal Logic: a Probabilistic Logic to Reason about Dynamic Models

Jean Leneutre, Vadim Malvone, James Ortiz

Comments: 8 Pages

Subjects: Logic in Computer Science (cs.LO); Computer Science and Game Theory (cs.GT)

[2] arXiv:2411.00026 [pdf, html, other]

Title: Revisiting Assumptions Ordering in CAR-Based Model Checking

Yibo Dong, Yu Chen, Jianwen Li, Geguang Pu, Ofer Strichman

Subjects: Logic in Computer Science (cs.LO)

[3] arXiv:2411.00031 [pdf, other]

Title: A Theoretical Review on Solving Algebra Problems

Xinguo Yu, Weina Cheng, Chuanzhi Yang, Ting Zhang

Comments: 22pages,5figures

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

[4] arXiv:2411.00048 [pdf, other]

Title: Towards the Usage of Window Counting Constraints in the Synthesis of Reactive Systems to Reduce State Space Explosion

Linda Feeken, Martin Fränzle

Comments: In Proceedings GandALF 2024, arXiv:2410.21884

Journal-ref: EPTCS 409, 2024, pp. 53-69

Subjects: Logic in Computer Science (cs.LO); Computer Science and Game Theory (cs.GT)

[5] arXiv:2411.00117 [pdf, html, other]

Title: Openness And Partial Adjacency In One Variable TPTL

Shankara Narayanan Krishna, Khushraj Madnani, Agnipratim Nag, Paritosh Pandya

Comments: arXiv admin note: text overlap with arXiv:1705.01501

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

[6] arXiv:2411.00149 [pdf, html, other]

Title: A "Symbolic" Representation of Object-Nets (Extended Version)

Michael Köhler-Bussmeier, Lorenzo Capra

Subjects: Logic in Computer Science (cs.LO)

[7] arXiv:2411.00197 [pdf, other]

Title: Total Outcome Logic: Proving Termination and Nontermination in Programs with Branching

James Li, Noam Zilberstein, Alexandra Silva

Subjects: Logic in Computer Science (cs.LO)

[8] arXiv:2411.00559 [pdf, other]

Title: Sound Statistical Model Checking for Probabilities and Expected Rewards

Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft

Subjects: Logic in Computer Science (cs.LO)

[9] arXiv:2411.00589 [pdf, html, other]

Title: Early Announcement: Parametricity for GADTs

Pierre Cagne, Patricia Johann

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

[10] arXiv:2411.00847 [pdf, other]

Title: Reachability and Safety Games under TSO Semantics

Stephan Spengler

Comments: In Proceedings GandALF 2024, arXiv:2410.21884

Journal-ref: EPTCS 409, 2024, pp. 154-171

Subjects: Logic in Computer Science (cs.LO)

[11] arXiv:2411.01188 [pdf, html, other]

Title: Learning Rules Explaining Interactive Theorem Proving Tactic Prediction

Liao Zhang, David M. Cerna, Cezary Kaliszyk

Comments: 15 pages, 5 figures

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

[12] arXiv:2411.01393 [pdf, html, other]

Title: Thoughts on sub-Turing interactive computability

Giorgi Japaridze

Subjects: Logic in Computer Science (cs.LO)

[13] arXiv:2411.01961 [pdf, other]

Title: On SMT Theory Design: The Case of Sequences

Hichem Rami Ait El Hara, François Bobot, Guillaume Bury

Journal-ref: LPAR 2024 Complementary Volume, May 2024, Mauritius, France. pp.14-29

Subjects: Logic in Computer Science (cs.LO)

[14] arXiv:2411.02977 [pdf, html, other]

Title: Relating Apartness and Branching Bisimulation Games

Jurriaan Rot, Sebastian Junges, Harsh Beohar

Journal-ref: LNCS 14560, Springer, 2024

Subjects: Logic in Computer Science (cs.LO)

[15] arXiv:2411.03069 [pdf, html, other]

Title: Conformance Games for Graded Semantics

Jonas Forster, Lutz Schröder, Paul Wild

Subjects: Logic in Computer Science (cs.LO)

[16] arXiv:2411.04003 [pdf, html, other]

Title: Learning Aggregate Queries Defined by First-Order Logic with Counting

Steffen van Bergerem, Nicole Schweikardt

Comments: To appear at ICDT 2025

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

[17] arXiv:2411.04615 [pdf, html, other]

Title: The Functional Machine Calculus III: Choice (Early Announcement)

Willem Heijltjes

Subjects: Logic in Computer Science (cs.LO)

[18] arXiv:2411.06086 [pdf, html, other]

Title: On Decidable and Undecidable Extensions of Simply Typed Lambda Calculus

Naoki Kobayashi

Journal-ref: Proc. ACM Program. Lang. 9(POPL): 1136-1166 (2025)

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

[19] arXiv:2411.06409 [pdf, html, other]

Title: Automated Strategy Invention for Confluence of Term Rewrite Systems

Liao Zhang, Fabian Mitterwallner, Jan Jakubuv, Cezary Kaliszyk

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

[20] arXiv:2411.06944 [pdf, html, other]

Title: Finite Variable Counting Logics with Restricted Requantification

Simon Raßmann, Georg Schindling, Pascal Schweitzer

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

[21] arXiv:2411.07078 [pdf, other]

Title: Translation of Temporal Logic for Efficient Infinite-State Reactive Synthesis (Full Version)

Philippe Heim, Rayna Dimitrova

Comments: This is a full version of paper accepted at POPL 2025

Subjects: Logic in Computer Science (cs.LO)

[22] arXiv:2411.07431 [pdf, html, other]

Title: Continuous Domains for Function Spaces Using Spectral Compactification

Amin Farjudian, Achim Jung

Comments: 19 pages, 1 figure, Mathematical Foundations of Programming Semantics (MFPS) 2024

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

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

[23] arXiv:2411.07665 [pdf, other]

Title: An SMT Theory for n-Indexed Sequences

Hichem Rami Ait El Hara, François Bobot, Guillaume Bury

Comments: 22nd International Workshop on Satisfiability Modulo Theories, Jul 2024, Montreal, Canada, France

Subjects: Logic in Computer Science (cs.LO)

[24] arXiv:2411.07667 [pdf, html, other]

Title: Formalization of physics index notation in Lean 4

Joseph Tooby-Smith

Comments: 24 pages. Comments are welcome

Subjects: Logic in Computer Science (cs.LO); High Energy Physics - Phenomenology (hep-ph); High Energy Physics - Theory (hep-th)

[25] arXiv:2411.07714 [pdf, other]

Title: Typed Non-determinism in Concurrent Calculi: The Eager Way

Bas van den Heuvel, Daniele Nantes-Sobrinho, Joseph W. N. Paulus, Jorge A. Pérez

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

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

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