Petrucio Viana

FLAP, 2022

2021

Presenting Basic Graph Logic.

[BibT_eX]

[DOI]

Leandro Suguitani

Proceedings of the Diagrammatic Representation and Inference, 2021

2020

On admissible orders over closed subintervals of [0, 1].

[BibT_eX]

[DOI]

Fágner L. Santana

Benjamín R. C. Bedregal

Humberto Bustince

Fuzzy Sets Syst., 2020

2017

Foreword.

[BibT_eX]

[DOI]

Walter Carnielli

Edward Hermann Haeusler

Log. J. IGPL, 2017

2015

Set Venn Diagrams Applied to Inclusions and Non-inclusions.

[BibT_eX]

[DOI]

Walter Alexandre Carnielli

J. Log. Lang. Inf., 2015

2014

The Proceedings of the XVI EBL - 16th Brazilian Logic Conference, 2011: A Preface.

[BibT_eX]

[DOI]

Log. J. IGPL, 2014

Decomposition by maxclique separators.

[BibT_eX]

[DOI]

Hugo Nobrega

Juliana Küster Filipe Bowles

Discret. Math., 2014

On Distributed Stochastic Logics for Mobile Systems.

[BibT_eX]

[DOI]

Proceedings of the Logic, Language, Information, and Computation, 2014

The Second Venn Diagrammatic System.

[BibT_eX]

[DOI]

Proceedings of the Diagrammatic Representation and Inference, 2014

2012

A Graph Calculus for Proving Intuitionistic Relation Algebraic Equations.

[BibT_eX]

[DOI]

Proceedings of the Diagrammatic Representation and Inference, 2012

2011

On characterizations by nice forbidding sets.

[BibT_eX]

[DOI]

Hugo Nobrega

Electron. Notes Discret. Math., 2011

A partial characterization by forbidden subgraphs of edge path graphs.

[BibT_eX]

[DOI]

Hugo Nobrega

Proceedings of the 10th Cologne-Twente Workshop on graphs and combinatorial optimization. Extended Abstracts, 2011

2010

On vague notions and modalities: a modular approach.

[BibT_eX]

[DOI]

Carla A. D. M. Delgado

Log. J. IGPL, 2010

Propositional Dynamic Logic with Storing, Recovering and Parallel Composition.

[BibT_eX]

[DOI]

Proceedings of the Fifth Logical and Semantic Frameworks, with Applications Workshop, 2010

A Calculus for Graphs with Complement.

[BibT_eX]

[DOI]

Proceedings of the Diagrammatic Representation and Inference, 6th International Conference, 2010

2009

On graph reasoning.

[BibT_eX]

[DOI]

Inf. Comput., 2009

Positive Fork Graph Calculus.

[BibT_eX]

[DOI]

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2009

2008

A note on proofs with graphs.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2008

Introducing Polymodal Neighbourhood Logics.

[BibT_eX]

[DOI]

Proceedings of the Third Workshop on Logical and Semantic Frameworks with Applications, 2008

On a Graph Calculus for Algebras of Relations.

[BibT_eX]

[DOI]

Proceedings of the Logic, 2008

2007

On Fork Arrow Logic and its Expressive Power.

[BibT_eX]

[DOI]

Paulo A. S. Veloso

Sheila R. M. Veloso

J. Philos. Log., 2007

On Positive Relational Calculi.

[BibT_eX]

[DOI]

Log. J. IGPL, 2007

2006

Reasoning with Graphs.

[BibT_eX]

[DOI]

Proceedings of the 13th Workshop on Logic, Language, Information and Computation, 2006

2005

Hybrid logics with Sahlqvist axioms.

[BibT_eX]

[DOI]

Balder ten Cate

Maarten Marx

Log. J. IGPL, 2005

2003

Squares in Fork Arrow Logic.

[BibT_eX]

[DOI]

Sheila R. M. Veloso

Paulo A. S. Veloso

J. Philos. Log., 2003

2002

A Completeness Result for Relation Algebra with Binders.

[BibT_eX]

[DOI]