E-LIB Suche - Ergebnisse für: Veloso, Paulo A. S.

1

DE ZOLT'S POSTULATE: AN ABSTRACT APPROACH:

GIOVANNINI, EDUARDO N. ; HAEUSLER, EDWARD H. ; LASSALLE-CASANAVE, ABEL.
The Review of Symbolic Logic. 15 (2019) 1 - p. 197-224 , 2019

Link: https://doi.org/10.1017/..

2

De la Práctica Euclidiana a la Práctica Hilbertiana: las Te..:

GIOVANNINI, EDUARDO N. ; CASANAVE, ABEL LASSALLE ; VELOSO, PAULO A. S.
Revista Portuguesa de Filosofia. 73 (2017) 3/4 - p. 1263-1294 , 2017

Link: https://www.jstor.org/st..

3

On a graph calculus for modalities:

Veloso, Paulo A.S. ; Veloso, Sheila R.M. ; Benevides, Mario R.F.
Theoretical Computer Science. 685 (2017) - p. 83-103 , 2017

Link: https://doi.org/10.1016/..

4

On Graphs for Intuitionistic Modal Logics:

Veloso, Paulo A.S. ; Veloso, Sheila R.M.
Electronic Notes in Theoretical Computer Science. 323 (2016) - p. 215-233 , 2016

Link: https://doi.org/10.1016/..

5

On Graph Calculi for Multi-modal Logics:

Veloso, Paulo A.S. ; Veloso, Sheila R.M. ; Benevides, Mario R.F.
Electronic Notes in Theoretical Computer Science. 312 (2015) - p. 231-252 , 2015

Link: https://doi.org/10.1016/..

6

On a Graph Approach to Modal Logics:

Veloso, Paulo A.S. ; Veloso, Sheila R.M. ; Benevides, Mario R.F.
Electronic Notes in Theoretical Computer Science. 305 (2014) - p. 123-139 , 2014

Link: https://doi.org/10.1016/..

7

On What There Must Be: Existence in Logic and Some Related ..:

Veloso, Paulo A. S. ; Pereira, Luiz Carlos ; Haeusler, E. Hermann
Disputatio. 4 (2012) 34 - p. 889-910 , 2012

Link: https://doi.org/10.2478/..

8

A Tool for Analysing Logics:

Veloso, Sheila R.M. ; Veloso, Paulo A.S. ; Veloso, Paula M.
Electronic Notes in Theoretical Computer Science. 269 (2011) - p. 125-137 , 2011

Link: https://doi.org/10.1016/..

9

On graph reasoning:

de Freitas, Renata ; Veloso, Paulo A.S. ; Veloso, Sheila R.M..
Information and Computation. 207 (2009) 10 - p. 1000-1014 , 2009

Link: https://doi.org/10.1016/..

10

Modeling interactive storytelling genres as application dom..:

Ciarlini, Angelo E. M. ; Casanova, Marco Antonio ; Furtado, Antonio L..
Journal of Intelligent Information Systems. 35 (2009) 3 - p. 347-381 , 2009

Link: https://doi.org/10.1007/..

11

Sequent Calculi for 'Generally':

Vana, Leonardo Bruno ; Veloso, Paulo A.S. ; Veloso, Sheila R.M.
Electronic Notes in Theoretical Computer Science. 205 (2008) - p. 49-65 , 2008

Link: https://doi.org/10.1016/..

12

On Fork Arrow Logic and Its Expressive Power:

Veloso, Paulo A. S. ; de Freitas, Renata P. ; Viana, Petrucio..
Journal of Philosophical Logic. 36 (2007) 5 - p. 489-509 , 2007

Link: https://www.jstor.org/st..

13

On Fork Arrow Logic and its Expressive Power:

Veloso, Paulo A. S. ; de Freitas, Renata P. ; Viana, Petrucio..
Journal of Philosophical Logic. 36 (2007) 5 - p. 489-509 , 2007

Link: https://doi.org/10.1007/..

14

Reasoning with Graphs:

de Freitas, Renata P. ; Veloso, Paulo A.S. ; Veloso, Sheila R.M..
Electronic Notes in Theoretical Computer Science. 165 (2006) - p. 201-212 , 2006

Link: https://doi.org/10.1016/..

15

An Application of Logic Engineering:

Veloso, Sheila R. M. ; Veloso, Paulo A. S. ; de Freitas, Renata P.
Logic Journal of the IGPL. 13 (2005) 1 - p. 29-46 , 2005

Link: https://doi.org/10.1093/..