Petrucio Viana

Available identifiers

Publication	Date of Publication	Type
On the (In)Dependence of the Peano Axioms for Natural Numbers	2024-12-09	Paper
https://portal.mardi4nfdi.de/entity/Q5039179	2022-10-12	Paper
Presenting basic graph logic	2022-06-03	Paper
On admissible orders over closed subintervals of \([0, 1]\)	2021-06-24	Paper
https://portal.mardi4nfdi.de/entity/Q5365492	2017-10-06	Paper
Set Venn diagrams applied to inclusions and non-inclusions	2016-07-05	Paper
Propositional Dynamic Logic with Storing, Recovering and Parallel Composition	2015-03-18	Paper
Introducing Polymodal Neighbourhood Logics	2015-03-18	Paper
On Distributed Stochastic Logics for Mobile Systems	2015-01-13	Paper
Decomposition by maxclique separators	2014-10-31	Paper
On characterizations by nice forbidding sets	2013-11-01	Paper
Reasoning with Graphs	2013-05-03	Paper
Decomposition by maxclique separators	2012-10-06	Paper
On vague notions and modalities: a modular approach	2010-07-26	Paper
On graph reasoning	2009-10-09	Paper
Positive Fork Graph Calculus	2009-02-24	Paper
A note on proofs with graphs	2008-11-20	Paper
On a Graph Calculus for Algebras of Relations	2008-07-10	Paper
On Positive Relational Calculi	2008-01-18	Paper
On fork arrow logic and its expressive power	2007-10-22	Paper
Hybrid logics with Sahlqvist axioms	2005-10-18	Paper

This page was built for person: Petrucio Viana