Journal: Annals of Pure and Applied Logic

Volume 131, Issue 1-3

1 -- 63Richard Blute, Masahiro Hamano, Philip J. Scott. Softness of hypercoherences and MALL full completeness
65 -- 102Mai Gehrke, Hideo Nagahashi, Yde Venema. A Sahlqvist theorem for distributive modal logic
103 -- 131Albert Visser. Faith & falsity
133 -- 158Philip Kremer, Grigori Mints. Dynamic topological logic
159 -- 175Marat M. Arslanov, Chi Tat Chong, S. Barry Cooper, Yue Yang. The minimal e-degree problem in fragments of Peano arithmetic
177 -- 225Sergey Slavnov. Coherent phase spaces. Semiclassical semantics
227 -- 261Alexei S. Kolesnikov. ::::n::::-Simple theories
263 -- 286Dietrich Kuske, Markus Lohrey. Logical aspects of Cayley-graphs: the group case
287 -- 301Guram Bezhanishvili, Mai Gehrke. Completeness of S4 with respect to the real line: revisited