Renata P. de Freitas

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 6787684 (Why is no real title available?)	2017-10-06	Paper
Set Venn diagrams applied to inclusions and non-inclusions Journal of Logic, Language and Information	2016-07-05	Paper
Propositional dynamic logic with storing, recovering and parallel composition Electronic Notes in Theoretical Computer Science	2015-03-18	Paper
Introducing polymodal neighbourhood logics Electronic Notes in Theoretical Computer Science	2015-03-18	Paper
Reasoning with graphs Electronic Notes in Theoretical Computer Science	2013-05-03	Paper
A completeness result for relation algebra with binders Electronic Notes in Theoretical Computer Science	2013-04-19	Paper
On vague notions and modalities: a modular approach Logic Journal of the IGPL	2010-07-26	Paper
On graph reasoning Information and Computation	2009-10-09	Paper
Positive Fork Graph Calculus Logical Foundations of Computer Science	2009-02-24	Paper
A note on proofs with graphs Science of Computer Programming	2008-11-20	Paper
On a Graph Calculus for Algebras of Relations Logic, Language, Information and Computation	2008-07-10	Paper
On Positive Relational Calculi Logic Journal of the IGPL	2008-01-18	Paper
On fork arrow logic and its expressive power Journal of Philosophical Logic	2007-10-22	Paper
An Application of Logic Engineering Logic Journal of the IGPL	2005-08-03	Paper
Squares in fork arrow logic Journal of Philosophical Logic	2003-08-28	Paper

Research outcomes over time

This page was built for person: Renata P. de Freitas