Logic in Computer Science

Authors and titles for recent submissions, skipping first 5

[ total of 42 entries: 1-5 | 6-10 | 11-15 | 16-20 | 21-25 | ... | 41-42 ]
[ showing 5 entries per page: fewer | more | all ]

[6] arXiv:2405.19354 (cross-list from math.GM) [pdf, ps, other]: Title: Rotations of Gödel algebras with modal operators

Authors: Tommaso Flaminio, Lluis Godo, Paula Menchón, Ricardo O. Rodriguez

Subjects: General Mathematics (math.GM); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[7] arXiv:2405.19270 [pdf, other]: Title: Formalising the Local Compactness of the Adele Ring

Authors: Salvatore Mercuri

Subjects: Logic in Computer Science (cs.LO); Number Theory (math.NT)
[8] arXiv:2405.19157 [pdf, ps, other]: Title: Which are the True Defeasible Logics?

Authors: Michael J. Maher

Subjects: Logic in Computer Science (cs.LO)
[9] arXiv:2405.19096 [pdf, other]: Title: The Precise Complexity of Reasoning in $\mathcal{ALC}$ with $ω$-Admissible Concrete Domains (Extended Version)

Authors: Stefan Borgwardt, Filippo De Bortoli, Patrick Koopmann

Comments: This is the extended version of a paper presented at DL 2024: 37th International Workshop on Description Logics

Subjects: Logic in Computer Science (cs.LO)
[10] arXiv:2405.19095 [pdf, ps, other]: Title: Groupoidal Realizability for Intensional Type Theory

Authors: Sam Speight

Comments: 43 pages, accepted for publication in Mathematical Structures in Computer Science special issue Advances in Homotopy Type Theory

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

[ total of 42 entries: 1-5 | 6-10 | 11-15 | 16-20 | 21-25 | ... | 41-42 ]
[ showing 5 entries per page: fewer | more | all ]