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

Συγγραφείς: de Mol, Liesbeth, Matiyasevich, Yuri, Omodeo, Eugenio, Policriti, Alberto, Sieg, Wilfried, Weyuker, Elaine

Συνεισφορές: De Mol, Liesbeth, Matiyasevich, Yuri V, Omodeo, Eugenio, Policriti, Alberto, Sieg, Wilfried, Weyuker, Elaine J

Πηγή: Philosophia Mathematica. 33:425-450

Θεματικοί όροι: 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)

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Tomáš Jakl

Πηγή: Studia Logica.

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

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

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

Συγγραφείς: Jakl, Tomáš

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

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

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

Συγγραφείς: Gonda, Tomáš, Reinhart, Tobias, Stengele, Sebastian, Coves, Gemma De les

Πηγή: Compositionality, Volume 6 (2024) (August 29, 2024) compositionality:14134

Θεματικοί όροι: Computer Science - Computational Complexity, Computer Science - Formal Languages and Automata Theory, Computer Science - Logic in Computer Science, Mathematical Physics

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

On the Unusual Effectiveness of Logic in Computer Science

Συγγραφείς: Halpern, Joseph Y., Harper, Robert, Immerman, Neil, Kolaitis, Phokion G., Vardi, Moshe Y., Vianu, Victor

Πηγή: The Bulletin of Symbolic Logic, 2001 Jun 01. 7(2), 213-236.

Σύνδεσμος πρόσβασης: https://www.jstor.org/stable/2687775

Mathematical Logic in Computer Science

Συγγραφείς: Kfoury, Assaf

Θεματικοί όροι: Computer Science - Logic in Computer Science, 03B70, 68Q99, F.4.1, F.4.m, K.2

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

Quantum Field Theory and Coalgebraic Logic in Theoretical Computer Science

Συγγραφείς: Basti, Gianfranco, Capolupo, Antonio, Vitiello, Giuseppe

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

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

The Impact of the Lambda Calculus in Logic and Computer Science

Συγγραφείς: Barendregt, Henk

Πηγή: The Bulletin of Symbolic Logic, 1997 Jun 01. 3(2), 181-215.

Σύνδεσμος πρόσβασης: https://www.jstor.org/stable/421013

Teaching Logic for Computer Science: Are We Teaching the Wrong Narrative?

Συγγραφείς: Makowsky, Johann

Θεματικοί όροι: Computer Science - Computers and Society, Computer Science - Logic in Computer Science, K.3.2

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

LOCALLY TABULAR PRODUCTS OF MODAL LOGICS

Συγγραφείς: ILYA SHAPIROVSKY, VLADISLAV SLIUSAREV

Πηγή: The Journal of Symbolic Logic. :1-27

Θεματικοί όροι: FOS: Computer and information sciences, 03B45, 03B62, 06E25, Computer Science - Logic in Computer Science, FOS: Mathematics, F.4.1, Mathematics - Logic, Logic (math.LO), Logic in Computer Science (cs.LO)

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

Syntactic Effectful Realizability in Higher-Order Logic

Συγγραφείς: Cohen, Liron, Grunfeld, Ariel, Kirst, Dominik, Miquey, Étienne

Πηγή: Logic in Computer Science (LICS), Jun 2025, Singapour, Singapore

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

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

Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling

Συγγραφείς: Huang, Ruanqianqian, Monroe, Ayana, de Halleux, Peli, Lerner, Sorin, Bjørner, Nikolaj

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

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

Counting of Teams in First-Order Team Logics

Συγγραφείς: Anselm Haak, Juha Kontinen, Fabian Müller, Heribert Vollmer, Fan Yang

Συνεισφορές: Rossmanith, Peter, Heggernes, Pinar, Katoen, Joost-Pieter, Department of Mathematics and Statistics, Anselm Haak and Juha Kontinen and Fabian Müller and Heribert Vollmer and Fan Yang

Πηγή: ACM Transactions on Computational Logic. 27:1-22

Θεματικοί όροι: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, cs.CC, team-based logics, Team-based logics, 0102 computer and information sciences, Computational Complexity (cs.CC), 01 natural sciences, cs.LO, Descriptive complexity, Logic in Computer Science (cs.LO), descriptive complexity, Computer Science - Computational Complexity, finite model theory, counting classes, Counting classes, 0101 mathematics, Mathematics

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: 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
http://hdl.handle.net/10138/625788
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2019.19

Computer Science and Metaphysics: A Cross-Fertilization

Συγγραφείς: Kirchner, Daniel, Benzmüller, Christoph, Zalta, Edward N.

Πηγή: Open Philosophy, 2019

Θεματικοί όροι: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence, Computer Science - Computation and Language, Mathematics - Logic, 03Axx, 03B15, 03B45, 03B60, 03B80, 68T15, 68T27, 68T30, F.4.0, F.4.1, I.2.3, I.2.4, J.5, I.1.3

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

Enhancing Computer Vision with Knowledge: a Rummikub Case Study

Συγγραφείς: Vandevelde, Simon, Mertens, Laurent, Lauwers, Sverre, Vennekens, Joost

Θεματικοί όροι: Computer Science - Computer Vision and Pattern Recognition, Computer Science - Logic in Computer Science

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

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

Συγγραφείς: Tomás Gonda, Tobias Reinhart, Sebastian Stengele, Gemma De les Coves

Πηγή: Compositionality. 6

Θεματικοί όροι: 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)

Περιγραφή αρχείου: application/pdf

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

Abstraction Logic: A New Foundation for (Computer) Mathematics

Συγγραφείς: Obua, Steven

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

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

On the cut-elimination of the modal $\mu$-calculus: Linear Logic to the rescue

Συγγραφείς: Bauer, Esaïe, Saurin, Alexis

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

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

Fuzzy Lattice-based Description Logic

Συγγραφείς: Ding, Yiwen, Manoorkar, Krishna

Πηγή: EPTCS 421, 2025, pp. 44-63

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

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

A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property

Συγγραφείς: Joshi, Varad, Padmanabha, Anantha

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

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