Volume 18,
Number 1,
February 2008
- Flavio Corradini, Carlo Toffalori:
Preface to Special Issue devoted to the memory of Sauro Tulipani.
1-4
Electronic Edition (link) BibTeX
- Luca Aceto, Taolue Chen, Wan Fokkink, Anna Ingólfsdóttir:
On the axiomatisability of priority.
5-28
Electronic Edition (link) BibTeX
- Marco Bernardo, Stefania Botta:
A survey of modal logics characterising behavioural equivalences for non-deterministic and stochastic systems.
29-55
Electronic Edition (link) BibTeX
- Andrea Capotorti, Andrea Formisano:
Comparative uncertainty: theory and automation.
57-79
Electronic Edition (link) BibTeX
- Agata Ciabattoni, Alexander Leitsch:
Towards an algorithmic construction of cut-elimination procedures.
81-105
Electronic Edition (link) BibTeX
- Rocco De Nicola, Michele Loreti:
Multiple-Labelled Transition Systems for nominal calculi and their logics.
107-143
Electronic Edition (link) BibTeX
- Ying Gao, Jingde Cheng:
Semantics for a basic relevant logic with intensional conjunction and disjunction (and some of its extensions).
145-164
Electronic Edition (link) BibTeX
- Ivan Gerace, Federico Greco:
The Travelling Salesman Problem in symmetric circulant matrices with two stripes.
165-175
Electronic Edition (link) BibTeX
- Giacomo Lenzi:
A positive set theory with equality revisited.
177-188
Electronic Edition (link) BibTeX
- Angus Macintyre:
Model theory of exponentials on Lie algebras.
189-204
Electronic Edition (link) BibTeX
- Roland Hildebrand, Stefano Mancini, Simone Severini:
Combinatorial laplacians and positivity under partial transpose.
205-219
Electronic Edition (link) BibTeX
Volume 18,
Number 2,
April 2008
Volume 18,
Number 3,
June 2008
Volume 18,
Number 4,
August 2008
Volume 18,
Number 5,
October 2008
Volume 18,
Number 6,
December 2008
Copyright © Sun May 17 00:14:19 2009
by Michael Ley (ley@uni-trier.de)
