We gratefully acknowledge support from
the Simons Foundation and member institutions.

Logic in Computer Science

Authors and titles for recent submissions

[ total of 48 entries: 1-25 | 26-48 ]
[ showing 25 entries per page: fewer | more | all ]

Mon, 29 Apr 2024

[1]  arXiv:2404.17421 [pdf, other]
Title: Automata-Theoretic Characterisations of Branching-Time Temporal Logics
Authors: Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero, Adriano Peron
Subjects: Logic in Computer Science (cs.LO)
[2]  arXiv:2404.17094 [pdf, other]
Title: TIUP: Effective Processor Verification with Tautology-Induced Universal Properties
Authors: Yufeng Li, Yiwei Ci, Qiusong Yang
Comments: Accepted by ASP-DAC 2024, please note that this is not the final camera-ready version
Subjects: Logic in Computer Science (cs.LO); Hardware Architecture (cs.AR); Systems and Control (eess.SY)
[3]  arXiv:2404.17065 [pdf, ps, other]
Title: DeLaM: A Dependent Layered Modal Type Theory for Meta-programming
Authors: Jason Z. S. Hu, Brigitte Pientka
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

Fri, 26 Apr 2024

[4]  arXiv:2404.16778 [pdf, other]
Title: Unifying Asynchronous Logics for Hyperproperties
Authors: Alberto Bombardelli, Laura Bozzelli, César Sánchez, Stefano Tonetta
Subjects: Logic in Computer Science (cs.LO)
[5]  arXiv:2404.16734 [pdf, ps, other]
Title: Uniform Substitution for Differential Refinement Logic
Authors: Enguerrand Prebet, André Platzer
Subjects: Logic in Computer Science (cs.LO)
[6]  arXiv:2404.16614 [pdf, ps, other]
Title: Derandomization with Pseudorandomness
Authors: Emin Karayel
Subjects: Logic in Computer Science (cs.LO)
[7]  arXiv:2404.16588 [pdf, ps, other]
Title: Proving Behavioural Apartness
Authors: Ruben Turkenburg, Harsh Beohar, Clemens Kupke, Jurriaan Rot
Subjects: Logic in Computer Science (cs.LO)
[8]  arXiv:2404.16455 [pdf, other]
Title: Canonical Decision Diagrams Modulo Theories
Authors: Massimo Michelutti, Gabriele Masina, Giuseppe Spallitta, Roberto Sebastiani
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[9]  arXiv:2404.16406 [pdf, ps, other]
Title: Regular Typed Unification
Authors: João Barbosa, Mário Florido, Vítor Santos Costa
Comments: 19 pages
Subjects: Logic in Computer Science (cs.LO)
[10]  arXiv:2404.16387 [pdf, other]
Title: Revisiting Restarts of CDCL: Should the Search Information be Preserved?
Authors: Xindi Zhang, Zhihan Chen, Shaowei Cai
Subjects: Logic in Computer Science (cs.LO)
[11]  arXiv:2404.16243 [pdf, ps, other]
Title: muRelBench: MicroBenchmarks for Zonotope Domains
Authors: Kenny Ballou, Elena Sherman
Comments: NEAT paper for SAS 2024
Subjects: Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
[12]  arXiv:2404.16231 [pdf, ps, other]
Title: A proof theory of (omega-)context-free languages, via non-wellfounded proofs
Authors: Anupam Das, Abhishek De
Comments: 24 pages, 5 figures
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[13]  arXiv:2404.16122 [pdf, ps, other]
Title: Generalized Optimization Modulo Theories
Authors: Nestan Tsiskaridze, Clark Barrett, Cesare Tinelli
Subjects: Logic in Computer Science (cs.LO)
[14]  arXiv:2404.16111 [pdf, other]
Title: Forcing, Transition Algebras, and Calculi
Authors: Hashimoto Go, Daniel Găină, Ionuţ Ţuţu
Subjects: Logic in Computer Science (cs.LO)
[15]  arXiv:2404.16061 [pdf, ps, other]
Title: Dynamic Many Valued Logic Systems in Theoretical Economics
Authors: Daniel Lu
Subjects: Logic in Computer Science (cs.LO); Theoretical Economics (econ.TH)
[16]  arXiv:2404.16050 [pdf, ps, other]
Title: Implications of computer science theory for the simulation hypothesis
Authors: David H. Wolpert
Comments: 44 pages of text, 5 pages of references, 10 pages of appendices
Subjects: Logic in Computer Science (cs.LO); History and Philosophy of Physics (physics.hist-ph)
[17]  arXiv:2404.16663 (cross-list from cs.LG) [pdf, other]
Title: Formal Specification, Assessment, and Enforcement of Fairness for Generative AIs
Authors: Chih-Hong Cheng, Changshun Wu, Harald Ruess, Xingyu Zhao, Saddek Bensalem
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Computers and Society (cs.CY); Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
[18]  arXiv:2404.16518 (cross-list from cs.FL) [pdf, other]
Title: Edit Distance of Finite State Transducers
Authors: C. Aiswarya, Amaldev Manuel, Saina Sunny
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[19]  arXiv:2404.16492 (cross-list from cs.FL) [pdf, ps, other]
Title: On the topology of concurrent systems
Authors: Catarina Faustino, Thomas Kahl, Rodrigo Lopes
Comments: 24 pages
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO); Algebraic Topology (math.AT)
[20]  arXiv:2404.16430 (cross-list from cs.DM) [pdf, ps, other]
Title: FO logic on cellular automata orbits equals MSO logic
Authors: Guillaume Theyssier (I2M)
Subjects: Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO); Dynamical Systems (math.DS)
[21]  arXiv:2404.16064 (cross-list from cs.HC) [pdf, ps, other]
Title: Transparent AI: Developing an Explainable Interface for Predicting Postoperative Complications
Authors: Yuanfang Ren, Chirayu Tripathi, Ziyuan Guan, Ruilin Zhu, Victoria Hougha, Yingbo Ma, Zhenhong Hu, Jeremy Balch, Tyler J. Loftus, Parisa Rashidi, Benjamin Shickel, Tezcan Ozrazgat-Baslanti, Azra Bihorac
Comments: 32 pages, 7 figures, 4 supplement figures and 1 supplement table
Subjects: Human-Computer Interaction (cs.HC); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)
[22]  arXiv:2311.02833 (cross-list from eess.SY) [pdf, other]
Title: CESAR: Control Envelope Synthesis via Angelic Refinements
Authors: Aditi Kabra, Jonathan Laurent, Stefan Mitsch, André Platzer
Subjects: Systems and Control (eess.SY); Logic in Computer Science (cs.LO)

Thu, 25 Apr 2024 (showing first 3 of 5 entries)

[23]  arXiv:2404.15855 [pdf, ps, other]
Title: Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
Authors: Tim S. Lyon, Ian Shillito, Alwen Tiu
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[24]  arXiv:2404.15840 [pdf, ps, other]
Title: Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
Authors: Tim S. Lyon, Jonas Karge
Comments: Accepted to IJCAI 2024
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Databases (cs.DB); Logic (math.LO)
[25]  arXiv:2404.15723 [pdf, other]
Title: POLIMON: Checking Temporal Properties over Out-of-order Streams at Runtime
Authors: Felix Klaedtke
Subjects: Logic in Computer Science (cs.LO)
[ total of 48 entries: 1-25 | 26-48 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, new, 2404, contact, help  (Access key information)