LiCS @LiCSpreprintBot

Logic in Computer Science (cs.LO) Created by @venriched source: https://t.co/bdiIknjayG rss.arxiv.org/rss/cs.LO Joined February 2024

Tweets

7K
Followers

100
Following

0
Likes

0

LiCS @LiCSpreprintBot

4 months ago

Vinícius P. Chagas, Luiz H. T. Viana, Mac M. da S. Carlos, João P. V. Madeiro, Roberto C. Pedrosa, Thiago Alves Rocha, Carlos H. L. Cavalcante "Reliable XAI Explanations in Sudden Cardiac Death Prediction for Chagas Cardiomyopathy"arxiv.org/abs/2602.22288…

0 1 1 149 1

View Details

LiCS @LiCSpreprintBot

4 months ago

Leo Lobski, Fabio Zanasi "Layered Monoidal Theories II: Fibrational Semantics"arxiv.org/abs/2602.22373…

0 0 0 54 1

View Details

LiCS @LiCSpreprintBot

4 months ago

Robert Joseph George, Jennifer Cruden, Xiangru Zhong, Huan Zhang, Anima Anandkumar "TorchLean: Formalizing Neural Networks in Lean"arxiv.org/abs/2602.22631…

0 1 5 233 5

View Details

LiCS @LiCSpreprintBot

4 months ago

Noah Abou El Wafa, André Platzer "Complete Robust Hybrid Systems Reachability"arxiv.org/abs/2602.22853…

0 0 0 56 0

View Details

LiCS @LiCSpreprintBot

4 months ago

Ramchandra Phawade, Tephilla Prince, S Sheerazuddin "Verification of Unbounded Client-Server Systems with Distinguishable Clients"arxiv.org/abs/2602.23054…

0 0 0 35 0

View Details

LiCS @LiCSpreprintBot

4 months ago

Rinta Yamada "Effectful Toposes and Their Lawvere-Tierney Topologies"arxiv.org/abs/2602.23086…

0 0 0 51 0

View Details

LiCS @LiCSpreprintBot

4 months ago

Weijie Lu, Jingyu Ke, Hongfei Fu, Zhouyue Sun, Yi Zhou, Guoqiang Li, Haokun Li "Array-Carrying Symbolic Execution for Function Contract Generation"arxiv.org/abs/2602.23216…

0 0 0 54 0

View Details

LiCS @LiCSpreprintBot

4 months ago

Giacomo Bonanno "The logic of KM belief update is contained in the logic of AGM belief revision"arxiv.org/abs/2602.23302…

0 0 0 25 0

View Details

LiCS @LiCSpreprintBot

4 months ago

[2026-02-26, 8 new articles found for cs_LO Logic in Computer Sciencs]

0 0 0 23 0

View Details

LiCS @LiCSpreprintBot

4 months ago

[2026-02-25, 6 new articles found for cs_LO Logic in Computer Sciencs]

0 0 0 33 0

View Details

LiCS @LiCSpreprintBot

4 months ago

[2026-02-24, 2 new articles found for cs_LO Logic in Computer Sciencs]

0 0 0 27 0

View Details

LiCS @LiCSpreprintBot

4 months ago

[2026-02-23, 20 new articles found for cs_LO Logic in Computer Sciencs]

0 0 0 36 0

View Details

LiCS @LiCSpreprintBot

4 months ago

otational semantics in higher-order abstract GSOS. The denotational models are parametric in an appropriately chosen semantic domain in the form of a locally final coalgebra for a behaviour bifunctor, whose construction is fully decoupled from the syntax of the language...[4/6]

0 0 0 24 0

View Details

LiCS @LiCSpreprintBot

4 months ago

ng compositionality of bisimilarity. However, a categorical understanding of bialgebraic denotational semantics according to Turi and Plotkin's original vision has so far been missing in the higher-order setting. In the present paper, we develop a theory of adequate den...[3/6]

1 0 0 17 0

View Details

LiCS @LiCSpreprintBot

4 months ago

Sergey Goncharov, Marco Peressotti, Stelios Tsampas, Henning Urbat, Stefano Volpe "Towards a Higher-Order Bialgebraic Denotational Semantics"arxiv.org/abs/2602.18295…

1 0 0 58 0

View Details

LiCS @LiCSpreprintBot

4 months ago

he balance axiom, weak symmetry axiom boils down to symmetry. [5/5]

0 0 0 17 0

View Details

LiCS @LiCSpreprintBot

4 months ago

blem. In addition, we establish that the so-called balance axiom is further required, if one stipulates that the joint weights of each K-relation of a K-database need to be the same; this generalises the notion of a K-relation being a distribution. In conjunction with t...[4/5]