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: 23 pages, improved version after reviewer comments, results unchanged

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: Satisfiability modulo theories for verifying MILP certificates

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

Comments: Added sequential transformation and parallelization

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)

[26]  arXiv:2312.11936 [pdf, other]

Title: Exact ASP Counting with Compact Encodings

Authors: Mohimenul Kabir, Supratik Chakraborty, Kuldeep S Meel

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

[27]  arXiv:2312.12026 [pdf, other]

Title: An Approximate Skolem Function Counter

Authors: Arijit Shaw, Brendan Juba, Kuldeep S. Meel

Comments: Full version of conference paper accepted at AAAI'24

Subjects: Logic in Computer Science (cs.LO)

[28]  arXiv:2312.12362 [pdf, ps, other]

Title: Auditable Algorithms for Approximate Model Counting

Authors: Kuldeep S. Meel, Supratik Chakraborty, S. Akshay

Comments: Full version of conference paper accepted at AAAI'24. The authors decided to forgo the old convention of alphabetical ordering of authors in favor of a randomized ordering. The publicly verifiable record of the randomization is available at this https URL

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

[29]  arXiv:2312.12792 [pdf, ps, other]

Title: Cut elimination for propositional cyclic proof systems with fixed-point operators

Authors: Hiromasa Hori, Koji Nakazawa, Makoto Tatsuta

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

[30]  arXiv:2312.13270 [pdf, ps, other]

Title: Milner's Lambda-Calculus with Partial Substitutions

Authors: Delia Kesner, Shane Ó Conchúir

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

[31]  arXiv:2312.13294 [pdf, ps, other]

Title: Subsumptions of Algebraic Rewrite Rules

Authors: Thierry Boy de la Tour (Univ. Grenoble Alpes, CNRS, Grenoble INP, LIG)

Comments: In Proceedings ACT 2023, arXiv:2312.08138

Journal-ref: EPTCS 397, 2023, pp. 20-38

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

[32]  arXiv:2312.13634 [pdf, ps, other]

Title: Peano Arithmetic and $μ$MALL

Authors: Matteo Manighetti, Dale Miller

Comments: 21 pages

Subjects: Logic in Computer Science (cs.LO)

[33]  arXiv:2312.13657 [pdf, ps, other]

Title: On the Hardness of Analyzing Quantum Programs Quantitatively

Authors: Martin Avanzini (OLAS), Georg Moser, Romain Péchoux (LORIA, UL, CNRS, MOCQUA), Simon Perdrix (MOCQUA, LORIA, CNRS)

Subjects: Logic in Computer Science (cs.LO)

[34]  arXiv:2312.13949 [pdf, other]

Title: Non-Termination in Term Rewriting and Logic Programming

Authors: Etienne Payet

Comments: Accepted for publication in Journal of Automated Reasoning, December 2023

Subjects: Logic in Computer Science (cs.LO)

[35]  arXiv:2312.14030 [pdf, other]

Title: Fault Diagnosability Analysis of Multi-Mode Systems

Authors: Fatemeh Hashemniya, Benoït Caillaud, Erik Frisk, Mattias Krysander, Mathias Malandain

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

[36]  arXiv:2312.14587 [pdf, ps, other]

Title: Measuring well quasi-ordered finitary powersets

Authors: Sergio Abriola, Simon Halfon, Aliaume Lopez, Sylvain Schmitz, Philippe Schnoebelen, Isa Vialard

Comments: 33 pages

Subjects: Logic in Computer Science (cs.LO); Discrete Mathematics (cs.DM)

[37]  arXiv:2312.14600 [pdf, ps, other]

Title: Categorical models of subtyping

Authors: Greta Coraglia, Jacopo Emmenegger

Comments: submitted for publication

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

[38]  arXiv:2312.14620 [pdf, other]

Title: Structure-Guided Automated Reasoning

Authors: Max Bannach, Markus Hecher

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

[39]  arXiv:2312.14656 [pdf, ps, other]

Title: Completions of Kleene's second model

Authors: Sebastiaan A. Terwijn

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

[40]  arXiv:2312.14831 [pdf, other]

Title: Asynchronous Composition of LTL Properties over Infinite and Finite Traces

Authors: Alberto Bombardelli, Stefano Tonetta

Subjects: Logic in Computer Science (cs.LO)

[41]  arXiv:2312.14964 [pdf, other]

Title: Effectful Semantics in 2-Dimensional Categories: Premonoidal and Freyd Bicategories

Authors: Hugo Paquet (LIPN, Université Sorbonne Paris Nord), Philip Saville (University of Oxford)

Comments: In Proceedings ACT 2023, arXiv:2312.08138

Journal-ref: EPTCS 397, 2023, pp. 190-209

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

[42]  arXiv:2312.15209 [pdf, ps, other]

Title: A dynamic approach to ceteris paribus counterfactuals

Authors: Avgerinos Delkos, Marianna Girlando

Comments: Preprint - working document

Subjects: Logic in Computer Science (cs.LO)

[43]  arXiv:2312.15641 [pdf, other]

Title: Formalising the Double-Pushout Approach to Graph Transformation

Authors: Robert Söldner, Detlef Plump

Subjects: Logic in Computer Science (cs.LO)

[44]  arXiv:2312.15651 [pdf, ps, other]

Title: Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques

Authors: Gilles Dowek, Murdoch J. Gabbay, Dominic Mulligan

Journal-ref: Logic Journal of the IGPL, Volume 18, Issue 6, December 2010, Pages 769-822

Subjects: Logic in Computer Science (cs.LO)

[45]  arXiv:2312.16239 [pdf, other]

Title: PNL to HOL: from the logic of nominal sets to the logic of higher-order functions

Authors: Gilles Dowek, Murdoch J. Gabbay

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

Journal-ref: Theoretical Computer Science, Volume 451, 14 September 2012, Pages 38-69

Subjects: Logic in Computer Science (cs.LO)

[46]  arXiv:2312.16276 [pdf, ps, other]

Title: Bi-coalgebraic view of Fitting's Heyting-valued modal logic

Authors: Litan Kumar Das, Kumar Sankar Ray, Prakash Chandra Mali

Subjects: Logic in Computer Science (cs.LO)

[47]  arXiv:2312.16480 [pdf, other]

Title: Permissive-Nominal Logic (journal version)

Authors: Gilles Dowek, Murdoch J. Gabbay

Journal-ref: ACM Transactions on Computational Logic, Volume 13, Number 3, Article 20, Publication date: August 2012

Subjects: Logic in Computer Science (cs.LO)

[48]  arXiv:2312.16487 [pdf, other]

Title: Nominal semantics for predicate logic: algebras, substitution, quantifiers, and limits

Authors: Gilles Dowek, Murdoch J. Gabbay

Journal-ref: Proceedings of the 9th Italian Convention on Computational Logic (CILC 2012), pages 104-118, CEUR Workshop Proceedings Volume 857, ISSN 1613-0073 (urn:nbn:de:0074-857-8). https://nbn-resolving.org/urn:nbn:de:0074-857-8

Subjects: Logic in Computer Science (cs.LO)

[49]  arXiv:2312.16694 [pdf, ps, other]

Title: Denotational semantics for languages for inference: semirings, monads, and tensors

Authors: Cristina Matache, Sean Moss, Sam Staton, Ariadne Si Suo

Comments: 4 pages, LAFI 2023

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

[50]  arXiv:2312.16729 [pdf, ps, other]

Title: Behavioural pseudometrics for continuous-time diffusions

Authors: Linan Chen, Florence Clerc, Prakash Panangaden

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

[51]  arXiv:2312.17555 [pdf, other]

Title: Higher Order Model Checking in Isabelle for Human Centric Infrastructure Security

Authors: Florian Kammüller

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

Subjects: Logic in Computer Science (cs.LO)

[52]  arXiv:2312.00688 (cross-list from cs.CL) [pdf, other]

Title: Towards Transparency in Coreference Resolution: A Quantum-Inspired Approach

Authors: Hadi Wazni, Mehrnoosh Sadrzadeh

Comments: CRAC 2023, the Sixth Workshop on Computational Models of Reference, Anaphora and Coreference, EMNLP 2023

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

[53]  arXiv:2312.00793 (cross-list from cs.AI) [pdf, other]

Title: Variants of Tagged Sentential Decision Diagrams

Authors: Deyuan Zhong, Mingwei Zhang, Quanlong Guan, Liangda Fang, Zhaorong Lai, Yong Lai

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

[54]  arXiv:2312.01973 (cross-list from cs.CC) [pdf, ps, other]

Title: Computing Repairs Under Functional and Inclusion Dependencies via Argumentation

Authors: Yasir Mahmood, Jonni Virtema, Timon Barlag, Axel-Cyrille Ngonga Ngomo

Comments: Pre-print

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

[55]  arXiv:2312.02171 (cross-list from cs.CR) [pdf, ps, other]

Title: LpiCT: A logic security analysis framework for protocols

Authors: Fusheng Wu, Jinhui Liu, Yanbing Li, Mingtao Ni

Comments: 12pades,7figuers

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

[56]  arXiv:2312.02412 (cross-list from cs.CC) [pdf, ps, other]

Title: A Turing Incomputable Coloring Function

Authors: Michael Stephen Fiske

Comments: 6 pages

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

[57]  arXiv:2312.02851 (cross-list from cs.PL) [pdf, other]

Title: Checkpoint-based rollback recovery in session programming

Authors: Claudio Antares Mezzina, Francesco Tiezzi, Nobuko Yoshida

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

[58]  arXiv:2312.04249 (cross-list from cs.AI) [pdf, ps, other]

Title: Extending Answer Set Programming with Rational Numbers

Authors: Francesco Pacenza, Jessica Zangari

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Software Engineering (cs.SE)

[59]  arXiv:2312.04586 (cross-list from cs.CR) [pdf, other]

Title: Automated SELinux RBAC Policy Verification Using SMT

Authors: Divyam Pahuja, Alvin Tang, Klim Tsoutsman

Comments: 10 pages (excluding appendices), 2 figures, 3 appendices

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

[60]  arXiv:2312.06344 (cross-list from eess.SY) [pdf, other]

Title: Learning Robust Policies for Uncertain Parametric Markov Decision Processes

Authors: Luke Rickard, Alessandro Abate, Kostas Margellos

Comments: 10 pages, accepted for oral presentation at L4DC

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

[61]  arXiv:2312.06471 (cross-list from cs.DC) [pdf, ps, other]

Title: A priori Belief Updates as a Method for Agent Self-Recovery

Authors: Giorgio Cignarale, Roman Kuznets

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO)

[62]  arXiv:2312.06973 (cross-list from cs.AI) [pdf, other]

Title: Anytime Approximate Formal Feature Attribution

Authors: Jinqiang Yu, Graham Farr, Alexey Ignatiev, Peter J. Stuckey

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

[63]  arXiv:2312.07107 (cross-list from cs.AI) [pdf, other]

Title: The Logic of Doxastic Strategies

Authors: Junli Jiang, Pavel Naumov

Comments: Proceedings of the 38th Annual AAAI Conference on Artificial Intelligence (AAAI-24)

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

[64]  arXiv:2312.08801 (cross-list from cs.AI) [pdf, other]

Title: Automated Process Planning Based on a Semantic Capability Model and SMT

Authors: Aljosha Köcher, Luis Miguel Vieira da Silva, Alexander Fay

Comments: Presented at CAIPI Workshop at AAAI 2024

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

[65]  arXiv:2312.10128 (cross-list from cs.CR) [pdf, ps, other]

Title: An Information-Flow Perspective on Algorithmic Fairness

Authors: Samuel Teuber, Bernhard Beckert

Comments: 14 pages; extended version of paper to appear at AAAI 2024

Subjects: Cryptography and Security (cs.CR); Artificial Intelligence (cs.AI); Computers and Society (cs.CY); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)

[66]  arXiv:2312.10328 (cross-list from cs.RO) [pdf, other]

Title: Deriving Rewards for Reinforcement Learning from Symbolic Behaviour Descriptions of Bipedal Walking

Authors: Daniel Harnack, Christoph Lüth, Lukas Gross, Shivesh Kumar, Frank Kirchner

Comments: To appear in 62nd IEEE Conference on Decision and Control (CDC). For supplemental material, see here this https URL

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

[67]  arXiv:2312.11186 (cross-list from cs.AI) [pdf, ps, other]

Title: An epistemic logic for modeling decisions in the context of incomplete knowledge

Authors: Đorđe Marković, Simon Vandevelde, Linde Vanbesien, Joost Vennekens, Marc Denecker

Comments: 9 pages, 3 figures, to be published as a poster version in the ACM/SIGAPP conference

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

[68]  arXiv:2312.11314 (cross-list from cs.LG) [pdf, other]

Title: Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration for Control Policy Synthesis

Authors: Rohan Mitta, Hosein Hasanbeig, Jun Wang, Daniel Kroening, Yiannis Kantaros, Alessandro Abate

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

[69]  arXiv:2312.12403 (cross-list from cs.AI) [pdf, other]

Title: On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing

Authors: Raven Beutner, Bernd Finkbeiner

Comments: AAAI 2024

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

[70]  arXiv:2312.12679 (cross-list from cs.LG) [pdf, other]

Title: Towards Efficient Verification of Quantized Neural Networks

Authors: Pei Huang, Haoze Wu, Yuting Yang, Ieva Daukantas, Min Wu, Yedi Zhang, Clark Barrett

Comments: This paper has been accepted by AAAI2024

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

[71]  arXiv:2312.13320 (cross-list from cs.DS) [pdf, ps, other]

Title: A faster FPRAS for #NFA

Authors: Kuldeep S. Meel, Sourav Chakraborty, Umang Mathur

Comments: To appear in the proceedings of PODS 2024

Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[72]  arXiv:2312.14188 (cross-list from cs.AI) [pdf, other]

Title: Enhancing Neural Theorem Proving through Data Augmentation and Dynamic Sampling Method

Authors: Rahul Vishwakarma, Subhankar Mishra

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

[73]  arXiv:2312.14374 (cross-list from cs.PL) [pdf, ps, other]

Title: A Modular Approach to Metatheoretic Reasoning for Extensible Languages

Authors: Dawn Michaelson, Gopalan Nadathur, Eric Van Wyk

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

[74]  arXiv:2312.14737 (cross-list from cs.CL) [pdf, ps, other]

Title: Computational Semantics and Evaluation Benchmark for Interrogative Sentences via Combinatory Categorial Grammar

Authors: Hayate Funakura, Koji Mineshima

Comments: 11 pages, to appear in the Proceedings of PACLIC37

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[75]  arXiv:2312.15161 (cross-list from cs.AI) [pdf, ps, other]

Title: Networks of Classical Conditioning Gates and Their Learning

Authors: Shun-ichi Azuma, Dai Takakura, Ryo Ariizumi, Toru Asai

Comments: submitted to New Generation Computing

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Neural and Evolutionary Computing (cs.NE)

[76]  arXiv:2312.15379 (cross-list from cs.PL) [pdf, ps, other]

Title: Expressive modular verification of termination for busy-waiting programs

Authors: Justus Fasse, Bart Jacobs

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

[77]  arXiv:2312.15877 (cross-list from cs.AI) [pdf, other]

Title: PBCounter: Weighted Model Counting on Pseudo-Boolean Formulas

Authors: Yong Lai, Zhenghang Xu, Minghao Yin

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

[78]  arXiv:2312.16336 (cross-list from cs.LG) [pdf, ps, other]

Title: Learning temporal formulas from examples is hard

Authors: Corto Mascle, Nathanaël Fijalkow, Guillaume Lagarde

Comments: This article is a long version of the article arXiv:2102.00876 presented in the International Conference on Grammatical Inference (ICGI) in 2021. It includes much stronger and more general results than the extended abstract. Submitted to a journal

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

[79]  arXiv:2312.16714 (cross-list from cs.CL) [pdf, ps, other]

Title: A Reversible Perspective on Petri Nets and Event Structures

Authors: Hernán Melgratti, Claudio Antares Mezzina, G. Michele Pinna

Subjects: Computation and Language (cs.CL); Logic in Computer Science (cs.LO)

[80]  arXiv:2312.17127 (cross-list from cs.PL) [pdf, other]

Title: Probabilistic programming interfaces for random graphs: Markov categories, graphons, and nominal sets

Authors: Nathanael L. Ackerman, Cameron E. Freer, Younesse Kaddar, Jacek Karwowski, Sean K. Moss, Daniel M. Roy, Sam Staton, Hongseok Yang

Comments: Accepted for POPL 2024

Journal-ref: Proc. ACM Program. Lang. 8, POPL, Article 61 (2024), pp 1819-1849

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

[81]  arXiv:2312.17141 (cross-list from cs.PL) [pdf, other]

Title: Probabilistic Programming with Exact Conditions

Authors: Dario Stein, Sam Staton

Comments: Accepted for JACM

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

[82]  arXiv:2312.00429 (cross-list from math.CT) [pdf, other]

Title: Polygraphs: From Rewriting to Higher Categories

Authors: Dimitri Ara, Albert Burroni, Yves Guiraud, Philippe Malbos, François Métayer, Samuel Mimram

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

[83]  arXiv:2312.03919 (cross-list from math.LO) [pdf, other]

Title: Indivisibility and uniform computational strength

Authors: Kenneth Gill

Comments: 22 pages, 4 figures. This work extends the results of Sections 1.2 and 1.3 of the author's Ph.D. thesis at Penn State University. Version 5: various corrections and improvements

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

[84]  arXiv:2312.04091 (cross-list from math.LO) [pdf, ps, other]

Title: Hyperarithmetical Complexity of Infinitary Action Logic with Multiplexing

Authors: Tikhon Pshenitsyn

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

[85]  arXiv:2312.04367 (cross-list from math.LO) [pdf, ps, other]

Title: Paraconsistent Existential Graphs Gamma Peirce System

Authors: Manuel Sierra-Aristizabal

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

[86]  arXiv:2312.05929 (cross-list from math.LO) [pdf, ps, other]

Title: A non-uniform view of Craig interpolation in modal logics with linear frames

Authors: Agi Kurucz, Frank Wolter, Michael Zakharyaschev

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

[87]  arXiv:2312.12453 (cross-list from math.PR) [pdf, other]

Title: Overdrawing Urns using Categories of Signed Probabilities

Authors: Bart Jacobs (iHub, Radboud University Nijmegen), Dario Stein (iHub, Radboud University Nijmegen)

Comments: In Proceedings ACT 2023, arXiv:2312.08138

Journal-ref: EPTCS 397, 2023, pp. 172-189

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

[88]  arXiv:2312.17023 (cross-list from math.CT) [pdf, other]

Title: Tensorial structure of the lifting doctrine in constructive domain theory

Authors: Jonathan Sterling

Comments: Minor errors fixed

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