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