Renata P. de Freitas

19 papers C 6Misc 1Journal 9Unranked 3
YearRankTypeTitle / Venue / Authors
2015 J jnl
Set Venn Diagrams Applied to Inclusions and Non-inclusions.
J. Log. Lang. Inf.
Renata P. de Freitas, Petrucio Viana
2014 J jnl
The Proceedings of the XVI EBL - 16th Brazilian Logic Conference, 2011: A Preface.
Log. J. IGPL
Walter Alexandre Carnielli, Renata P. de Freitas, Petrucio Viana
2014 C conf
The Second Venn Diagrammatic System.
Diagrams
Renata P. de Freitas, Petrucio Viana
2012 C conf
A Graph Calculus for Proving Intuitionistic Relation Algebraic Equations.
Diagrams
Renata P. de Freitas, Petrucio Viana
2010 C conf
A Calculus for Graphs with Complement.
Diagrams
Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana
2010 J jnl
On vague notions and modalities: a modular approach.
Log. J. IGPL
Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana, Renata P. de Freitas, Mario R. F. Benevides, Carla A. D. M. Delgado
2010 — conf
Propositional Dynamic Logic with Storing, Recovering and Parallel Composition.
LSFA
Mario R. F. Benevides, Renata P. de Freitas, Jorge Petrucio Viana
2009 J jnl
On graph reasoning.
Inf. Comput.
Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana
2009 Misc conf
Positive Fork Graph Calculus.
LFCS
Renata P. de Freitas, Sheila R. M. Veloso, Paulo A. S. Veloso, Jorge Petrucio Viana
2008 J jnl
A note on proofs with graphs.
Sci. Comput. Program.
Renata P. de Freitas, Jorge Petrucio Viana
2008 — conf
Introducing Polymodal Neighbourhood Logics.
LSFA
Renata P. de Freitas, Petrucio Viana
2008 C conf
On a Graph Calculus for Algebras of Relations.
WoLLIC
Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana
2007 J jnl
On Fork Arrow Logic and its Expressive Power.
J. Philos. Log.
Paulo A. S. Veloso, Renata P. de Freitas, Jorge Petrucio Viana, Mario R. F. Benevides, Sheila R. M. Veloso
2007 J jnl
On Positive Relational Calculi.
Log. J. IGPL
Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana
2006 C conf
Reasoning with Graphs.
WoLLIC
Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana
2005 J jnl
An Application of Logic Engineering.
Log. J. IGPL
Sheila R. M. Veloso, Paulo A. S. Veloso, Renata P. de Freitas
2004 — conf
On Modalities for Vague Notions.
SBIA
Mario R. F. Benevides, Carla A. D. M. Delgado, Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso
2003 J jnl
Squares in Fork Arrow Logic.
J. Philos. Log.
Renata P. de Freitas, Jorge Petrucio Viana, Mario R. F. Benevides, Sheila R. M. Veloso, Paulo A. S. Veloso
2002 C conf
A Completeness Result for Relation Algebra with Binders.
WoLLIC
Renata P. de Freitas, Jorge Petrucio Viana