( en | de | ru )

 

Disambiguation of "Veloso, Sheila R. M."

Author of the publication

copydeleteadd this publication to your clipboard
Squares in Fork Arrow Logic.

, , , , and . J. Philosophical Logic, 32 (4): 343-355 (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

M R Buchmeiser

João Veloso

Sheila Kannookadan

Sheila Müller

Sheila Och

 

Other publications of authors with the same name

Labeled Families in Modular Software Development., , and . J. Braz. Comp. Soc., (1998)Natural Deduction for "Generally"., , and . Logic Journal of the IGPL, 15 (5-6): 775-800 (2007)On Special Functions and Theorem Proving in Logics for 'Generally'., and . SBIA, volume 2507 of Lecture Notes in Computer Science, page 1-10. Springer, (2002)A Sphere World Semantics for Default Reasoning., and . LPNMR, volume 928 of Lecture Notes in Computer Science, page 175-188. Springer, (1995)On Fork Arrow Logic and its Expressive Power., , , , and . J. Philosophical Logic, 36 (5): 489-509 (2007)On graph reasoning., , , and . Inf. Comput., 207 (10): 1000-1014 (2009)PDL for structured data: a graph-calculus approach., , and . Log. J. IGPL, 22 (5): 737-757 (2014)On a Graph Approach to Modal Logics., , and . LSFA, volume 305 of Electronic Notes in Theoretical Computer Science, page 123-139. Elsevier, (2013)On Graphs for Intuitionistic Modal Logics., and . LSFA, volume 323 of Electronic Notes in Theoretical Computer Science, page 215-233. Elsevier, (2015)A Tool for Analysing Logics., , and . LSFA, volume 269 of Electronic Notes in Theoretical Computer Science, page 125-137. Elsevier, (2010)