We gratefully acknowledge support from
the Simons Foundation and member institutions.

Logic in Computer Science

Authors and titles for recent submissions, skipping first 25

[ total of 48 entries: 1-10 | 6-15 | 16-25 | 26-35 | 36-45 | 46-48 ]
[ showing 10 entries per page: fewer | more | all ]

Mon, 1 Dec 2025 (showing first 10 of 23 entries)

[26]  arXiv:2511.23109 [pdf, ps, other]
Title: Neuro-Symbolic Constrained Optimization for Cloud Application Deployment via Graph Neural Networks and Satisfiability Modulo Theory
Authors: Madalina Erascu
Subjects: Logic in Computer Science (cs.LO)
[27]  arXiv:2511.22734 [pdf, ps, other]
Title: Denotational semantics for stabiliser quantum programs
Authors: Robert I. Booth, Cole Comfort
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT); Symplectic Geometry (math.SG); Quantum Physics (quant-ph)
[28]  arXiv:2511.22572 [pdf, ps, other]
Title: Formal Verification of Probabilistic Multi-Agent Systems for Ballistic Rocket Flight Using Probabilistic Alternating-Time Temporal Logic
Authors: Damian Kurpiewski, Jędrzej Michalczyk, Wojciech Jamroga, Jerzy Julian Michalski, Teofil Sidoruk
Subjects: Logic in Computer Science (cs.LO); Multiagent Systems (cs.MA)
[29]  arXiv:2511.22537 [pdf, ps, other]
Title: A programming language combining quantum and classical control
Authors: Kinnari Dave, Louis Lemonnier, Romain Péchoux, Vladimir Zamdzhiev
Comments: Extended version of this https URL and related to the PhD thesis at arXiv:2406.07216
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Quantum Physics (quant-ph)
[30]  arXiv:2511.22392 [pdf, ps, other]
Title: Muddy Waters
Authors: Hans van Ditmarsch (CNRS)
Comments: In Proceedings TARK 2025, arXiv:2511.20540
Journal-ref: EPTCS 437, 2025, pp. 433-447
Subjects: Logic in Computer Science (cs.LO)
[31]  arXiv:2511.22391 [pdf, ps, other]
Title: Impure Simplicial Complex and Term-Modal Logic with Assignment Operators
Authors: Yuanzhe Yang
Comments: In Proceedings TARK 2025, arXiv:2511.20540
Journal-ref: EPTCS 437, 2025, pp. 399-416
Subjects: Logic in Computer Science (cs.LO); Multiagent Systems (cs.MA)
[32]  arXiv:2511.22390 [pdf, ps, other]
Title: Modal Logic for Simulation, Refinement, and Mutual Ignorance
Authors: Hans van Ditmarsch, Tim French, Rustam Galimullin, Louwe B. Kuijer
Comments: In Proceedings TARK 2025, arXiv:2511.20540
Journal-ref: EPTCS 437, 2025, pp. 379-398
Subjects: Logic in Computer Science (cs.LO)
[33]  arXiv:2511.22389 [pdf, ps, other]
Title: Complexity of Łukasiewicz Modal Probabilistic Logics
Authors: Daniil Kozhemiachenko (Aix Marseille Univ, CNRS, LIS, Marseille, France), Igor Sedlár (The Czech Academy of Sciences, Prague, Czech Republic)
Comments: In Proceedings TARK 2025, arXiv:2511.20540
Journal-ref: EPTCS 437, 2025, pp. 350-364
Subjects: Logic in Computer Science (cs.LO)
[34]  arXiv:2511.22387 [pdf, ps, other]
Title: Are Large Random Graphs Always Safe to Hide?
Authors: Sourav Chakraborty (Indian Statistical Institute), Sujata Ghosh (Indian Statistical Institute), Smiha Samanta (Indian Statistical Institute)
Comments: In Proceedings TARK 2025, arXiv:2511.20540
Journal-ref: EPTCS 437, 2025, pp. 321-333
Subjects: Logic in Computer Science (cs.LO); Computer Science and Game Theory (cs.GT)
[35]  arXiv:2511.22385 [pdf, other]
Title: Logic of (Common or Distributed) Knowledge
Authors: Chenwei Shi (Department of Philosophy, Tsinghua University)
Comments: In Proceedings TARK 2025, arXiv:2511.20540
Journal-ref: EPTCS 437, 2025, pp. 286-300
Subjects: Logic in Computer Science (cs.LO)
[ total of 48 entries: 1-10 | 6-15 | 16-25 | 26-35 | 36-45 | 46-48 ]
[ showing 10 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, new, 2512, contact, help  (Access key information)