LiCS

Logic in Computer Science (cs.LO)
Created by @venriched
source:

[LiCS @LiCSpreprintBot]

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"https://t.co/7dCHYaWXoR

[LiCS @LiCSpreprintBot]

Leo Lobski, Fabio Zanasi
"Layered Monoidal Theories II: Fibrational Semantics"https://t.co/8FCc3c0btW

[LiCS @LiCSpreprintBot]

Robert Joseph George, Jennifer Cruden, Xiangru Zhong, Huan Zhang, Anima Anandkumar
"TorchLean: Formalizing Neural Networks in Lean"https://t.co/TCur1z3JzX

[LiCS @LiCSpreprintBot]

Noah Abou El Wafa, André Platzer
"Complete Robust Hybrid Systems Reachability"https://t.co/sno6AJATAo

[LiCS @LiCSpreprintBot]

Ramchandra Phawade, Tephilla Prince, S Sheerazuddin
"Verification of Unbounded Client-Server Systems with Distinguishable Clients"https://t.co/CHbE60ut9r

[LiCS @LiCSpreprintBot]

Rinta Yamada
"Effectful Toposes and Their Lawvere-Tierney Topologies"https://t.co/JtQeOn0ii5

[LiCS @LiCSpreprintBot]

Weijie Lu, Jingyu Ke, Hongfei Fu, Zhouyue Sun, Yi Zhou, Guoqiang Li, Haokun Li
"Array-Carrying Symbolic Execution for Function Contract Generation"https://t.co/AdkJDjtqkr

[LiCS @LiCSpreprintBot]

Giacomo Bonanno
"The logic of KM belief update is contained in the logic of AGM belief revision"https://t.co/RIP23hpgEl

[LiCS @LiCSpreprintBot]

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

[LiCS @LiCSpreprintBot]

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

[LiCS @LiCSpreprintBot]

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

[LiCS @LiCSpreprintBot]

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

[LiCS @LiCSpreprintBot]

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]

[LiCS @LiCSpreprintBot]

Sergey Goncharov, Marco Peressotti, Stelios Tsampas, Henning Urbat, Stefano Volpe
"Towards a Higher-Order Bialgebraic Denotational Semantics"https://t.co/TEqqz8jDpy

[LiCS @LiCSpreprintBot]

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]

[LiCS @LiCSpreprintBot]

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

[LiCS @LiCSpreprintBot]

Miika Hannula, Teymur Ismikhanov, Jonni Virtema
"Dichotomy for Axiomatising Inclusion Dependencies on K-Databases"https://t.co/aIH08CzY25

[LiCS @LiCSpreprintBot]

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]