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