Logic

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

[51]  arXiv:2205.12164 (cross-list from math.OC) [pdf, ps, other]

Title: Repeated Games with Tail-Measurable Payoffs

Authors: János Flesch, Eilon Solan

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

Authors: João Araújo, Fernando Maia Ferreira, Michael Kinyon

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

Authors: Alejandro Díaz-Caro, Octavio Malherbe

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

Authors: Tim S. Lyon, Lucía Gómez Álvarez

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

Authors: Marco Maggesi, Cosimo Perini Brogi

Comments: arXiv admin note: substantial text overlap with arXiv:2102.05945

Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)