Search Results - "Computer Science - Logic in Computer Science"

Counting of Teams in First-Order Team Logics

Authors: Anselm Haak Juha Kontinen Fabian Müller et al.

Contributors: Anselm Haak Juha Kontinen Fabian Müller et al.

Source: ACM Transactions on Computational Logic. 27:1-22

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, cs.CC, team-based logics, 0102 computer and information sciences, Computational Complexity (cs.CC), 01 natural sciences, cs.LO, Logic in Computer Science (cs.LO), descriptive complexity, Computer Science - Computational Complexity, finite model theory, counting classes, ddc:004, 0101 mathematics, Mathematics

File Description: application/pdf

Access URL: http://arxiv.org/abs/1902.00246
https://research-portal.uu.nl/en/publications/b5fa3dae-4a00-4303-8b12-c1b699a046e2
https://doi.org/10.1145/3771721
http://hdl.handle.net/10138/307137
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.19

Centralized vs. Decentralized Monitors for Hyperproperties

Authors: Luca Aceto Antonis Achilleos Elli Anastasiadi et al.

Contributors: Luca Aceto Antonis Achilleos Elli Anastasiadi et al.

Source: Aceto, L, Achilleos, A, Anastasiadi, E, Francalanza, A, Gorla, D & Wagemaker, J 2026, 'Centralized vs. Decentralized Monitors for Hyperproperties', ACM Transactions on Computational Logic, vol. 27, no. 1, 2, pp. 1-57. https://doi.org/10.1145/3767738

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, decentralization, hyperlogics, Runtime Verification, ddc:004, F.3.1, 16. Peace & justice, Runtime Verification, Hyperlogics, Decentralization, Logic in Computer Science (cs.LO)

File Description: application/pdf

Access URL: http://arxiv.org/abs/2405.12882
https://vbn.aau.dk/ws/files/807383693/3767738.pdf
https://doi.org/10.1145/3767738
https://vbn.aau.dk/da/publications/1f7ef090-e1bb-4b4b-8c6c-1d7124e7815a
https://www.scopus.com/pages/publications/105021969593
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2024.4
https://hdl.handle.net/11573/1713420
https://doi.org/10.4230/LIPIcs.CONCUR.2024.34

Swap Kripke Models for Deontic LFIs

Authors: Mahan Vaz Marcelo E. Coniglio

Source: Logic and Logical Philosophy. :1-40

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, FOS: Mathematics, Mathematics - Logic, Logic (math.LO), 03B53, 03B45, 03B62, Logic in Computer Science (cs.LO)

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

Extracting Formulae in Many-Valued Logic From Deep Neural Networks

Authors: Yani Zhang Helmut Bölcskei

Source: IEEE Transactions on Signal Processing. 74:1-12

Subject Terms: FOS: Computer and information sciences, Computer Science - Machine Learning, Computer Science - Logic in Computer Science, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, 0102 computer and information sciences, 0101 mathematics, 01 natural sciences, Machine Learning (cs.LG), Logic in Computer Science (cs.LO)

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

The subTuring degrees

Authors: Takayuki Kihara Keng Meng Ng

Source: Canadian Journal of Mathematics. :1-26

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

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

On Multi-Step Fuzzy Inference in Gödel Logic

Authors: Dusan Guller

Source: 2025 11th International Conference on Systems and Informatics (ICSAI). :1-13

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/2312.00320

Formal Modeling and Analysis of Slot Machines

Authors: Jan Friso Groote Sander van Heesch Matthias Volk

Source: IEEE Transactions on Games. 17:1070-1083

Subject Terms: FOS: Computer and information sciences, Model checking, Computer Science - Logic in Computer Science, Slot machines, Markov chain, Mu-calculus, Logic in Computer Science (cs.LO)

Access URL: http://arxiv.org/abs/2407.06809
https://research.tue.nl/en/publications/cb641997-89b2-4be4-a566-37627204f70d
https://doi.org/10.1109/TG.2025.3594957

Logical Relations for Formally Verified Authenticated Data Structures

Authors: Simon Oddershede Gregersen Chaitanya Agarwal Joseph Tassarotti

Source: Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security. :1394-1408

Subject Terms: Computer Science - Logic in Computer Science, Computer Science - Programming Languages

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

Codd's Theorem for Databases over Semirings

Authors: Guillermo Badia Phokion G. Kolaitis Carles Noguera

Source: Proceedings of the ACM on Management of Data. 3:1-26

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Relational algebra, relational calculus, annotated databases, semirings, Logic in Computer Science (cs.LO)

File Description: application/pdf

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

FIRST-ORDER MODAL LOGIC VIA LOGICAL CATEGORIES

Authors: SILVIO GHILARDI JÉRÉMIE MARQUÈS

Source: The Journal of Symbolic Logic. :1-40

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, 03B45, 03G30, 03B70, FOS: Mathematics, Mathematics - Logic, Logic (math.LO), Logic in Computer Science (cs.LO)

File Description: application/pdf

Access URL: http://arxiv.org/abs/2504.02985
https://hdl.handle.net/2434/1193295
https://doi.org/10.1017/jsl.2025.10161

Towards Logically Sound Natural Language Reasoning with Logic-Enhanced Language Model Agents

Authors: Mensfelt, Agnieszka Stathis, Kostas Trencsenyi, Vince

Source: 2025 IEEE 37th International Conference on Tools with Artificial Intelligence (ICTAI). :838-842

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Computation and Language, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, Computer Science - Computer Science and Game Theory, Computation and Language (cs.CL), Computer Science and Game Theory (cs.GT), Logic in Computer Science (cs.LO)

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

Model Checking Linear Temporal Logic with Standpoint Modalities

Authors: Aghamov, R. Baier, C. Karimov, T. et al.

Source: Proceedings of the TwentySecond International Conference on Principles of Knowledge Representation and Reasoning. :2-11

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

File Description: application/pdf

Access URL: http://arxiv.org/abs/2502.20193
http://hdl.handle.net/21.11116/0000-0011-015B-6
http://hdl.handle.net/21.11116/0000-0011-015D-4

On the Complexity and Properties of Preferential Propositional Dependence Logic

Authors: Kai Sauerwald Arne Meier Juha Kontinen

Source: Proceedings of the TwentySecond International Conference on Principles of Knowledge Representation and Reasoning. :523-533

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, I.2.3, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, F.4.1, 03B70, 03B62, Logic in Computer Science (cs.LO)

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

A Logic-Based Framework for Database Repairs

Authors: Fröhlich, Nicolas Meier, Arne Pardal, Nina et al.

Source: Proceedings of the TwentySecond International Conference on Principles of Knowledge Representation and Reasoning. :326-335

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Databases, 68P15, 68T27, Databases (cs.DB), Logic in Computer Science (cs.LO)

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

Halting Recurrent GNNs and the Graded mu-Calculus

Authors: BOLLEN, Jeroen VAN DEN BUSSCHE, Jan VANSUMMEREN, Stijn et al.

Contributors: BOLLEN, Jeroen VAN DEN BUSSCHE, Jan VANSUMMEREN, Stijn et al.

Source: Proceedings of the TwentySecond International Conference on Principles of Knowledge Representation and Reasoning. :175-184

Subject Terms: Machine Learning, FOS: Computer and information sciences, Computer Science - Learning, Computer Science - Logic in Computer Science, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, Artificial Intelligence, Logic in Computer Science, Machine Learning (cs.LG), Logic in Computer Science (cs.LO)

File Description: application/pdf

Access URL: http://arxiv.org/abs/2505.11050
http://hdl.handle.net/1942/46102
http://arxiv.org/abs/2505.11050v1

Set descriptive complexity of solvable functions

Authors: Olivier Bournez Riccardo Gozzi

Source: Computability. 14:178-197

Subject Terms: FOS: Computer and information sciences, Computer Science - Computational Complexity, Computer Science - Logic in Computer Science, FOS: Mathematics, Dynamical Systems (math.DS), Mathematics - Dynamical Systems, Computational Complexity (cs.CC), Logic in Computer Science (cs.LO)

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

AGM Belief Revision, Semantically

Authors: Faiq Miftakhul Falakh Sebastian Rudolph Kai Sauerwald

Source: ACM Transactions on Computational Logic. 26:1-54

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Logic in Computer Science (cs.LO)

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

Functorial Semantics for Relational Theories

Authors: Filippo Bonchi Dusko Pavlovic Pawel Sobocinski 0001

Source: Polynesian Journal of Mathematics. 2:1-56

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, 0202 electrical engineering, electronic engineering, information engineering, FOS: Mathematics, Mathematics - Category Theory, Category Theory (math.CT), 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Logic in Computer Science (cs.LO), Programming Languages (cs.PL)

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

Fully evaluated left-sequential logics

Authors: Alban Ponse Daan J. C. Staudt

Source: Journal of Applied Non-Classical Logics. :1-53

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, 03C90, F.3.2, F.3.1, 16. Peace & justice, Logic in Computer Science (cs.LO)

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

Coinductive Proofs of Regular Expression Equivalence in Zero Knowledge

Authors: John C. Kolesar Shan Ali Timos Antonopoulos et al.

Source: Proceedings of the ACM on Programming Languages. 9:357-385

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

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