[Flirts] new paper

[Amilcar Sernadas]

Dear friends,

maybe you will be interested in our latest paper

P. Mateus, A. Sernadas, C. Sernadas, and L. Viganò. Modal sequent calculi 
labelled with truth values: Completeness, duality and analyticity. 
Preprint, Section of Computer Science, Department of Mathematics, Instituto 
Superior Técnico, 1049-001 Lisboa, Portugal, 2003. Submitted for publication.

available at
http://www.cs.math.ist.utl.pt/ftp/pub/SernadasA/03-MSSV-fiblog19.ps
http://www.cs.math.ist.utl.pt/ftp/pub/SernadasA/03-MSSV-fiblog19.pdf

best wishes

Amilcar


++++++++++++++++++++++++++++++++++++++++++++++++++
Amilcar Sernadas
Departamento de Matematica
Instituto Superior Tecnico
Av. Rovisco Pais, 1049-001 Lisboa, PORTUGAL
tel: 351-21-8417150
fax: 351-21-8417598
e-mail: acs at math.ist.utl.pt
www: http://www.cs.math.ist.utl.pt/cs/acs.html
++++++++++++++++++++++++++++++++++++++++++++++++++