Renata P. de Freitas

According to our database, Renata P. de Freitas authored at least 19 papers between 2002 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Set Venn Diagrams Applied to Inclusions and Non-inclusions.

Renata P. de Freitas, Petrucio Viana

J. Log. Lang. Inf., 2015

2014

The Proceedings of the XVI EBL - 16th Brazilian Logic Conference, 2011: A Preface.

Walter Alexandre Carnielli, Renata P. de Freitas, Petrucio Viana

Log. J. IGPL, 2014

The Second Venn Diagrammatic System.

Renata P. de Freitas, Petrucio Viana

Proceedings of the Diagrammatic Representation and Inference, 2014

2012

A Graph Calculus for Proving Intuitionistic Relation Algebraic Equations.

Renata P. de Freitas, Petrucio Viana

Proceedings of the Diagrammatic Representation and Inference, 2012

2010

On vague notions and modalities: a modular approach.

Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana, Renata P. de Freitas, Mario R. F. Benevides, Carla A. D. M. Delgado

Log. J. IGPL, 2010

Propositional Dynamic Logic with Storing, Recovering and Parallel Composition.

Mario R. F. Benevides, Renata P. de Freitas, Jorge Petrucio Viana

Proceedings of the Fifth Logical and Semantic Frameworks, with Applications Workshop, 2010

A Calculus for Graphs with Complement.

Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana

Proceedings of the Diagrammatic Representation and Inference, 6th International Conference, 2010

2009

On graph reasoning.

Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana

Inf. Comput., 2009

Positive Fork Graph Calculus.

Renata P. de Freitas, Sheila R. M. Veloso, Paulo A. S. Veloso, Jorge Petrucio Viana

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2009

2008

A note on proofs with graphs.

Renata P. de Freitas, Jorge Petrucio Viana

Sci. Comput. Program., 2008

Introducing Polymodal Neighbourhood Logics.

Renata P. de Freitas, Petrucio Viana

Proceedings of the Third Workshop on Logical and Semantic Frameworks with Applications, 2008

On a Graph Calculus for Algebras of Relations.

Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana

Proceedings of the Logic, 2008

2007

On Fork Arrow Logic and its Expressive Power.

Paulo A. S. Veloso, Renata P. de Freitas, Jorge Petrucio Viana, Mario R. F. Benevides, Sheila R. M. Veloso

J. Philos. Log., 2007

On Positive Relational Calculi.

Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana

Log. J. IGPL, 2007

2006

Reasoning with Graphs.

Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana

Proceedings of the 13th Workshop on Logic, Language, Information and Computation, 2006

2005

An Application of Logic Engineering.

Sheila R. M. Veloso, Paulo A. S. Veloso, Renata P. de Freitas

Log. J. IGPL, 2005

2004

On Modalities for Vague Notions.

Mario R. F. Benevides, Carla A. D. M. Delgado, Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso

Proceedings of the Advances in Artificial Intelligence - SBIA 2004, 17th Brazilian Symposium on Artificial Intelligence, São Luis, Maranhão, Brazil, September 29, 2004

2003

Squares in Fork Arrow Logic.

Renata P. de Freitas, Jorge Petrucio Viana, Mario R. F. Benevides, Sheila R. M. Veloso, Paulo A. S. Veloso

J. Philos. Log., 2003

2002

A Completeness Result for Relation Algebra with Binders.

Renata P. de Freitas, Jorge Petrucio Viana

Proceedings of the 9th Workhop on Logic, Language, Information and Computation, 2002