Monoid Structures on Indexed Containers

Authors: De Pascalis, Michele, Uustalu, Tarmo, Veltrì, Niccolò

Source: Electronic Proceedings in Theoretical Computer Science. 430:37-54

Subject Terms: FOS: Computer and information sciences, Logic in Computer Science, Programming Languages, Logic in Computer Science (cs.LO), Programming Languages (cs.PL)

Access URL: http://arxiv.org/abs/2509.25879

A Function-Set Framework: General Properties and Applications to Modal Logic

Authors: Bayzid, Luke, Madeira, Alexandre, Martins, Manuel A.

Source: Electronic Proceedings in Theoretical Computer Science. 430:1-7

Subject Terms: FOS: Computer and information sciences, Logic in Computer Science, Logic in Computer Science (cs.LO)

Access URL: http://arxiv.org/abs/2509.25880

Characterization of Lattice Properties Within Modal Extensions

Authors: Freire, Alfredo R., Martins, Manuel A.

Source: Electronic Proceedings in Theoretical Computer Science. 430:26-36

Subject Terms: FOS: Computer and information sciences, Logic in Computer Science, F.4.1, Logic in Computer Science (cs.LO)

Access URL: http://arxiv.org/abs/2509.25882

Nominal Sets in Rocq

Authors: Paranhos, Fabrício Sanches, Ventura, Daniel

Source: Electronic Proceedings in Theoretical Computer Science. 430:55-68

Subject Terms: FOS: Computer and information sciences, Logic in Computer Science, F.3, F.4, Logic in Computer Science (cs.LO)

Access URL: http://arxiv.org/abs/2509.25883

Revisiting Assumptions Ordering in CAR-Based Model Checking

Authors: Yibo Dong, Yu Chen, Jianwen Li, Geguang Pu, Ofer Strichman

Source: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 44:4032-4037

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Logic in Computer Science (cs.LO)

Access URL: http://arxiv.org/abs/2411.00026

Quantum Polymorphisms and Commutativity Gadgets

Authors: Ciardo, Lorenzo, Joubert, Gideo, Mottet, Antoine

Subject Terms: Quantum Physics, Computational Complexity, Logic in Computer Science, Combinatorics, 81P45, 05C15

Access URL: http://arxiv.org/abs/2511.23445

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

Authors: Barnoff, Aaron, Bright, Curtis

Subject Terms: Combinatorics, Discrete Mathematics, Logic in Computer Science

Access URL: http://arxiv.org/abs/2511.23226

Neuro-Symbolic Constrained Optimization for Cloud Application Deployment via Graph Neural Networks and Satisfiability Modulo Theory

Authors: Erascu, Madalina

Subject Terms: Logic in Computer Science

Access URL: http://arxiv.org/abs/2511.23109

Formal Verification of Probabilistic Multi-Agent Systems for Ballistic Rocket Flight Using Probabilistic Alternating-Time Temporal Logic

Authors: Kurpiewski, Damian, Michalczyk, Jędrzej, Jamroga, Wojciech, Michalski, Jerzy Julian, Sidoruk, Teofil

Subject Terms: Logic in Computer Science, Multiagent Systems

Access URL: http://arxiv.org/abs/2511.22572

A programming language combining quantum and classical control

Authors: Dave, Kinnari, Lemonnier, Louis, Péchoux, Romain, Zamdzhiev, Vladimir

Subject Terms: Logic in Computer Science, Programming Languages, Quantum Physics

Access URL: http://arxiv.org/abs/2511.22537

Revisiting Interpolation in Relevant Logics

Authors: Fussner, Wesley, Tedder, Andrew

Subject Terms: Logic, Logic in Computer Science, 03A05 (Primary), 03B47, 03C40 (Secondary)

Access URL: http://arxiv.org/abs/2511.22495

Space Explanations of Neural Network Classification

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

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

Subject Terms: Machine Learning, Logic in Computer Science

Access URL: http://arxiv.org/abs/2511.22498

Muddy Waters

Authors: van Ditmarsch, Hans

Source: EPTCS 437, 2025, pp. 433-447

Subject Terms: Logic in Computer Science

Access URL: http://arxiv.org/abs/2511.22392

Logic of (Common or Distributed) Knowledge

Authors: Shi, Chenwei

Source: EPTCS 437, 2025, pp. 286-300

Subject Terms: Logic in Computer Science

Access URL: http://arxiv.org/abs/2511.22385

Are Large Random Graphs Always Safe to Hide?

Authors: Chakraborty, Sourav, Ghosh, Sujata, Samanta, Smiha

Source: EPTCS 437, 2025, pp. 321-333

Subject Terms: Logic in Computer Science, Computer Science and Game Theory

Access URL: http://arxiv.org/abs/2511.22387

Comparing State-Representations for DEL Model Checking

Authors: Behnke, Gregor, Gattinger, Malvin, Ghosh, Avijeet, Wang, Haitian

Source: EPTCS 437, 2025, pp. 233-250

Subject Terms: Logic in Computer Science, Multiagent Systems, F.4.1; I.2.4; I.2.11

Access URL: http://arxiv.org/abs/2511.22382

Impure Simplicial Complex and Term-Modal Logic with Assignment Operators

Authors: Yang, Yuanzhe

Source: EPTCS 437, 2025, pp. 399-416

Subject Terms: Logic in Computer Science, Multiagent Systems

Access URL: http://arxiv.org/abs/2511.22391

Modal Logic for Simulation, Refinement, and Mutual Ignorance

Authors: van Ditmarsch, Hans, French, Tim, Galimullin, Rustam, Kuijer, Louwe B.

Source: EPTCS 437, 2025, pp. 379-398

Subject Terms: Logic in Computer Science

Access URL: http://arxiv.org/abs/2511.22390

Complexity of Łukasiewicz Modal Probabilistic Logics

Authors: Kozhemiachenko, Daniil, Sedlár, Igor

Source: EPTCS 437, 2025, pp. 350-364

Subject Terms: Logic in Computer Science, F.4.1

Access URL: http://arxiv.org/abs/2511.22389

Who is Afraid of Minimal Revision?

Authors: Baccini, Edoardo, Christoff, Zoé, Gierasimczuk, Nina, Verbrugge, Rineke

Source: EPTCS 437, 2025, pp. 301-320

Subject Terms: Artificial Intelligence, Logic in Computer Science

Access URL: http://arxiv.org/abs/2511.22386