next up previous
Next: Introduction

transIT:
A Prolog tool for relational translation of modal logics

Andrea Formisano
Università di L'Aquila, Dipartimento di Informatica
Home page

Eugenio Omodeo
Università di Trieste
Dipartimento di Matematica e Informatica
Home page

Ewa Orlowska
National Institute of Telecommunications
Warsaw, Poland
Home page






Further details on the implementation techniques and strategies exploited in trandIt can be found in:
A. Formisano and M. Nicolosi Asmundo.   An efficient relational deductive system for propositional non-classical logics.   J. of Applied Non-Classical Logics, 16(3-4), 2006. (BibTeX)
Last update: 01-12-2009 by andy