Modal Logic and the Two-Variable Fragment - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Carsten Lutz, Ulrike Sattler, Frank Wolter. Modal Logic and the Two-Variable Fragment. In Laurent Fribourg, editor, Computer Science Logic, 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001, Proceedings. Volume 2142 of Lecture Notes in Computer Science, pages 247-261, Springer, 2001. [doi]

This author has not been identified. Look up 'Carsten Lutz' in GoogleThis author has not been identified. Look up 'Ulrike Sattler' in GoogleThis author has not been identified. Look up 'Frank Wolter' in Google

runs on WebDSL