Sara Negri

1. Does the deduction theorem fail for modal logic?
   2011/03/28 by Raul Hakli, Sara Negri · 7 citations
   Computer Science · #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Advanced Algebra and Logic
2. Uniform labelled calculi for preferential conditional logics based on\n neighbourhood semantics
   2020/02/14 by Marianna Girlando, Girlando, Marianna, Sara Negri +3 · 3 citations
   Computer Science · #Advanced Algebra and Logic #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies
3. GEOMETRISATION OF FIRST-ORDER LOGIC
   2015/06/01 by Roy Dyckhoff, Sara Negri · 2 citations
   Computer Science · #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Advanced Algebra and Logic