Logic

Authors and titles for recent submissions

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

[1] arXiv:2405.09401 [pdf, ps, other]: Title: Failure of the Blok-Esakia Theorem in the monadic setting

Authors: Guram Bezhanishvili, Luca Carai

Comments: 23 pages

Subjects: Logic (math.LO)
[2] arXiv:2405.09275 [pdf, ps, other]: Title: Feferman's completeness theorem

Authors: Fedor Pakhomov, Michael Rathjen, Dino Rossegger

Subjects: Logic (math.LO)
[3] arXiv:2405.09162 [pdf, ps, other]: Title: Completeness and Termination of Tableau Calculus for Undirected Graphs

Authors: Yuki Nishimura, Tsubasa Takagi

Comments: 12 pages, 3 figures, the conference 'AWPL 2024' proceeding

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[4] arXiv:2405.09396 (cross-list from cs.FL) [pdf, ps, other]: Title: $O_2$ is a multiple context-free grammar: an implementation-, formalisation-friendly proof

Authors: Marco B. Caminati

Comments: dlt 2024

Subjects: Formal Languages and Automata Theory (cs.FL); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Logic (math.LO)

[5] arXiv:2405.08639 [pdf, ps, other]: Title: Upwards homogeneity in iterated symmetric extensions

Authors: Calliope Ryan-Smith, Jonathan Schilhan, Yujun Wei

Comments: 16 pages, 1 figure

Subjects: Logic (math.LO)

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