Search Results - Computer Science - Logic in Computer Science

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy

Authors: de Mol, Liesbeth Matiyasevich, Yuri Omodeo, Eugenio et al.

Contributors: de Mol, Liesbeth Matiyasevich, Yuri Omodeo, Eugenio et al.

Source: Philosophia Mathematica. 33:425-450

Subject Terms: computability, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], history of computing, philosophy of computing, [SHS.HISPHILSO] Humanities and Social Sciences/History, Philosophy and Sociology of Sciences, unsolvable problems, automated reasoning, [MATH] Mathematics [math], [INFO] Computer Science [cs], unsolvable problem, Logic in Computer Science (cs.LO)

File Description: application/pdf

Access URL: http://arxiv.org/abs/2506.08588
https://academic.oup.com/philmat/article/33/3/425/8286373
https://hdl.handle.net/11368/3118919

Four imprints of Belnap's useful four-valued logic in computer science

Authors: Tomás Jakl

Source: CoRR.

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

On the Unusual Effectiveness of Logic in Computer Science

Authors: Halpern, Joseph Y. Harper, Robert Immerman, Neil et al.

Source: The Bulletin of Symbolic Logic, 2001 Jun 01. 7(2), 213-236.

Access URL: https://www.jstor.org/stable/2687775

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

The Impact of the Lambda Calculus in Logic and Computer Science

Authors: Barendregt, Henk

Source: The Bulletin of Symbolic Logic, 1997 Jun 01. 3(2), 181-215.

Access URL: https://www.jstor.org/stable/421013

A Framework for Universality in Physics, Computer Science, and Beyond

Authors: Tomás Gonda Tobias Reinhart Sebastian Stengele et al.

Source: Compositionality. 6

Subject Terms: FOS: Computer and information sciences, Computer Science - Computational Complexity, Computer Science - Logic in Computer Science, Formal Languages and Automata Theory (cs.FL), FOS: Physical sciences, Computer Science - Formal Languages and Automata Theory, Mathematical Physics (math-ph), Computational Complexity (cs.CC), Mathematical Physics, Logic in Computer Science (cs.LO)

File Description: application/pdf

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

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

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

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

Enhancing Computer Vision with Knowledge: a Rummikub Case Study

Authors: Vandevelde, Simon Mertens, Laurent Lauwers, Sverre et al.

Source: ESANN 2025 proceesdings. :201-206

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

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

Sequent Calculi for Data-Aware Modal Logics

Authors: Carlos Areces Valentin Cassano Danae Dutto et al.

Source: Electronic Proceedings in Theoretical Computer Science. 430:8-25

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

Access URL: http://arxiv.org/abs/2510.01868
http://arxiv.org/abs/2505.17240

Syntactic Effectful Realizability in Higher-Order Logic

Authors: Cohen, Liron Grunfeld, Ariel Kirst, Dominik et al.

Contributors: Cohen, Liron Grunfeld, Ariel Kirst, Dominik et al.

Source: 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). :16-30

Subject Terms: Realizability, FOS: Computer and information sciences, Monads, Computer Science - Logic in Computer Science, Effects, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Syntactic translation, Higher-order logic, Type system, Logic in Computer Science (cs.LO)

File Description: application/pdf

Access URL: http://arxiv.org/abs/2506.09458
https://hal.science/hal-05106028v1

Proof Compression via Subatomic Logic and Guarded Substitutions

Authors: Barrett, Victoria Guglielmi, Alessio Ralph, Benjamin et al.

Contributors: Barrett, Victoria Guglielmi, Alessio Ralph, Benjamin et al.

Source: 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). :183-195

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], 03F03, F.4.1, Logic in Computer Science (cs.LO)

File Description: application/pdf

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

Convergence Laws for Extensions of First-Order Logic with Averaging

Authors: Benedikt, M Adam-Day, S Laurrari, A

Source: 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). :818-830

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

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

Operator Spaces, Linear Logic and the Heisenberg-Schrödinger Duality of Quantum Theory

Authors: Lindenhovius, Bert Zamdzhiev, Vladimir

Contributors: Lindenhovius, Bert Zamdzhiev, Vladimir

Source: 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). :870-883

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Quantum Physics, FOS: Physical sciences, [MATH] Mathematics [math], [INFO] Computer Science [cs], Quantum Physics (quant-ph), Logic in Computer Science (cs.LO)

Access URL: http://arxiv.org/abs/2505.06069
https://hal.science/hal-05209412v1

Model Enumeration of Two-Variable Logic with Quadratic Delay Complexity

Authors: Qiaolan Meng Juhua Pu Hongting Niu et al.

Source: 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). :301-313

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

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