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
Copyright © Tue Nov 18 20:43:49 2008
by Michael Ley (ley@uni-trier.de)
