nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A characterization of definability of second-order generalized quantifiers with applications to non-definability
|
Kontinen, Juha |
|
2014 |
80 |
6 |
p. 1152-1162 11 p. |
artikel |
2 |
A complexity question in justification logic
|
Achilleos, Antonis |
|
2014 |
80 |
6 |
p. 1038-1045 8 p. |
artikel |
3 |
Contents
|
|
|
2014 |
80 |
6 |
p. OBC- 1 p. |
artikel |
4 |
Editorial Board
|
|
|
2014 |
80 |
6 |
p. IFC- 1 p. |
artikel |
5 |
Editors' foreword
|
Beklemishev, Lev |
|
2014 |
80 |
6 |
p. 1037- 1 p. |
artikel |
6 |
Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies
|
Figueira, Santiago |
|
2014 |
80 |
6 |
p. 1102-1118 17 p. |
artikel |
7 |
Multiset rewriting over Fibonacci and Tribonacci numbers
|
Kanovich, Max |
|
2014 |
80 |
6 |
p. 1138-1151 14 p. |
artikel |
8 |
Nominal Lawvere Theories: A category theoretic account of equational theories with names
|
Clouston, Ranald |
|
2014 |
80 |
6 |
p. 1067-1086 20 p. |
artikel |
9 |
On polymorphic types of untyped terms
|
Statman, Rick |
|
2014 |
80 |
6 |
p. 1163-1173 11 p. |
artikel |
10 |
On the determinacy of concurrent games on event structures with infinite winning sets
|
Gutierrez, Julian |
|
2014 |
80 |
6 |
p. 1119-1137 19 p. |
artikel |
11 |
Polynomial hierarchy graph properties in hybrid logic
|
Ferreira, F.M. |
|
2014 |
80 |
6 |
p. 1087-1101 15 p. |
artikel |
12 |
Realizing public announcements by justifications
|
Bucheli, Samuel |
|
2014 |
80 |
6 |
p. 1046-1066 21 p. |
artikel |