We gratefully acknowledge support from
the Simons Foundation and member institutions.

Logic

Authors and titles for math.LO in May 2022, skipping first 50

[ total of 63 entries: 1-25 | 26-50 | 51-63 ]
[ showing 25 entries per page: fewer | more | all ]
[51]  arXiv:2205.12164 (cross-list from math.OC) [pdf, ps, other]
Title: Repeated Games with Tail-Measurable Payoffs
Subjects: Optimization and Control (math.OC); Logic (math.LO)
[52]  arXiv:2205.14343 (cross-list from math.GR) [pdf, ps, other]
Title: Varieties of Lazy Magmas Characterized by Forbidden Substructure Theorems
Subjects: Group Theory (math.GR); Logic (math.LO)
[53]  arXiv:2205.02142 (cross-list from cs.LO) [pdf, ps, other]
Title: Semimodules and the (syntactically-)linear lambda calculus
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT); Logic (math.LO)
[54]  arXiv:2205.02749 (cross-list from cs.LO) [pdf, ps, other]
Title: Automating Reasoning with Standpoint Logic via Nested Sequents
Comments: Accepted to KR 2022: this https URL
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Data Structures and Algorithms (cs.DS); Multiagent Systems (cs.MA); Logic (math.LO)
[55]  arXiv:2205.03659 (cross-list from cs.LO) [pdf, other]
Title: A theorem prover and countermodel constructor for provability logic in HOL Light
Comments: arXiv admin note: substantial text overlap with arXiv:2102.05945
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[56]  arXiv:2205.04111 (cross-list from cs.LO) [pdf, other]
Title: Unitless Frobenius quantales
Authors: Cédric de Lacroix (LIRICA, LIS), Luigi Santocanale (LIRICA, LIS)
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[57]  arXiv:2205.04787 (cross-list from cs.CC) [pdf, other]
Title: Fixed-Template Promise Model Checking Problems
Comments: in Proceedings of the 28th International Conference on Principles and Practice of Constraint Programming, CP 2022
Subjects: Computational Complexity (cs.CC); Logic (math.LO)
[58]  arXiv:2205.05387 (cross-list from cs.LO) [pdf, other]
Title: A game comonadic account of Courcelle and Feferman-Vaught-Mostowski theorems
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT); Logic (math.LO)
[59]  arXiv:2205.07803 (cross-list from cs.CC) [pdf, ps, other]
Title: Average-Case Hardness of Proving Tautologies and Theorems
Authors: Hunter Monroe
Subjects: Computational Complexity (cs.CC); Logic (math.LO)
[60]  arXiv:2205.08920 (cross-list from cs.LO) [pdf, other]
Title: Finite two-dimensional proof systems for non-finitely axiomatizable logics
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[61]  arXiv:2205.09233 (cross-list from cs.LO) [pdf, other]
Title: Rensets and Renaming-Based Recursion for Syntax with Bindings
Authors: Andrei Popescu
Comments: This is an extended technical report associated to an identically titled conference paper that will appear in IJCAR 2022
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[62]  arXiv:2205.12618 (cross-list from cs.DM) [pdf, ps, other]
Title: Semantic Embeddings in Semilattices
Comments: 58 pages
Subjects: Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO); Commutative Algebra (math.AC); Logic (math.LO); Rings and Algebras (math.RA)
[63]  arXiv:2205.14003 (cross-list from cs.LO) [pdf, ps, other]
Title: Choiceless Polynomial Time with Witnessed Symmetric Choice
Comments: 65 pages. Full version of a paper to appear at LICS 22. v2: corrected typos and small mistakes
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[ total of 63 entries: 1-25 | 26-50 | 51-63 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, math, 2209, contact, help  (Access key information)