Logic in Computer Science

Authors and titles for recent submissions, skipping first 25

• Fri, 5 Dec 2025
• Thu, 4 Dec 2025
• Wed, 3 Dec 2025
• Tue, 2 Dec 2025
• Mon, 1 Dec 2025

Mon, 1 Dec 2025

[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)

[36]  arXiv:2511.22382 [pdf, other]

Title: Comparing State-Representations for DEL Model Checking

Authors: Gregor Behnke (ILLC, University of Amsterdam), Malvin Gattinger (ILLC, University of Amsterdam), Avijeet Ghosh (Chennai Mathematical Institute), Haitian Wang (ILLC, University of Amsterdam)

Comments: In Proceedings TARK 2025, arXiv:2511.20540

Journal-ref: EPTCS 437, 2025, pp. 233-250

Subjects: Logic in Computer Science (cs.LO); Multiagent Systems (cs.MA)

[37]  arXiv:2511.22381 [pdf, ps, other]

Title: Graded Distributed Belief

Authors: Emiliano Lorini (IRIT, CNRS, Toulouse University), Dmitry Rozplokhas (TU Wien)

Comments: In Proceedings TARK 2025, arXiv:2511.20540

Journal-ref: EPTCS 437, 2025, pp. 203-215

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)

[38]  arXiv:2511.22379 [pdf, ps, other]

Title: Group Knowledge of Hypothetical Values

Authors: Alexandru Baltag (ILLC, University of Amsterdam), Sonja Smets (ILLC, University of Amsterdam)

Comments: In Proceedings TARK 2025, arXiv:2511.20540

Journal-ref: EPTCS 437, 2025, pp. 140-159

Subjects: Logic in Computer Science (cs.LO)

[39]  arXiv:2511.22377 [pdf, other]

Title: Conditionals Based on Selection Functions, Modal Operators and Probabilities

Authors: Tommaso Flaminio (IIIA-CSIC), Lluis Godo (IIIA-CSIC), Gluliano Rosella (Univerity of Turin)

Comments: In Proceedings TARK 2025, arXiv:2511.20540

Journal-ref: EPTCS 437, 2025, pp. 128-139

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Discrete Mathematics (cs.DM)

[40]  arXiv:2511.22374 [pdf, other]

Title: Distributed Knowing How

Authors: Bin Liu (Peking University), Yanjing Wang (Peking University)

Comments: In Proceedings TARK 2025, arXiv:2511.20540

Journal-ref: EPTCS 437, 2025, pp. 80-97

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)

[41]  arXiv:2511.22371 [pdf, other]

Title: Hyperintensional Intention

Authors: Daniil Khaitovich (ILLC, Univesity of Amsterdam), Aybüke Özgün (ILLC, Univesity of Amsterdam)

Comments: In Proceedings TARK 2025, arXiv:2511.20540

Journal-ref: EPTCS 437, 2025, pp. 48-64

Subjects: Logic in Computer Science (cs.LO)

[42]  arXiv:2511.22174 [pdf, ps, other]

Title: Nested Sequents for Intuitionistic Multi-Modal Logics: Cut-Elimination and Lyndon Interpolation

Authors: Tim S. Lyon

Comments: in review

Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)

[43]  arXiv:2511.23445 (cross-list from quant-ph) [pdf, ps, other]

Title: Quantum Polymorphisms and Commutativity Gadgets

Authors: Lorenzo Ciardo, Gideo Joubert, Antoine Mottet

Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO); Combinatorics (math.CO)

[44]  arXiv:2511.23226 (cross-list from math.CO) [pdf, ps, other]

Title: North-East Lattice Paths Avoiding $k$ Collinear Points via Satisfiability

Authors: Aaron Barnoff, Curtis Bright

Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO)

[45]  arXiv:2511.22498 (cross-list from cs.LG) [pdf, ps, other]

Title: Space Explanations of Neural Network Classification

Authors: Faezeh Labbaf, Tomáš Kolárik, Martin Blicha, Grigory Fedyukovich, Michael Wand, Natasha Sharygina

Journal-ref: Computer Aided Verification, Lecture Notes in Computer Science, vol 15933, pp. 287-303, 2025

Subjects: Machine Learning (cs.LG); Logic in Computer Science (cs.LO)

[46]  arXiv:2511.22386 (cross-list from cs.AI) [pdf, ps, other]

Title: Who is Afraid of Minimal Revision?

Authors: Edoardo Baccini (University of Groningen), Zoé Christoff (University of Groningen), Nina Gierasimczuk (Technical University of Denmark), Rineke Verbrugge (University of Groningen)

Comments: In Proceedings TARK 2025, arXiv:2511.20540

Journal-ref: EPTCS 437, 2025, pp. 301-320

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[47]  arXiv:2511.22376 (cross-list from cs.AI) [pdf, other]

Title: On the Complexity of the Grounded Semantics for Infinite Argumentation Frameworks

Authors: Uri Andrews (University of Wisconsin--Madison), Luca San Mauro (University of Bari)

Comments: In Proceedings TARK 2025, arXiv:2511.20540

Journal-ref: EPTCS 437, 2025, pp. 112-127

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[48]  arXiv:2511.22372 (cross-list from cs.GT) [pdf, other]

Title: Common $p$-Belief with Plausibility Measures: Extended Abstract

Authors: Eric Pacuit (University of Maryland), Leo Yang (University of Maryland)

Comments: In Proceedings TARK 2025, arXiv:2511.20540

Journal-ref: EPTCS 437, 2025, pp. 66-79

Subjects: Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO); Multiagent Systems (cs.MA)

• Fri, 5 Dec 2025
• Thu, 4 Dec 2025
• Wed, 3 Dec 2025
• Tue, 2 Dec 2025
• Mon, 1 Dec 2025