1037 | -- | 0 | Lev D. Beklemishev, Ruy J. G. B. de Queiroz, Andre Scedrov. Editors' foreword |
1038 | -- | 1045 | Antonis Achilleos. A complexity question in justification logic |
1046 | -- | 1066 | Samuel Bucheli, Roman Kuznets, Thomas Studer. Realizing public announcements by justifications |
1067 | -- | 1086 | Ranald Clouston. Nominal Lawvere Theories: A category theoretic account of equational theories with names |
1087 | -- | 1101 | Francicleber Martins Ferreira, Cibele Matos Freire, Mario R. F. Benevides, L. Menasché Schechter, Ana Teresa C. Martins. Polynomial hierarchy graph properties in hybrid logic |
1102 | -- | 1118 | Santiago Figueira, Daniel GorÃn, Rafael Grimson. Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies |
1119 | -- | 1137 | Julian Gutierrez, Glynn Winskel. On the determinacy of concurrent games on event structures with infinite winning sets |
1138 | -- | 1151 | Max I. Kanovich. Multiset rewriting over Fibonacci and Tribonacci numbers |
1152 | -- | 1162 | Juha Kontinen, Jakub Szymanik. A characterization of definability of second-order generalized quantifiers with applications to non-definability |
1163 | -- | 1173 | Rick Statman. On polymorphic types of untyped terms |