Sabine Frittella

1. Dual characterizations for finite lattices via correspondence theory for monotone modal logic
   2014/08/08 by Sabine Frittella, Frittella, Sabine, Alessandra Palmigiano +3 · 2 citations
   Computer Science · Mathematics · #Advanced Algebra and Logic #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #cs.LO #math.LO #msc:03B45 #msc:03B70 #msc:03G10
2. Structural Multi-type Sequent Calculus for Inquisitive Logic
   2016/04/04 by Sabine Frittella, Giuseppe Greco, Frittella, Sabine +5 · 1 citation
   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