Monoid Structures on Indexed Containers

Συγγραφείς: De Pascalis, Michele, Uustalu, Tarmo, Veltrì, Niccolò

Πηγή: Electronic Proceedings in Theoretical Computer Science. 430:37-54

Θεματικοί όροι: FOS: Computer and information sciences, Logic in Computer Science, Programming Languages, Logic in Computer Science (cs.LO), Programming Languages (cs.PL)

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2509.25879

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

Συγγραφείς: Bayzid, Luke, Madeira, Alexandre, Martins, Manuel A.

Πηγή: Electronic Proceedings in Theoretical Computer Science. 430:1-7

Θεματικοί όροι: FOS: Computer and information sciences, Logic in Computer Science, Logic in Computer Science (cs.LO)

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2509.25880

Characterization of Lattice Properties Within Modal Extensions

Συγγραφείς: Freire, Alfredo R., Martins, Manuel A.

Πηγή: Electronic Proceedings in Theoretical Computer Science. 430:26-36

Θεματικοί όροι: FOS: Computer and information sciences, Logic in Computer Science, F.4.1, Logic in Computer Science (cs.LO)

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2509.25882

Nominal Sets in Rocq

Συγγραφείς: Paranhos, Fabrício Sanches, Ventura, Daniel

Πηγή: Electronic Proceedings in Theoretical Computer Science. 430:55-68

Θεματικοί όροι: FOS: Computer and information sciences, Logic in Computer Science, F.3, F.4, Logic in Computer Science (cs.LO)

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2509.25883

Revisiting Assumptions Ordering in CAR-Based Model Checking

Συγγραφείς: Yibo Dong, Yu Chen, Jianwen Li, Geguang Pu, Ofer Strichman

Πηγή: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 44:4032-4037

Θεματικοί όροι: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Logic in Computer Science (cs.LO)

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2411.00026

Quantum Polymorphisms and Commutativity Gadgets

Συγγραφείς: Ciardo, Lorenzo, Joubert, Gideo, Mottet, Antoine

Θεματικοί όροι: Quantum Physics, Computational Complexity, Logic in Computer Science, Combinatorics, 81P45, 05C15

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2511.23445

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

Συγγραφείς: Barnoff, Aaron, Bright, Curtis

Θεματικοί όροι: Combinatorics, Discrete Mathematics, Logic in Computer Science

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2511.23226

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

Συγγραφείς: Erascu, Madalina

Θεματικοί όροι: Logic in Computer Science

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2511.23109

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

Συγγραφείς: Kurpiewski, Damian, Michalczyk, Jędrzej, Jamroga, Wojciech, Michalski, Jerzy Julian, Sidoruk, Teofil

Θεματικοί όροι: Logic in Computer Science, Multiagent Systems

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2511.22572

A programming language combining quantum and classical control

Συγγραφείς: Dave, Kinnari, Lemonnier, Louis, Péchoux, Romain, Zamdzhiev, Vladimir

Θεματικοί όροι: Logic in Computer Science, Programming Languages, Quantum Physics

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2511.22537

Revisiting Interpolation in Relevant Logics

Συγγραφείς: Fussner, Wesley, Tedder, Andrew

Θεματικοί όροι: Logic, Logic in Computer Science, 03A05 (Primary), 03B47, 03C40 (Secondary)

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2511.22495

Space Explanations of Neural Network Classification

Συγγραφείς: Labbaf, Faezeh, Kolárik, Tomáš, Blicha, Martin, Fedyukovich, Grigory, Wand, Michael, Sharygina, Natasha

Πηγή: Computer Aided Verification, Lecture Notes in Computer Science, vol 15933, pp. 287-303, 2025

Θεματικοί όροι: Machine Learning, Logic in Computer Science

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2511.22498

Muddy Waters

Συγγραφείς: van Ditmarsch, Hans

Πηγή: EPTCS 437, 2025, pp. 433-447

Θεματικοί όροι: Logic in Computer Science

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2511.22392

Logic of (Common or Distributed) Knowledge

Συγγραφείς: Shi, Chenwei

Πηγή: EPTCS 437, 2025, pp. 286-300

Θεματικοί όροι: Logic in Computer Science

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2511.22385

Are Large Random Graphs Always Safe to Hide?

Συγγραφείς: Chakraborty, Sourav, Ghosh, Sujata, Samanta, Smiha

Πηγή: EPTCS 437, 2025, pp. 321-333

Θεματικοί όροι: Logic in Computer Science, Computer Science and Game Theory

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2511.22387

Comparing State-Representations for DEL Model Checking

Συγγραφείς: Behnke, Gregor, Gattinger, Malvin, Ghosh, Avijeet, Wang, Haitian

Πηγή: EPTCS 437, 2025, pp. 233-250

Θεματικοί όροι: Logic in Computer Science, Multiagent Systems, F.4.1; I.2.4; I.2.11

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2511.22382

Impure Simplicial Complex and Term-Modal Logic with Assignment Operators

Συγγραφείς: Yang, Yuanzhe

Πηγή: EPTCS 437, 2025, pp. 399-416

Θεματικοί όροι: Logic in Computer Science, Multiagent Systems

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2511.22391

Modal Logic for Simulation, Refinement, and Mutual Ignorance

Συγγραφείς: van Ditmarsch, Hans, French, Tim, Galimullin, Rustam, Kuijer, Louwe B.

Πηγή: EPTCS 437, 2025, pp. 379-398

Θεματικοί όροι: Logic in Computer Science

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2511.22390

Complexity of Łukasiewicz Modal Probabilistic Logics

Συγγραφείς: Kozhemiachenko, Daniil, Sedlár, Igor

Πηγή: EPTCS 437, 2025, pp. 350-364

Θεματικοί όροι: Logic in Computer Science, F.4.1

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2511.22389

Who is Afraid of Minimal Revision?

Συγγραφείς: Baccini, Edoardo, Christoff, Zoé, Gierasimczuk, Nina, Verbrugge, Rineke

Πηγή: EPTCS 437, 2025, pp. 301-320

Θεματικοί όροι: Artificial Intelligence, Logic in Computer Science

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2511.22386