Skip to main content
We gratefully acknowledge support from the Simons Foundation, member institutions, and all contributors. Donate
arXiv logo
Cornell University Logo

Logic in Computer Science

Authors and titles for recent submissions

See today's new changes

Total of 30 entries : 1-25 26-30
Showing up to 25 entries per page: fewer | more | all

Fri, 21 Jun 2024 (showing 9 of 9 entries )

[1] arXiv:2406.14402 [pdf, html, other]
Title: Logic-based analogical proportions
Christian Antić
Subjects: Logic in Computer Science (cs.LO); Discrete Mathematics (cs.DM); Logic (math.LO)
[2] arXiv:2406.14305 [pdf, html, other]
Title: Disproving Termination of Non-Erasing Sole Combinatory Calculus with Tree Automata (Full Version)
Keisuke Nakano, Munehiro Iwami
Comments: This is the full version of the corresponding CIAA 2024 paper
Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
[3] arXiv:2406.14190 [pdf, html, other]
Title: Extended Resolution Clause Learning via Dual Implication Points
Sam Buss, Jonathan Chung, Vijay Ganesh, Albert Oliveras
Subjects: Logic in Computer Science (cs.LO)
[4] arXiv:2406.13657 [pdf, html, other]
Title: The strength of the dominance rule
Leszek Aleksander Kołodziejczyk, Neil Thapen
Comments: To appear in the proceedings of the 27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024)
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[5] arXiv:2406.13622 [pdf, other]
Title: A Sound and Complete Substitution Algorithm for Multimode Type Theory: Technical Report
Joris Ceulemans (KU Leuven), Andreas Nuyts (KU Leuven), Dominique Devriese (KU Leuven)
Comments: 36 pages, 10 figures
Subjects: Logic in Computer Science (cs.LO)
[6] arXiv:2406.13360 [pdf, other]
Title: Birkhoff style proof systems for hybrid-dynamic quantum logic
Daniel Gaina
Comments: arXiv admin note: text overlap with arXiv:2406.02085
Subjects: Logic in Computer Science (cs.LO)
[7] arXiv:2406.14265 (cross-list from cs.LG) [pdf, html, other]
Title: VeriFlow: Modeling Distributions for Neural Network Verification
Faried Abu Zaid, Daniel Neider, Mustafa Yalçıner
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)
[8] arXiv:2406.14094 (cross-list from math.LO) [pdf, html, other]
Title: Logical reduction of relations: from relational databases to Peirce's reduction thesis
Sergiy Koshkin
Comments: 31 pages, 4 figures
Journal-ref: Logic Journal of the IGPL, 2023
Subjects: Logic (math.LO); Databases (cs.DB); Logic in Computer Science (cs.LO); Rings and Algebras (math.RA)
[9] arXiv:2406.13731 (cross-list from cs.AI) [pdf, html, other]
Title: Integrating Fuzzy Logic with Causal Inference: Enhancing the Pearl and Neyman-Rubin Methodologies
Amir Saki, Usef Faghihi
Comments: 25 pages, 6 figures, 4 tables
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)

Wed, 19 Jun 2024 (showing 6 of 6 entries )

[10] arXiv:2406.12574 [pdf, other]
Title: A Behavioral Theory for Distributed Systems with Weak Recovery
Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani
Comments: 50 pages
Subjects: Logic in Computer Science (cs.LO)
[11] arXiv:2406.12090 [pdf, html, other]
Title: Data-Aware Hybrid Tableaux
Carlos Areces, Valentin Cassano, Raul Fervari
Comments: 29 pages
Subjects: Logic in Computer Science (cs.LO)
[12] arXiv:2406.11888 [pdf, html, other]
Title: Neural logic programs and neural nets
Christian Antić
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
[13] arXiv:2406.12163 (cross-list from cs.AI) [pdf, html, other]
Title: Discussion Graph Semantics of First-Order Logic with Equality for Reasoning about Discussion and Argumentation
Ryuta Arisaka
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[14] arXiv:2406.12127 (cross-list from math.CT) [pdf, other]
Title: Invertible cells in $\omega$-categories
Thibaut Benjamin, Ioannis Markakis
Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO)
[15] arXiv:2406.12078 (cross-list from cs.AI) [pdf, html, other]
Title: Conformance Checking of Fuzzy Logs against Declarative Temporal Specifications
Ivan Donadello, Paolo Felli, Craig Innes, Fabrizio Maria Maggi, Marco Montali
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

Tue, 18 Jun 2024 (showing 8 of 8 entries )

[16] arXiv:2406.11414 [pdf, html, other]
Title: Formally Certified Approximate Model Counting
Yong Kiam Tan, Jiong Yang, Mate Soos, Magnus O. Myreen, Kuldeep S. Meel
Comments: The extended version, including the appendix, of the paper to be published in CAV24. The associated artifact is available at this https URL
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[17] arXiv:2406.10659 [pdf, html, other]
Title: RDF Surfaces: Enabling Classical Negation on the Semantic Web
Patrick Hochstenbach, Mathijs van Noort, Dörthe Arndt, Rebekka Martens, Jos De Roo, Ruben Verborgh, Pieter Bonte, Femke Ongenae
Subjects: Logic in Computer Science (cs.LO)
[18] arXiv:2406.11779 (cross-list from cs.LG) [pdf, other]
Title: Provable Guarantees for Model Performance via Mechanistic Interpretability
Jason Gross, Rajashree Agrawal, Thomas Kwa, Euan Ong, Chun Hei Yip, Alex Gibson, Soufiane Noubir, Lawrence Chan
Subjects: Machine Learning (cs.LG); Logic in Computer Science (cs.LO)
[19] arXiv:2406.11351 (cross-list from cs.FL) [pdf, html, other]
Title: A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Buchi Register Automata
Yoshiaki Takata, Akira Onishi, Ryoma Senda, Hiroyuki Seki
Comments: 6 pages, 1 figure, this is a longer version of a short paper submitted to IEICE Transactions on Information and Systems
Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[20] arXiv:2406.10924 (cross-list from math.LO) [pdf, html, other]
Title: Ajtai's theorem for $T^2_2(R)$ and pebble games with backtracking
Eitetsu Ken, Mykyta Narusevych
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[21] arXiv:2406.10730 (cross-list from cs.IT) [pdf, html, other]
Title: Order-theoretic models for decision-making: Learning, optimization, complexity and computation
Pedro Hack
Comments: PhD thesis
Subjects: Information Theory (cs.IT); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[22] arXiv:2406.10649 (cross-list from math.LO) [pdf, html, other]
Title: A Coalgebraic Semantics for Intuitionistic Modal Logic
Rodrigo Nicolau Almeida, Nick Bezhanishvili
Comments: 19 pages, Accepted at AIML 2024
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[23] arXiv:2406.10449 (cross-list from cs.LG) [pdf, html, other]
Title: Learning Temporal Logic Predicates from Data with Statistical Guarantees
Emi Soroka, Rohan Sinha, Sanjay Lall
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

Mon, 17 Jun 2024 (showing first 2 of 4 entries )

[24] arXiv:2406.10053 [pdf, other]
Title: Property-Based Testing by Elaborating Proof Outlines
Dale Miller, Alberto Momigliano
Subjects: Logic in Computer Science (cs.LO)
[25] arXiv:2406.10010 [pdf, html, other]
Title: Consistent Update Synthesis via Privatized Beliefs
Thomas Schlögl, Roman Kuznets, Giorgio Cignarale
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
Total of 30 entries : 1-25 26-30
Showing up to 25 entries per page: fewer | more | all