On the expressive power of IF Logic with classical negation via flattening is a second-order logic with weak dependencies

TitleOn the expressive power of IF Logic with classical negation via flattening is a second-order logic with weak dependencies
Publication TypeConference Paper
Year of Publication2011
AuthorsFigueira, S, Gorın, D, Grimson, R
Conference Name18th Workshop on Logic, Language, Information and Computation
Work Package: 
WP2