Term-Modal Logics

Melvin Fitting, Lars Thalmann, Andrei Voronkov. Term-Modal Logics. In Roy Dyckhoff, editor, Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000, Proceedings. Volume 1847 of Lecture Notes in Computer Science, pages 220-236, Springer, 2000.

Authors

Melvin Fitting

This author has not been identified. Look up 'Melvin Fitting' in Google

Lars Thalmann

This author has not been identified. Look up 'Lars Thalmann' in Google

Andrei Voronkov

This author has not been identified. It may be one of the following persons: Look up 'Andrei Voronkov' in Google