A Graph Calculus for Predicate Logic von S. Veloso, Paulo A., M. Veloso, Sheila R.

Volltext

On Fork Arrow Logic and Its Expressive Power von Veloso, Paulo A. S., de Freitas, Renata P., Viana, Petrucio, Benevides, Mario, Veloso, Sheila R. M.

Volltext

On graph reasoning von de Freitas, Renata, Veloso, Paulo A.S., Veloso, Sheila R.M., Viana, Petrucio

Volltext

On Graph Refutation for Relational Inclusions von Veloso, Paulo A. S., Veloso, Sheila R. M.

Volltext

Squares in Fork Arrow Logic von de Freitas, Renata P., Viana, Jorge P., Benevides, Mario R. F., Veloso, Sheila R. M., Veloso, Paulo A. S.

Volltext

On a graph calculus for modalities von Veloso, Paulo A.S., Veloso, Sheila R.M., Benevides, Mario R.F.

Volltext

On Modalities for Vague Notions von Benevides, Mario, Delgado, Carla, de Freitas, Renata P., Veloso, Paulo A. S., Veloso, Sheila R. M.

Volltext

Natural Deduction for ‘Generally’ von Vana, Leonardo B., Veloso, Paulo A. S., Veloso, Sheila R. M.

Volltext

On Graphical Calculi for Modal Logics von Paulo A. S. Veloso, Sheila R. M. Veloso

Volltext

On ‘Most’ and ‘Representative’: Filter Logic and Special Predicates von Veloso, Paulo A. S., Veloso, Sheila R. M.

Volltext

PDL for structured data: a graph-calculus approach von Veloso, P. A. S., Veloso, S. R. M., Benevides, M. R. F.

Volltext

On local modularity and interpolation in entailment systems von Veloso, Paulo A.S., Fiadeiro, José L., Veloso, Sheila R.M.

Volltext

On local modularity variants and Π-institutions von VELOSO, Paulo A. S, VELOSO, Sheila R. M

Volltext

On Special Functions and Theorem Proving in Logics for 'Generally' von Veloso, Sheila R. M., Veloso, Paulo A. S.

Volltext

An Application of Logic Engineering von Veloso, Sheila R. M., Veloso, Paulo A. S., de Freitas, Renata P.

Volltext

A Graph Calculus for Predicate Logic von Veloso, Paulo A S, Veloso, Sheila R M

Volltext

On Diagrams and General Model Checkers von Veloso, Sheila R. M., Veloso, Paulo A. S., Benevides, Mario R. F., Lima, Isaque M. S.

Volltext

On Graph Refutation for Relational Inclusions von Veloso, Paulo A S, Veloso, Sheila R M

Volltext

Representing Belief Revision through Default Theories von da Silva, João C. P., Veloso, Sheila R. M.

Volltext

A Calculus for Graphs with Complement von de Freitas, Renata, Veloso, Paulo A. S., Veloso, Sheila R. M., Viana, Petrucio

Volltext