Lightnews — Scholar-powered news

arXiv cs.LO Logic in Computer Science

@cslo-bot.bsky.social

17 followers 1 following 2.3K posts

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

github.com

Posts Media Videos Starter Packs

Reposted by arXiv cs.LO Logic in Computer Science

arXiv math-ph Mathematical Physics @mathph-bot.bsky.social · 11h

Francesco Caravelli, Jean-Charles Delvenne: Analog and Symbolic Computation through the Koopman Framework https://arxiv.org/abs/2510.05863 https://arxiv.org/pdf/2510.05863 https://arxiv.org/html/2510.05863

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 12h

David Cortes, Jean Leneutre, Vadim Malvone, James Ortiz: A Timed Obstruction Logic for Dynamic Game Models https://arxiv.org/abs/2510.06045 https://arxiv.org/pdf/2510.06045 https://arxiv.org/html/2510.06045

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 12h

Jeremy C. Kirn, Lucas Meijer, Tillmann Miltzow, Hans L. Bodlaender: On Equivalent Characterizations of NP in Abstract Models of Computation https://arxiv.org/abs/2510.05894 https://arxiv.org/pdf/2510.05894 https://arxiv.org/html/2510.05894

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 12h

Abhimanyu Choudhury, Meena Mahajan: On the Interplay of Cube Learning and Dependency Schemes in QCDCL Proof Systems https://arxiv.org/abs/2510.05876 https://arxiv.org/pdf/2510.05876 https://arxiv.org/html/2510.05876

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 12h

[2025-10-08 Wed (UTC), 3 new articles found for csLO Logic in Computer Science]

Reposted by arXiv cs.LO Logic in Computer Science

arXiv math.CT Category Theory @mathct-bot.bsky.social · 1d

Jean-Baptiste Vienney: An algebra modality admitting countably many deriving transformations https://arxiv.org/abs/2510.03953 https://arxiv.org/pdf/2510.03953 https://arxiv.org/html/2510.03953

Reposted by arXiv cs.LO Logic in Computer Science

arXiv cs.AI Artificial Intelligence @csai-bot.bsky.social · 1d

Keshav Ramani, Vali Tawosi, Salwa Alamir, Daniel Borrajo: Bridging LLM Planning Agents and Formal Methods: A Case Study in Plan Verification https://arxiv.org/abs/2510.03469 https://arxiv.org/pdf/2510.03469 https://arxiv.org/html/2510.03469

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 1d

Chris Heunen, Robin Kaarsgaard, Louis Lemonnier: One rig to control them all https://arxiv.org/abs/2510.05032 https://arxiv.org/pdf/2510.05032 https://arxiv.org/html/2510.05032

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 1d

Maximilian R. P. von Liechtenstein: Curved Boolean Logic: A Contextual Generalization of Propositional Logic with Algorithmic Consequences https://arxiv.org/abs/2510.04716 https://arxiv.org/pdf/2510.04716 https://arxiv.org/html/2510.04716

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 1d

Ryota Kojima, Corina Cirstea: Continuation Semantics for Fixpoint Modal Logic and Computation Tree Logics https://arxiv.org/abs/2510.04653 https://arxiv.org/pdf/2510.04653 https://arxiv.org/html/2510.04653

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 1d

Mateo Torres-Ruiz, Robin Piedeleu, Alexandra Silva, Fabio Zanasi: A Complete Diagrammatic Calculus for Conditional Gaussian Mixtures https://arxiv.org/abs/2510.04649 https://arxiv.org/pdf/2510.04649 https://arxiv.org/html/2510.04649

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 1d

Raven Beutner, Bernd Finkbeiner: Strategy Logic, Imperfect Information, and Hyperproperties https://arxiv.org/abs/2510.03952 https://arxiv.org/pdf/2510.03952 https://arxiv.org/html/2510.03952

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 1d

Raven Beutner, Bernd Finkbeiner: On Hyperproperty Verification, Quantifier Alternations, and Games under Partial Information https://arxiv.org/abs/2510.03942 https://arxiv.org/pdf/2510.03942 https://arxiv.org/html/2510.03942

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 1d

Amrita Suresh, Nobuko Yoshida: Unreliability in Practical Subclasses of Communicating Systems https://arxiv.org/abs/2510.03941 https://arxiv.org/pdf/2510.03941 https://arxiv.org/html/2510.03941

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 1d

Balder ten Cate, Jesse Comer: Interpolation in First-Order Logic https://arxiv.org/abs/2510.03822 https://arxiv.org/pdf/2510.03822 https://arxiv.org/html/2510.03822

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 1d

Eridan Domoratskiy, Dmitrii Kosarev, Dmitry Boulytchev: An Empirical Study of Rational Tree Unification for miniKanren https://arxiv.org/abs/2510.03789 https://arxiv.org/pdf/2510.03789 https://arxiv.org/html/2510.03789

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 1d

[2025-10-07 Tue (UTC), 9 new articles found for csLO Logic in Computer Science]

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 2d

Robin Adams: A Graded Modal Type Theory for Pulse Schedules https://arxiv.org/abs/2510.03130 https://arxiv.org/pdf/2510.03130 https://arxiv.org/html/2510.03130

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 2d

Philippe Balbiani, Hans van Ditmarsch, Clara Lerouvillois: Axiomatisation for an asynchronous epistemic logic with sending and receiving messages https://arxiv.org/abs/2510.02890 https://arxiv.org/pdf/2510.02890 https://arxiv.org/html/2510.02890

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 2d

[2025-10-06 Mon (UTC), 2 new articles found for csLO Logic in Computer Science]

Reposted by arXiv cs.LO Logic in Computer Science

arXiv cs.LG Machine Learning @cslg-bot.bsky.social · 5d

Vladimir Krsmanovic, Matthias Cosler, Mohamed Ghanem, Bernd Finkbeiner: Learning Representations Through Contrastive Neural Model Checking https://arxiv.org/abs/2510.01853 https://arxiv.org/pdf/2510.01853 https://arxiv.org/html/2510.01853

Reposted by arXiv cs.LO Logic in Computer Science

arXiv cs.FL Formal Languages and Automata Theory @csfl-bot.bsky.social · 5d

Hsi-Ming Ho, Shankara Narayanan Krishna, Khushraj Madnani, Rupak Majumdar, Paritosh Pandya: MightyPPL: Verification of MITL with Past and Pnueli Modalities https://arxiv.org/abs/2510.01490 https://arxiv.org/pdf/2510.01490 https://arxiv.org/html/2510.01490

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 5d

Carlos Areces, Valentin Cassano, Danae Dutto, Raul Fervari: Sequent Calculi for Data-Aware Modal Logics https://arxiv.org/abs/2510.01868 https://arxiv.org/pdf/2510.01868 https://arxiv.org/html/2510.01868

arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social · 5d

[2025-10-03 Fri (UTC), 1 new article found for csLO Logic in Computer Science]

Reposted by arXiv cs.LO Logic in Computer Science

arXiv cs.AI Artificial Intelligence @csai-bot.bsky.social · 6d

Nicholas Leisegang, Giovanni Casini, Thomas Meyer: Semantic Bridges Between First Order c-Representations and Cost-Based Semantics: An Initial Perspective https://arxiv.org/abs/2510.00817 https://arxiv.org/pdf/2510.00817 https://arxiv.org/html/2510.00817