nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A universal algorithm for Krull's theorem
|
Powell, Thomas |
|
|
287 |
C |
p. |
artikel |
2 |
Complexity thresholds in inclusion logic
|
Hannula, Miika |
|
|
287 |
C |
p. |
artikel |
3 |
Deducibility and independence in Beklemishev's autonomous provability calculus
|
Fernández-Duque, David |
|
|
287 |
C |
p. |
artikel |
4 |
Distributional formal semantics
|
Venhuizen, Noortje J. |
|
|
287 |
C |
p. |
artikel |
5 |
Editorial Board
|
|
|
|
287 |
C |
p. |
artikel |
6 |
Exorcising the phantom zone
|
Blackburn, Patrick |
|
|
287 |
C |
p. |
artikel |
7 |
Hennessy-Milner properties via topological compactness
|
de Groot, Jim |
|
|
287 |
C |
p. |
artikel |
8 |
Language models for some extensions of the Lambek calculus
|
Kanovich, Max |
|
|
287 |
C |
p. |
artikel |
9 |
Lifting proofs from countable to uncountable mathematics
|
Sanders, Sam |
|
|
287 |
C |
p. |
artikel |
10 |
Non-normal modal logics and conditional logics: Semantic analysis and proof theory
|
Chen, Jinsheng |
|
|
287 |
C |
p. |
artikel |
11 |
One-variable fragments of intermediate logics over linear frames
|
Caicedo, Xavier |
|
|
287 |
C |
p. |
artikel |
12 |
26th Workshop on Logic, Language, Information and Computation – WoLLIC 2019
|
de Queiroz, Ruy J.G.B. |
|
|
287 |
C |
p. |
artikel |
13 |
Towards a proof theory for quantifier macros
|
Baaz, Matthias |
|
|
287 |
C |
p. |
artikel |