Mario Benevides, Renata de Freitas e Petrucio Viana,
Propositional Dynamic Logic with Storing, Recovering and Parallel Composition,
LSFA'10,
ENTCS 269:95-107 (2011).
Paulo A.S. Veloso, Sheila R.M. Veloso, Petrucio Viana, Renata de Freitas, Mario Benevides e Carla Delgado,
On Vague Notions and Modalities: a modular approach,
Logic Journal of the IGPL18:381-402 (2010),
doi:10.1093/jigpal/jzp041.
Renata de Freitas, Paulo A.S. Veloso, Sheila R.M. Veloso, Petrucio Viana,
A calculus for graphs with complement,
Diagrams 2010, LNCS 6170:84-98 (2010).
Renata de Freitas et al., On graph reasoning,
Information and Computation207:1000-1014
(2009), doi:10.1016/j.ic.2008.11.004.
Renata de Freitas, Sheila R.M. Veloso, Paulo A.S. Veloso, Petrucio Viana,
Positive Fork Graph Calculus.
In Proceedings of the
International Symposium on Logical Foundations of Computer Science (LFCS'09),
3-6 January 2009, Deerfield Beach, FL, USA,
Lectures Notes in Computer Science (LNCS)
5407:152-163, 2009, ISSN 0302-9743, DOI 10.1007/978-3-540-92687-0.
[slides]
Renata de Freitas, Paulo A.S. Veloso, Sheila R.M. Veloso, and Petrucio Viana,
On Positive Relational Calculi,
Logic Journal of the IGPL,
vol. 15, pp. 577-601, 2007,
DOI 10.1093/jigpal/jzm054.
Paulo A.S. Veloso, Renata P. de Freitas, Petrucio Viana, Mario Benevides and Sheila R.M. Veloso,
On Fork Arrow Logic and its Expressive Power,
Journal of Philosophical Logic,
vol. 36(5), 2007, pp. 489-509,
DOI 10.1007/s10992-006-9043-x.
Hermann Haeusler and Marcelo Côrrea,
On games and the polynomial-space completeness of intuitionistic propositional logic.
In
XIV Brazilian Logic Conference (EBL'06),
Parque Nacional do Itatiaia, 2006.
Renata P. de Freitas, Paulo Veloso, Sheila Veloso and Petrucio Viana,
Graph Relational Calculus.
In Proceedings of the
XIV Brazilian Logic Conference (EBL'06),
Parque Nacional do Itatiaia, 2006.
Balder ten Cate, Maarten Marx and Petrucio Viana,
Hybrid logics with Sahlqvist axioms,
Logic Journal of the IGPL,
vol. 13(3), 2005, pp. 293-300, DOI 10.1093/jigpal/jzi024.
Marcelo Corrêa and Hermann Haeusler,
On the Selective Lambek Calculus.
In Logical Aspects of Computational Linguistics,
5th International Conference, LACL 2005, 2005, Bordeaux.
Lectures Notes in Artificial Intelligence (LNAI),
vol. 3492, Springer, 2005, pp. 67-83.
Sheila Veloso, Paulo Veloso and Renata P. de Freitas,
An Application of Logic Engineering,
Logic Journal of the IGPL,
vol. 13(1), 2005, pp. 29-46.
Mario Benevides, Carla Delgado,
Renata P. de Freitas,
Paulo Veloso and Sheila Veloso,
On Modalities for Vague Notions.
In
XVII Brazilian Symposium on Artificial Intelligence (SBIA'04),
São Luiz - Maranhão, Brazil, 2004.
Lectures Notes in Artificial Intelligence (LNAI),
vol. 3171, Springer, 2004, pp. 1-10.
Balder ten Cate, Maarten Marx, Petrucio Viana and N. Bezhanishvilli,
Sahlqvist Theory and Transfer Results for Hybrid Logic.
In AiML-2004: Advances in Modal Logic, 2004, Manchester.
Conference Proceedings of the AiML-2004.
Manchester: University of Manchester, 2004, pp. 44-61.
