Jorge Petrucio Viana

Publication Activity (10 Years)

Years Active: 2002-2010
Publications (10 Years): 0

Publications

Mario R. F. Benevides, Renata P. de Freitas, Jorge Petrucio Viana
Propositional Dynamic Logic with Storing, Recovering and Parallel Composition. LSFA (2010)
Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana, Renata P. de Freitas, Mario R. F. Benevides, Carla A. D. M. Delgado
On vague notions and modalities: a modular approach. Log. J. IGPL 18 (3) (2010)
Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana
A Calculus for Graphs with Complement. Diagrams (2010)
Renata P. de Freitas, Sheila R. M. Veloso, Paulo A. S. Veloso, Jorge Petrucio Viana
Positive Fork Graph Calculus. LFCS (2009)
Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana
On graph reasoning. Inf. Comput. 207 (10) (2009)
Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana
On a Graph Calculus for Algebras of Relations. WoLLIC (2008)
Renata P. de Freitas, Jorge Petrucio Viana
A note on proofs with graphs. Sci. Comput. Program. 73 (2-3) (2008)
Paulo A. S. Veloso, Renata P. de Freitas, Jorge Petrucio Viana, Mario R. F. Benevides, Sheila R. M. Veloso
On Fork Arrow Logic and its Expressive Power. J. Philos. Log. 36 (5) (2007)
Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana
On Positive Relational Calculi. Log. J. IGPL 15 (5-6) (2007)
Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana
Reasoning with Graphs. Electron. Notes Theor. Comput. Sci. 165 (2006)
Balder ten Cate, Maarten Marx, Jorge Petrucio Viana
Hybrid logics with Sahlqvist axioms. Log. J. IGPL 13 (3) (2005)
Renata P. de Freitas, Jorge Petrucio Viana, Mario R. F. Benevides, Sheila R. M. Veloso, Paulo A. S. Veloso
Squares in Fork Arrow Logic. J. Philos. Log. 32 (4) (2003)
Renata P. de Freitas, Jorge Petrucio Viana
A Completeness Result for Relation Algebra with Binders. Electron. Notes Theor. Comput. Sci. 67 (2002)