"F-logic"@cs .