Skip to main content
Cornell University
We gratefully acknowledge support from the Simons Foundation, member institutions, and all contributors. Donate
arxiv logo > cs.LO

Help | Advanced Search

arXiv logo
Cornell University Logo

quick links

  • Login
  • Help Pages
  • About

Logic in Computer Science

Authors and titles for December 2021

Total of 110 entries : 1-25 26-50 51-75 76-100 ... 101-110
Showing up to 25 entries per page: fewer | more | all
[1] arXiv:2112.01108 [pdf, other]
Title: A short note on the counting complexity of conjunctive queries
Stefan Mengel
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Databases (cs.DB)
[2] arXiv:2112.02556 [pdf, other]
Title: Windmills of the minds: an algorithm for Fermat's Two Squares Theorem
Hing Lun Chan
Comments: 14 pages, 6 tables, 10 figures. In Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2022), January 17-18, 2022, Philadelphia, PA, USA
Journal-ref: CPP 2022: Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, January 2022, pages 251-264
Subjects: Logic in Computer Science (cs.LO); Number Theory (math.NT)
[3] arXiv:2112.02696 [pdf, other]
Title: Some remarks on semantics and expressiveness of the Sentential Calculus with Identity
Steffen Lewitzka
Comments: 31 pages
Journal-ref: Journal of Logic, Language and Information. 2023
Subjects: Logic in Computer Science (cs.LO)
[4] arXiv:2112.02804 [pdf, other]
Title: Approximate Translation from Floating-Point to Real-Interval Arithmetic
Daisuke Ishii, Takashi Tomita, Toshiaki Aoki
Comments: 21 pages, 9 figures, 4 tables
Subjects: Logic in Computer Science (cs.LO)
[5] arXiv:2112.02863 [pdf, other]
Title: Eager Functions as Processes
Adrien Durier (LIP, PLUME), Daniel Hirschkoff (LIP, PLUME), Davide Sangiorgi (UNIBO, FOCUS)
Comments: the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jul 2018, Oxford, United Kingdom
Subjects: Logic in Computer Science (cs.LO)
[6] arXiv:2112.03877 [pdf, other]
Title: Is Complexity Important for Philosophy of Mind?
Kristina Šekrst, Sandro Skansi
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[7] arXiv:2112.04570 [pdf, other]
Title: Formalising Lie algebras
Oliver Nash
Comments: 12 pages, 1 figure, to appear in CPP 2022
Subjects: Logic in Computer Science (cs.LO); Representation Theory (math.RT)
[8] arXiv:2112.04797 [pdf, other]
Title: Complexity assessments for decidable fragments of Set Theory. IV: A quadratic reduction of constraints over nested sets to Boolean formulae
Domenico Cantone, Andrea De Domenico, Pietro Maugeri, Eugenio G. Omodeo
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[9] arXiv:2112.05515 [pdf, other]
Title: Semantic Cut Elimination for the Logic of Bunched Implications, Formalized in Coq
Dan Frumin
Comments: 15 pages, to appear in CPP 2022
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[10] arXiv:2112.05715 [pdf, other]
Title: Formalizing Higher-Order Termination in Coq
Deivid Vale, Niels van der Weide
Subjects: Logic in Computer Science (cs.LO)
[11] arXiv:2112.05996 [pdf, other]
Title: Formalising the Foundations of Discrete Reinforcement Learning in Isabelle/HOL
Mark Chevallier, Jacques Fleuriot
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Optimization and Control (math.OC)
[12] arXiv:2112.06339 [pdf, other]
Title: Interpreting Lambda Calculus in Domain-Valued Random Variables
Robert Furber, Radu Mardare, Prakash Panangaden, Dana Scott
Comments: 31 pages, no figures
Subjects: Logic in Computer Science (cs.LO)
[13] arXiv:2112.06609 [pdf, other]
Title: On Homotopy of Walks and Spherical Maps in Homotopy Type Theory
Jonathan Prieto-Cubides
Comments: 14 pages. Part of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs CPP'22. Fixed some urls in the references and typos
Subjects: Logic in Computer Science (cs.LO); Combinatorics (math.CO)
[14] arXiv:2112.06633 [pdf, other]
Title: On Planarity of Graphs in Homotopy Type Theory
Jonathan Prieto-Cubides, Håkon Robbestad Gylterud
Comments: 28 pages
Journal-ref: Math. Struct. Comp. Sci. 34 (2024) 281-321
Subjects: Logic in Computer Science (cs.LO); Combinatorics (math.CO)
[15] arXiv:2112.06762 [pdf, other]
Title: Rational Pavelka logic: the best among three worlds?
Zuzana Haniková
Comments: submitted manuscript, 21 pages
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[16] arXiv:2112.07292 [pdf, other]
Title: Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library
Paulo Emílio de Vilhena, François Pottier
Journal-ref: Logical Methods in Computer Science, Volume 19, Issue 4 (October 23, 2023) lmcs:8851
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[17] arXiv:2112.07376 [pdf, other]
Title: Answering Queries with Negation over Existential Rules
Stefan Ellmauthaler, Markus Krötzsch, Stephan Mennicke
Comments: Technical report of our AAAI 2022 paper
Subjects: Logic in Computer Science (cs.LO); Databases (cs.DB)
[18] arXiv:2112.07377 [pdf, other]
Title: A note on calculi for non-deterministic many-valued logics
Michael Kaminski
Journal-ref: Fundamenta Informaticae, Volume 186, Issues 1-4: Trakhtenbrot's centenary (January 2, 2023) fi:8847
Subjects: Logic in Computer Science (cs.LO)
[19] arXiv:2112.08136 [pdf, other]
Title: Characterizing the Program Expressive Power of Existential Rule Languages
Heng Zhang
Comments: The full version of a paper to be published in AAAI-22
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Databases (cs.DB)
[20] arXiv:2112.08765 [pdf, other]
Title: On Up-to Context Techniques in the $π$-calculus
Enguerrand Prebet (ENS Lyon, FOCUS)
Subjects: Logic in Computer Science (cs.LO)
[21] arXiv:2112.08826 [pdf, other]
Title: A case study on parametric verification of failure detectors
Thanh-Hai Tran, Igor Konnov, Josef Widder
Journal-ref: Logical Methods in Computer Science, Volume 19, Issue 1 (March 6, 2023) lmcs:8860
Subjects: Logic in Computer Science (cs.LO)
[22] arXiv:2112.08884 [pdf, other]
Title: Skeleton Abstraction for Universal Temporal Properties
Sophie Wallner, Karsten Wolf
Journal-ref: Fundamenta Informaticae, Volume 187, Issues 2-4: Petri Nets 2021 (October 21, 2022) fi:8862
Subjects: Logic in Computer Science (cs.LO)
[23] arXiv:2112.09274 [pdf, other]
Title: About a Proof Pearl: A Purported Solution to a POPLMARK Challenge Problem that is Not One
Gopalan Nadathur
Subjects: Logic in Computer Science (cs.LO)
[24] arXiv:2112.09542 [pdf, other]
Title: A Formal Model for Polarization under Confirmation Bias in Social Networks
Mário S. Alvim, Bernardo Amorim, Sophia Knight, Santiago Quintero, Frank Valencia
Comments: arXiv admin note: substantial text overlap with arXiv:2104.11538
Journal-ref: Logical Methods in Computer Science, Volume 19, Issue 1 (March 7, 2023) lmcs:8874
Subjects: Logic in Computer Science (cs.LO); Social and Information Networks (cs.SI)
[25] arXiv:2112.09811 [pdf, other]
Title: Playing Against Fair Adversaries in Stochastic Games with Total Rewards
Pablo F. Castro, Pedro R. D'Argenio, Luciano Putruele, Ramiro Demasi
Subjects: Logic in Computer Science (cs.LO)
Total of 110 entries : 1-25 26-50 51-75 76-100 ... 101-110
Showing up to 25 entries per page: fewer | more | all
  • About
  • Help
  • contact arXivClick here to contact arXiv Contact
  • subscribe to arXiv mailingsClick here to subscribe Subscribe
  • Copyright
  • Privacy Policy
  • Web Accessibility Assistance
  • arXiv Operational Status
    Get status notifications via email or slack