Volume 60, Issue 5 | Archive for Mathematical Logic

Search all Archive for Mathematical Logic articles

Volume 60, Issue 5

July 2021

Special Issue: 24th Workshop on Logic, Language, Information and Computation—WoLLIC 2017

Issue Editors:

Juliette Kennedy,
Ruy Queiroz

5 articles in this issue

24th Workshop on Logic, Language, Information and Computation—WoLLIC 2017
Juliette Kennedy
Ruy de Queiroz
Editorial 15 June 2021 Pages: 525 - 527
Formalism and Hilbert’s understanding of consistency problems
Michael Detlefsen
OriginalPaper Open access 15 June 2021 Pages: 529 - 546
Independence-friendly logic without Henkin quantification
Fausto Barbero
Lauri Hella
Raine Rönnholm
OriginalPaper Open access 16 June 2021 Pages: 547 - 597
Knowledge, behavior, and rationality: rationalizability in epistemic games
Todd Stambaugh
Rohit Parikh
OriginalPaper 24 June 2021 Pages: 599 - 623
On ultrafilter extensions of first-order models and ultrafilter interpretations
Nikolai L. Poliakov
Denis I. Saveliev
OriginalPaper 22 June 2021 Pages: 625 - 681