D
IPARTIMENTO DI
I
NFORMATICA
Università di Torino
Publications
M
. Baldoni, L. Giordano, and A. Martelli.
A Tableau Calculus for Multimodal Logics and some (Un)Decidability Results
. In H. de Swart, editor,
Proc. of the International Conference on Analytic Tableaux Related Methods, TABLEAUX'98
, volume 1397 of
LNAI
, pages 44-59. Springer-Verlag, 1998. (
PostScript
) (
PDF
)
[
Group's HOME
] [
Department's HOME
]
If you are interested in papers which are not available, please, contact directly the author(s).