A Completeness Result for Relation Algebra with Binders. - Renata P. de Freitas; Jorge Petrucio Viana (WoLLIC, 2002)

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)

Hybrid logics with Sahlqvist axioms. - Balder ten Cate; Maarten Marx; Jorge Petrucio Viana (Log. J. IGPL, 2005)

Reasoning with Graphs. - Renata P. de Freitas; Paulo A. S. Veloso; Sheila R. M. Veloso; Jorge Petrucio Viana (WoLLIC, 2006)

On Positive Relational Calculi. - Renata P. de Freitas; Paulo A. S. Veloso; Sheila R. M. Veloso; Jorge Petrucio Viana (Log. J. IGPL, 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 a Graph Calculus for Algebras of Relations. - Renata P. de Freitas; Paulo A. S. Veloso; Sheila R. M. Veloso; Jorge Petrucio Viana (WoLLIC, 2008)

Introducing Polymodal Neighbourhood Logics. - Renata P. de Freitas; Petrucio Viana (LSFA, 2008)

A note on proofs with graphs. - Renata P. de Freitas; Jorge Petrucio Viana (Sci. Comput. Program., 2008)

Positive Fork Graph Calculus. - Renata P. de Freitas; Sheila R. M. Veloso; Paulo A. S. Veloso; Jorge Petrucio Viana (LFCS, 2009)

On graph reasoning. - Renata P. de Freitas; Paulo A. S. Veloso; Sheila R. M. Veloso; Jorge Petrucio Viana (Inf. Comput., 2009)

A Calculus for Graphs with Complement. - Renata P. de Freitas; Paulo A. S. Veloso; Sheila R. M. Veloso; Jorge Petrucio Viana (Diagrams, 2010)

Propositional Dynamic Logic with Storing, Recovering and Parallel Composition. - Mario R. F. Benevides; Renata P. de Freitas; Jorge Petrucio Viana (LSFA, 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)

A partial characterization by forbidden subgraphs of edge path graphs. - Márcia R. Cerioli; Hugo Nobrega; Petrucio Viana (CTW, 2011)

On characterizations by nice forbidding sets. - Márcia R. Cerioli; Hugo Nobrega; Petrucio Viana (Electron. Notes Discret. Math., 2011)

A Graph Calculus for Proving Intuitionistic Relation Algebraic Equations. - Renata P. de Freitas; Petrucio Viana (Diagrams, 2012)

The Second Venn Diagrammatic System. - Renata P. de Freitas; Petrucio Viana (Diagrams, 2014)

On Distributed Stochastic Logics for Mobile Systems. - Juliana Küster Filipe Bowles; Petrucio Viana (WoLLIC, 2014)

Decomposition by maxclique separators. - Márcia R. Cerioli; Hugo Nobrega; Petrucio Viana (Discret. Math., 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)

Set Venn Diagrams Applied to Inclusions and Non-inclusions. - Renata P. de Freitas; Petrucio Viana (J. Log. Lang. Inf., 2015)

Foreword. - Walter Carnielli; Edward Hermann Haeusler; Petrucio Viana (Log. J. IGPL, 2017)

On admissible orders over closed subintervals of [0, 1]. - Fágner L. Santana; Benjamín R. C. Bedregal; Petrucio Viana; Humberto Bustince (Fuzzy Sets Syst., 2020)

Presenting Basic Graph Logic. - Márcia R. Cerioli; Leandro Suguitani; Petrucio Viana (Diagrams, 2021)

The Proceedings of the XIX EBL ? 19th Brazilian Logic Conference, 2019. A preface. - Itala M. Loffredo D'Ottaviano; Ricardo Sousa Silvestre; Leandro Suguitani; Petrucio Viana (FLAP, 2022)

Euclid Machines. - Wagner Sanz; Petrucio Viana (Stud Logica, 2025)