Logic in Computer Science

Authors and titles for cs.LO in Apr 2023

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

Title: Logic is Algebra

Authors: Steven Obua

Subjects: Logic in Computer Science (cs.LO)

[2]  arXiv:2304.00821 [pdf, other]

Title: Explanation: from ethics to logic

Authors: Gilles Dowek (DEDUCTEAM)

Subjects: Logic in Computer Science (cs.LO)

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

Title: Uncertainty-Based Knowing How Logic

Authors: Carlos Areces, Raul Fervari, Andrés R. Saravia, Fernando R. Velázquez-Quesada

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

Subjects: Logic in Computer Science (cs.LO)

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

Title: Belief, knowledge and evidence

Authors: Steffen Lewitzka, Vinícius Pinto

Comments: 15 pages

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

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

Title: A Complete V-Equational System for Graded lambda-Calculus

Authors: Fredrik Dahlqvist, Renato Neves

Comments: Conference paper accepted at MFPS'23. Omitted proofs can be found in arXiv:2304.02082v1

Journal-ref: Electronic Notes in Theoretical Informatics and Computer Science, Volume 3 - Proceedings of MFPS XXXIX (November 23, 2023) entics:12299

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

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

Title: Strongly complete axiomatization for a logic with probabilistic interventionist counterfactuals

Authors: Fausto Barbero, Jonni Virtema

Comments: 15 pages

Subjects: Logic in Computer Science (cs.LO)

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

Title: A Mathematical Benchmark for Inductive Theorem Provers

Authors: Thibault Gauthier, Chad E. Brown, Mikolas Janota, Josef Urban

Subjects: Logic in Computer Science (cs.LO)

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

Title: On Testability of First-Order Properties in Bounded-Degree Graphs and Connections to Proximity-Oblivious Testing

Authors: Isolde Adler, Noleen Köhler, Pan Peng

Comments: Preliminary version of this article appeared in SODA'21 (arXiv:2008.05800) and CCC'21 (arXiv:2105.08490)

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); Combinatorics (math.CO)

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

Title: Proof Generation for CDCL Solvers Using Gauss-Jordan Elimination

Authors: Mate Soos, Randal E. Bryant

Comments: Presented at 2022 Workshop on the Pragmatics of SAT

Subjects: Logic in Computer Science (cs.LO)

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

Title: The Nature of Concurrency

Authors: Yong Wang

Comments: arXiv admin note: substantial text overlap with arXiv:2107.08453, arXiv:1611.09035, arXiv:2109.05936, arXiv:2101.05140, arXiv:1810.00868, arXiv:2104.05438, arXiv:2110.11416

Subjects: Logic in Computer Science (cs.LO)

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

Title: Execution traces and reduction sequences

Authors: Gilles Dowek (DEDUCTEAM)

Subjects: Logic in Computer Science (cs.LO)

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

Title: Complementation: a bridge between finite and infinite proofs

Authors: Gilles Dowek, Ying Jiang (CAS)

Subjects: Logic in Computer Science (cs.LO)

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

Title: Canonicity of Proofs in Constructive Modal Logic

Authors: Matteo Acclavio, Davide Catta, Federico Olimpieri

Comments: Extended version of the TABLEAUX 2023 paper

Subjects: Logic in Computer Science (cs.LO)

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

Title: Foundations for an Abstract Proof Theory in the Context of Horn Rules

Authors: Tim S. Lyon, Piotr Ostropolski-Nalewaja

Comments: This paper is currently under review

Subjects: Logic in Computer Science (cs.LO); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); Logic (math.LO)

[15]  arXiv:2304.06294 [pdf, other]

Title: When do homomorphism counts help in query algorithms?

Authors: Balder ten Cate, Víctor Dalmau, Phokion G. Kolaitis, Wei-Lin Wu

Comments: 21 pages

Subjects: Logic in Computer Science (cs.LO)

[16]  arXiv:2304.06348 [pdf, other]

Title: Decidability of Querying First-Order Theories via Countermodels of Finite Width

Authors: Thomas Feller, Tim S. Lyon, Piotr Ostropolski-Nalewaja, Sebastian Rudolph

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Databases (cs.DB); Discrete Mathematics (cs.DM); Logic (math.LO)

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

Title: A Logical Account of Subtyping for Session Types

Authors: Ross Horne (University of Luxembourg), Luca Padovani (University of Camerino)

Comments: In Proceedings PLACES 2023, arXiv:2304.05439

Journal-ref: EPTCS 378, 2023, pp. 26-37

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

[18]  arXiv:2304.06646 [pdf, ps, other]

Title: Characterising Modal Formulas with Examples

Authors: Balder ten Cate, Raoul Koudijs

Comments: Expanded version of material from Raoul Koudijs's MSc thesis (2022). To appear in ACM Transactions on Computational Logic

Subjects: Logic in Computer Science (cs.LO)

[19]  arXiv:2304.06912 [pdf, other]

Title: How well do SOTA legal reasoning models support abductive reasoning?

Authors: Ha-Thanh Nguyen, Randy Goebel, Francesca Toni, Kostas Stathis, Ken Satoh

Comments: Workshop on Logic Programming and Legal Reasoning, @ICLP 2023

Subjects: Logic in Computer Science (cs.LO)

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

Title: Operations on Fixpoint Equation Systems

Authors: Thomas Neele, Jaco van de Pol

Comments: 32 pages

Subjects: Logic in Computer Science (cs.LO)

[21]  arXiv:2304.07638 [pdf, ps, other]

Title: Causal models in string diagrams

Authors: Robin Lorenz, Sean Tull

Comments: 105 pages, lots of diagrams; comments very welcome

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

[22]  arXiv:2304.08064 [pdf, other]

Title: The principle of a finite density of information

Authors: Pablo Arrighi, Gilles Dowek

Subjects: Logic in Computer Science (cs.LO)

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

Title: A theory independent Curry-De Bruijn-Howard correspondence

Authors: Gilles Dowek

Subjects: Logic in Computer Science (cs.LO)

[24]  arXiv:2304.08077 [pdf, ps, other]

Title: Doxastic Lukasiewicz Logic with Public Announcement

Authors: Doratossadat Dastgheib, Hadi Farahani

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

[25]  arXiv:2304.08086 [pdf, other]

Title: Craig Interpolation for Guarded Fragments

Authors: Balder ten Cate, Jesse Comer

Comments: Accepted for presentation at DPFO 2023 workshop

Subjects: Logic in Computer Science (cs.LO)