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-5 | ... | 36-40 | 41-45 | 46-50 | 51-55 | 56-60 | 61-63 ]
[ showing 5 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)
[ total of 63 entries: 1-5 | ... | 36-40 | 41-45 | 46-50 | 51-55 | 56-60 | 61-63 ]
[ showing 5 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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