Logic in Computer Science

Authors and titles for cs.LO in Dec 2023

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

Title: On Multi-step Fuzzy Inference in Goedel Logic

Authors: Dusan Guller

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

Subjects: Logic in Computer Science (cs.LO)

[2]  arXiv:2312.00421 [pdf, other]

Title: A Semi-Tensor Product based Circuit Simulation for SAT-sweeping

Authors: Hongyang Pan, Ruibing Zhang, Yinshui Xia, Lunyao Wang, Fan Yang, Xuan Zeng, Zhufei Chu

Comments: In this 6 page manuscript, we introduce a novel Semi-Tensor Product based circuit simulation for SAT-sweeping in DATE'24

Subjects: Logic in Computer Science (cs.LO)

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

Title: A Relation Algebra for Term Rewriting: A differential approach to sequential reduction (Revised Version)

Authors: Lorenzo Pace

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

[4]  arXiv:2312.03426 [pdf, other]

Title: Internal and External Calculi: Ordering the Jungle without Being Lost in Translations

Authors: Tim S. Lyon, Agata Ciabattoni, Didier Galmiche, Dominique Larchey-Wendling, Daniel Méry, Nicola Olivetti, Revantha Ramanayake

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

[5]  arXiv:2312.03579 [pdf, ps, other]

Title: The Implication Problem for Functional Dependencies and Variants of Marginal Distribution Equivalences

Authors: Minna Hirvonen

Comments: 20 pages

Subjects: Logic in Computer Science (cs.LO)

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

Title: Monoid Theory in Alonzo: A Little Theories Formalization in Simple Type Theory

Authors: William M. Farmer, Dennis Y. Zvigelsky

Comments: 76 pages

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

[7]  arXiv:2312.05750 [pdf, ps, other]

Title: Hyperresolution for Multi-step Fuzzy Inference in Goedel Logic

Authors: Dusan Guller

Subjects: Logic in Computer Science (cs.LO)

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

Title: A Logical Framework with Infinitary Terms

Authors: Zhibo Chen

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

[9]  arXiv:2312.06103 [pdf, ps, other]

Title: A Practical Formalization of Monadic Equational Reasoning in Dependent-type Theory

Authors: Reynald Affeldt, Jacques Garrigue, Takafumi Saikawa

Comments: 38 pages

Subjects: Logic in Computer Science (cs.LO)

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

Title: The Directed Van Kampen Theorem in Lean

Authors: Henning Basold, Peter Bruin, Dominique Lawson

Subjects: Logic in Computer Science (cs.LO)

[11]  arXiv:2312.07223 [pdf, ps, other]

Title: On the logic of interventionist counterfactuals under indeterministic causal laws

Authors: Fausto Barbero

Comments: 24 pages. Extended version of the paper published in the conference proceedings of FoIKS 2024. Substantial changes in the basic definitions

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

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

Title: A Saturation-Based Unification Algorithm for Higher-Order Rational Patterns

Authors: Zhibo Chen, Frank Pfenning

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

[13]  arXiv:2312.08117 [pdf, ps, other]

Title: Memory Simulations, Security and Optimization in a Verified Compiler

Authors: David Monniaux (VERIMAG - IMAG)

Comments: Certified Programs and Proofs 2024, Jan 2024, London, United Kingdom, France

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

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

Title: Proceedings of the Sixth International Conference on Applied Category Theory 2023

Authors: Sam Staton (University of Oxford), Christina Vasilakopoulou (National Technical University of Athens)

Journal-ref: EPTCS 397, 2023

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

[15]  arXiv:2312.08375 [pdf, other]

Title: An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic

Authors: Antoine Martina, Alexander Steen

Comments: 31 pages

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

[16]  arXiv:2312.08537 [pdf, ps, other]

Title: Object-Centric Conformance Alignments with Synchronization (Extended Version)

Authors: Alessandro Gianola, Marco Montali, Sarah Winkler

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

[17]  arXiv:2312.08602 [pdf, other]

Title: Omega-Regular Decision Processes

Authors: Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak

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

[18]  arXiv:2312.08717 [pdf, other]

Title: Efficient Reactive Synthesis Using Mode Decomposition

Authors: Matías Brizzio, César Sánchez

Comments: 19 pages

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

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

Title: Syntax Monads for the Working Formal Metatheorist

Authors: Lawrence Dunn (University of Pennsylvania), Val Tannen (University of Pennsylvania), Steve Zdancewic (University of Pennsylvania)

Comments: In Proceedings ACT 2023, arXiv:2312.08138

Journal-ref: EPTCS 397, 2023, pp. 98-117

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

[20]  arXiv:2312.09662 [pdf, ps, other]

Title: Hoare-Like Triples and Kleene Algebras with Top and Tests: Towards a Holistic Perspective on Hoare Logic, Incorrectness Logic, and Beyond

Authors: Lena Verscht, Benjamin Kaminski

Comments: Preprint of extended abstract presented at the workshop on Formal Methods for Incorrectness 2024 at POPL 2024

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

[21]  arXiv:2312.09868 [pdf, other]

Title: Submodel Enumeration for CTL Is Hard

Authors: Nicolas Fröhlich, Arne Meier

Comments: To be published in AAAI24

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

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

Title: Verifying MILP Certificates with SMT Solvers

Authors: Runtian Zhou, Haoze Wu, Hammurabi Mendes, Jonad Pulaj

Comments: 9 pages, 2 figures

Subjects: Logic in Computer Science (cs.LO)

[23]  arXiv:2312.10764 [pdf, ps, other]

Title: Consistency of P-time event graphs is decidable in polynomial time (extended version)

Authors: Davide Zorzenon, Jörg Raisch

Comments: 10 pages, 2 figures, extension of submitted conference paper

Subjects: Logic in Computer Science (cs.LO); Discrete Mathematics (cs.DM); Systems and Control (eess.SY)

[24]  arXiv:2312.10842 [pdf, other]

Title: Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems

Authors: Yuhao Zhou, Stavros Tripakis

Subjects: Logic in Computer Science (cs.LO); Machine Learning (cs.LG); Systems and Control (eess.SY)

[25]  arXiv:2312.11403 [pdf, ps, other]

Title: Learning Temporal Properties is NP-hard

Authors: Benjamin Bordais, Daniel Neider, Rajarshi Roy

Subjects: Logic in Computer Science (cs.LO)