Paulo Veloso, Sheila Veloso,
Petrucio Viana, Renata de Freitas,
Mario Benevides, Carla Delgado,
On Vague Notions and Modalities: a modular approach,
Logic Journal of the IGPL (2009),
doi:10.1093/jigpal/jzp041, in press.
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]
Paulo A.S. Veloso, Renata P. de Freitas, Petrucio Viana, Mario Benevides, 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, Marcelo Correa,
On games and the polynomial-space completeness of intuitionistic propositional logic.
In
XIV Brazilian Logic Conference (EBL'06),
Parque Nacional do Itatiaia, 24-28 April 2006.
Renata P. de Freitas, Paulo Veloso, Sheila Veloso, Petrucio Viana,
Graph Relational Calculus.
In Proceedings of the
XIV Brazilian Logic Conference (EBL'06),
Parque Nacional do Itatiaia, 24-28 April 2006.
Balder ten Cate, Maarten Marx, 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 Correa, Hermann Haeusler,
On the Selective Lambek Calculus.
In Logical Aspects of Computational Linguistics,
5th International Conference, LACL 2005, Bordeaux.
Lectures Notes in Artificial Intelligence (LNAI),
vol. 3492, Springer, 2005, pp. 67-83.
Sheila Veloso, Paulo Veloso, 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, Sheila Veloso,
On Modalities for Vague Notions.
In
XVII Brazilian Symposium on Artificial Intelligence (SBIA'04),
São Luiz - Maranhão,
29th September - 1st October 2004.
Lectures Notes in Artificial Intelligence (LNAI),
vol. 3171, Springer, 2004, pp. 1-10.
Balder ten Cate, Maarten Marx, Petrucio Viana, 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.
Leonardo B. Vana, Marcelo Correa,
A Tableau Method for the Lambek Calculus based on a Matrix Characterization.
In 10th Workshop on Logic, Language, Information and Computation, 2003,
Ouro Preto, Brazil.
Proceedings of the WoLLIC'2003 in
Eletronic Notes in Theoretical Computer Science (ENTCS),
vol. 84, Amsterdan : Elsevier Science, 2003.
Renata P. de Freitas, Petrucio Viana, Mario Benevides, Sheila Veloso, Paulo Veloso,
Squares in Fork Arrow Logic,
Journal of Philosophical Logic,
vol. 32, no. 4, 2003, pp. 343-355.
W. Kuijper, Petrucio Viana,
An application of Sahlqvist theory to bisorted modal logic.
In Eighth ESSLLI Student Session, 2003, Viena.
Proceedings of the Eighth ESSLLI Student Section, 2003, vol. 1,
pp. 149-158.