Independence-Friendly Logic Without Henkin Quantification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Fausto Barbero, Lauri Hella, Raine Rönnholm. Independence-Friendly Logic Without Henkin Quantification. In Juliette Kennedy, Ruy J. G. B. de Queiroz, editors, Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings. Volume 10388 of Lecture Notes in Computer Science, pages 14-30, Springer, 2017. [doi]

This author has not been identified. Look up 'Fausto Barbero' in GoogleThis author has not been identified. Look up 'Lauri Hella' in GoogleThis author has not been identified. Look up 'Raine Rönnholm' in Google

runs on WebDSL