Bozzelli, Laura

1. Unifying Hyper and Epistemic Temporal Logic
   2014/09/09 by Bozzelli, Laura, Maubert, Bastien, Pinchinat, Sophie · 4 citations
   #03B70 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
2. Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties
   2022/07/06 by Bozzelli, Laura, Peron, Adriano, Sanchez, Cesar · 2 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
3. On the complexity of Temporal Equilibrium Logic
   2015/02/28 by Laura Bozzelli, Bozzelli, Laura, David Pearce +1 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation #Semantic Web and Ontologies
4. Unifying Asynchronous Logics for Hyperproperties
   2024/04/25 by Bombardelli, Alberto, Bozzelli, Laura, Sánchez, César +1 · 2 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
5. Quantifying over Trees in Monadic Second-Order Logic
   2023/04/23 by Massimo Benerecetti, Benerecetti, Massimo, Laura Bozzelli +5 · 1 citation
   Computer Science · #FOS: Computer and information sciences #FOS: Mathematics #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic (math.LO) #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies