arXiv cs.LO Logic in Computer Science
@cslo-bot.bsky.social
Unofficial bot by @vele.bsky.social w/ http://github.com/so-okada/bXiv https://arxiv.org/list/cs.LO/new
List https://bsky.app/profile/vele.bsky.social/lists/3lim7ccweqo2j
ModList https://bsky.app/profile/vele.bsky.social/lists/3lim3qnexsw2g
List https://bsky.app/profile/vele.bsky.social/lists/3lim7ccweqo2j
ModList https://bsky.app/profile/vele.bsky.social/lists/3lim3qnexsw2g
Reposted by arXiv cs.LO Logic in Computer Science
Marco Aruta, Francesco Improta, Vadim Malvone, Aniello Murano: When Natural Strategies Meet Fuzziness and Resource-Bounded Actions (Extended Version) https://arxiv.org/abs/2512.20457 https://arxiv.org/pdf/2512.20457 https://arxiv.org/html/2512.20457
December 24, 2025 at 6:32 AM
Marco Aruta, Francesco Improta, Vadim Malvone, Aniello Murano: When Natural Strategies Meet Fuzziness and Resource-Bounded Actions (Extended Version) https://arxiv.org/abs/2512.20457 https://arxiv.org/pdf/2512.20457 https://arxiv.org/html/2512.20457
Reposted by arXiv cs.LO Logic in Computer Science
J. P. T. Rodrigues, F. L. B. Martins, J. C. do Nascimento: All-optical 3-input OR and 2-input AND/NIMPLY logic gates in a linear planar three-core optical fiber coupler https://arxiv.org/abs/2512.20024 https://arxiv.org/pdf/2512.20024 https://arxiv.org/html/2512.20024
December 24, 2025 at 6:48 AM
J. P. T. Rodrigues, F. L. B. Martins, J. C. do Nascimento: All-optical 3-input OR and 2-input AND/NIMPLY logic gates in a linear planar three-core optical fiber coupler https://arxiv.org/abs/2512.20024 https://arxiv.org/pdf/2512.20024 https://arxiv.org/html/2512.20024
Brendan Juba, Kuldeep S. Meel: The Limitations and Power of NP-Oracle-Based Functional Synthesis Techniques https://arxiv.org/abs/2512.20572 https://arxiv.org/pdf/2512.20572 https://arxiv.org/html/2512.20572
December 24, 2025 at 6:32 AM
Brendan Juba, Kuldeep S. Meel: The Limitations and Power of NP-Oracle-Based Functional Synthesis Techniques https://arxiv.org/abs/2512.20572 https://arxiv.org/pdf/2512.20572 https://arxiv.org/html/2512.20572
\c{S}tefan Ciob\^ac\u{a}, K. Rustan M. Leino, \c{S}tefan-Alexandru Merca\c{s}, Roxana-Mihaela Timon: The Design of an Interactive Proof Mode for Dafny https://arxiv.org/abs/2512.20486 https://arxiv.org/pdf/2512.20486 https://arxiv.org/html/2512.20486
December 24, 2025 at 6:32 AM
\c{S}tefan Ciob\^ac\u{a}, K. Rustan M. Leino, \c{S}tefan-Alexandru Merca\c{s}, Roxana-Mihaela Timon: The Design of an Interactive Proof Mode for Dafny https://arxiv.org/abs/2512.20486 https://arxiv.org/pdf/2512.20486 https://arxiv.org/html/2512.20486
[2025-12-24 Wed (UTC), 2 new articles found for csLO Logic in Computer Science]
December 24, 2025 at 6:32 AM
[2025-12-24 Wed (UTC), 2 new articles found for csLO Logic in Computer Science]
Reposted by arXiv cs.LO Logic in Computer Science
Anupam Das, Abhishek De, Stepan L. Kuznetsov: Undecidability of theories of semirings with fixed points https://arxiv.org/abs/2512.19401 https://arxiv.org/pdf/2512.19401 https://arxiv.org/html/2512.19401
December 23, 2025 at 6:39 AM
Anupam Das, Abhishek De, Stepan L. Kuznetsov: Undecidability of theories of semirings with fixed points https://arxiv.org/abs/2512.19401 https://arxiv.org/pdf/2512.19401 https://arxiv.org/html/2512.19401
Reposted by arXiv cs.LO Logic in Computer Science
Pablo Barcel\'o, Floris Geerts, Matthias Lanzinger, Klara Pakhomenko, Jan Van den Bussche: A Logical View of GNN-Style Computation and the Role of Activation Functions https://arxiv.org/abs/2512.19332 https://arxiv.org/pdf/2512.19332 https://arxiv.org/html/2512.19332
December 23, 2025 at 6:34 AM
Pablo Barcel\'o, Floris Geerts, Matthias Lanzinger, Klara Pakhomenko, Jan Van den Bussche: A Logical View of GNN-Style Computation and the Role of Activation Functions https://arxiv.org/abs/2512.19332 https://arxiv.org/pdf/2512.19332 https://arxiv.org/html/2512.19332
Reposted by arXiv cs.LO Logic in Computer Science
Alessandro Abate: Neural Proofs for Sound Verification and Control of Complex Systems https://arxiv.org/abs/2512.18389 https://arxiv.org/pdf/2512.18389 https://arxiv.org/html/2512.18389
December 23, 2025 at 6:36 AM
Alessandro Abate: Neural Proofs for Sound Verification and Control of Complex Systems https://arxiv.org/abs/2512.18389 https://arxiv.org/pdf/2512.18389 https://arxiv.org/html/2512.18389
Nils Lommen, J\"urgen Giesl: Modular Automatic Complexity Analysis of Recursive Integer Programs https://arxiv.org/abs/2512.18851 https://arxiv.org/pdf/2512.18851 https://arxiv.org/html/2512.18851
December 23, 2025 at 6:32 AM
Nils Lommen, J\"urgen Giesl: Modular Automatic Complexity Analysis of Recursive Integer Programs https://arxiv.org/abs/2512.18851 https://arxiv.org/pdf/2512.18851 https://arxiv.org/html/2512.18851
Mario Piazza, Andrea Sabatini: A logic for default deontic reasoning https://arxiv.org/abs/2512.18824 https://arxiv.org/pdf/2512.18824 https://arxiv.org/html/2512.18824
December 23, 2025 at 6:32 AM
Mario Piazza, Andrea Sabatini: A logic for default deontic reasoning https://arxiv.org/abs/2512.18824 https://arxiv.org/pdf/2512.18824 https://arxiv.org/html/2512.18824
[2025-12-23 Tue (UTC), 2 new articles found for csLO Logic in Computer Science]
December 23, 2025 at 6:32 AM
[2025-12-23 Tue (UTC), 2 new articles found for csLO Logic in Computer Science]
Reposted by arXiv cs.LO Logic in Computer Science
Anirban Majumdar, Ritam Raha, Rajarshi Roy, David Parker, Marta Kwiatkowska: About Time: Model-free Reinforcement Learning with Timed Reward Machines https://arxiv.org/abs/2512.17637 https://arxiv.org/pdf/2512.17637 https://arxiv.org/html/2512.17637
December 22, 2025 at 6:29 AM
Anirban Majumdar, Ritam Raha, Rajarshi Roy, David Parker, Marta Kwiatkowska: About Time: Model-free Reinforcement Learning with Timed Reward Machines https://arxiv.org/abs/2512.17637 https://arxiv.org/pdf/2512.17637 https://arxiv.org/html/2512.17637
Reposted by arXiv cs.LO Logic in Computer Science
Pietro Cofone, Giovanni Amendola, Marco Manna, Aldo Ricioppo: Navigating Taxonomic Expansions of Entity Sets Driven by Knowledge Bases https://arxiv.org/abs/2512.16953 https://arxiv.org/pdf/2512.16953 https://arxiv.org/html/2512.16953
December 22, 2025 at 6:28 AM
Pietro Cofone, Giovanni Amendola, Marco Manna, Aldo Ricioppo: Navigating Taxonomic Expansions of Entity Sets Driven by Knowledge Bases https://arxiv.org/abs/2512.16953 https://arxiv.org/pdf/2512.16953 https://arxiv.org/html/2512.16953
Chris Kapulkin, Yufeng Li: Yet another cubical type theory, but via a semantic approach https://arxiv.org/abs/2512.17548 https://arxiv.org/pdf/2512.17548 https://arxiv.org/html/2512.17548
December 22, 2025 at 6:32 AM
Chris Kapulkin, Yufeng Li: Yet another cubical type theory, but via a semantic approach https://arxiv.org/abs/2512.17548 https://arxiv.org/pdf/2512.17548 https://arxiv.org/html/2512.17548
Philipp Joram, Niccol\`o Veltri: Derivates for Containers in Univalent Foundations https://arxiv.org/abs/2512.17484 https://arxiv.org/pdf/2512.17484 https://arxiv.org/html/2512.17484
December 22, 2025 at 6:32 AM
Philipp Joram, Niccol\`o Veltri: Derivates for Containers in Univalent Foundations https://arxiv.org/abs/2512.17484 https://arxiv.org/pdf/2512.17484 https://arxiv.org/html/2512.17484
Andreas Krebs, Arne Meier: When Symmetry Yields NP-Hardness: Affine ML-SAT on S5 Frames https://arxiv.org/abs/2512.17378 https://arxiv.org/pdf/2512.17378 https://arxiv.org/html/2512.17378
December 22, 2025 at 6:32 AM
Andreas Krebs, Arne Meier: When Symmetry Yields NP-Hardness: Affine ML-SAT on S5 Frames https://arxiv.org/abs/2512.17378 https://arxiv.org/pdf/2512.17378 https://arxiv.org/html/2512.17378
[2025-12-22 Mon (UTC), 3 new articles found for csLO Logic in Computer Science]
December 22, 2025 at 6:32 AM
[2025-12-22 Mon (UTC), 3 new articles found for csLO Logic in Computer Science]
Reposted by arXiv cs.LO Logic in Computer Science
Khurram Khalil, Khaza Anuarul Hoque: TOGGLE: Temporal Logic-Guided Large Language Model Compression for Edge https://arxiv.org/abs/2512.16855 https://arxiv.org/pdf/2512.16855 https://arxiv.org/html/2512.16855
December 19, 2025 at 6:29 AM
Khurram Khalil, Khaza Anuarul Hoque: TOGGLE: Temporal Logic-Guided Large Language Model Compression for Edge https://arxiv.org/abs/2512.16855 https://arxiv.org/pdf/2512.16855 https://arxiv.org/html/2512.16855
Reposted by arXiv cs.LO Logic in Computer Science
Abhisek Ganguly: Dual Computational Horizons: Incompleteness and Unpredictability in Intelligent Systems https://arxiv.org/abs/2512.16707 https://arxiv.org/pdf/2512.16707 https://arxiv.org/html/2512.16707
December 19, 2025 at 6:29 AM
Abhisek Ganguly: Dual Computational Horizons: Incompleteness and Unpredictability in Intelligent Systems https://arxiv.org/abs/2512.16707 https://arxiv.org/pdf/2512.16707 https://arxiv.org/html/2512.16707
Reposted by arXiv cs.LO Logic in Computer Science
Daragh King, Vasileios Koutavas, Laura Kovacs: A Neurosymbolic Approach to Loop Invariant Generation via Weakest Precondition Reasoning https://arxiv.org/abs/2512.15816 https://arxiv.org/pdf/2512.15816 https://arxiv.org/html/2512.15816
December 19, 2025 at 6:34 AM
Daragh King, Vasileios Koutavas, Laura Kovacs: A Neurosymbolic Approach to Loop Invariant Generation via Weakest Precondition Reasoning https://arxiv.org/abs/2512.15816 https://arxiv.org/pdf/2512.15816 https://arxiv.org/html/2512.15816
Manuel Bentele, Onur Altinordu, Jan K\"orner, Andreas Podelski, Axel Sikora: Checking the HAL Interface Specification Continuously, Right from the Start https://arxiv.org/abs/2512.16897 https://arxiv.org/pdf/2512.16897 https://arxiv.org/html/2512.16897
December 19, 2025 at 6:32 AM
Manuel Bentele, Onur Altinordu, Jan K\"orner, Andreas Podelski, Axel Sikora: Checking the HAL Interface Specification Continuously, Right from the Start https://arxiv.org/abs/2512.16897 https://arxiv.org/pdf/2512.16897 https://arxiv.org/html/2512.16897
Nils K\"uchenmeister, Alex Ivliev, Markus Kr\"otzsch: Towards Mass Spectrum Analysis with ASP https://arxiv.org/abs/2512.16780 https://arxiv.org/pdf/2512.16780 https://arxiv.org/html/2512.16780
December 19, 2025 at 6:32 AM
Nils K\"uchenmeister, Alex Ivliev, Markus Kr\"otzsch: Towards Mass Spectrum Analysis with ASP https://arxiv.org/abs/2512.16780 https://arxiv.org/pdf/2512.16780 https://arxiv.org/html/2512.16780
Chris Kapulkin, Yufeng Li: (Pointed) Univalence in Universe Category Models of Type Theory https://arxiv.org/abs/2512.16697 https://arxiv.org/pdf/2512.16697 https://arxiv.org/html/2512.16697
December 19, 2025 at 6:32 AM
Chris Kapulkin, Yufeng Li: (Pointed) Univalence in Universe Category Models of Type Theory https://arxiv.org/abs/2512.16697 https://arxiv.org/pdf/2512.16697 https://arxiv.org/html/2512.16697
Christian Attiogb\'e: Mechanizing Operads with Event-B https://arxiv.org/abs/2512.16342 https://arxiv.org/pdf/2512.16342 https://arxiv.org/html/2512.16342
December 19, 2025 at 6:32 AM
Christian Attiogb\'e: Mechanizing Operads with Event-B https://arxiv.org/abs/2512.16342 https://arxiv.org/pdf/2512.16342 https://arxiv.org/html/2512.16342
[2025-12-19 Fri (UTC), 4 new articles found for csLO Logic in Computer Science]
December 19, 2025 at 6:32 AM
[2025-12-19 Fri (UTC), 4 new articles found for csLO Logic in Computer Science]