Petrucio Viana

Available identifiers

zbMath Open viana.petrucioMaRDI QIDQ465284

List of research outcomes

Publication	Date of Publication	Type
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
Introducing Polymodal Neighbourhood Logics	2015-03-18	Paper
Propositional Dynamic Logic with Storing, Recovering and Parallel Composition	2015-03-18	Paper
On Distributed Stochastic Logics for Mobile Systems	2015-01-13	Paper
Decomposition by maxclique separators	2014-10-31	Paper
https://portal.mardi4nfdi.de/entity/Q2857350	2013-11-01	Paper
Reasoning with Graphs	2013-05-03	Paper
https://portal.mardi4nfdi.de/entity/Q2918475	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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Petrucio Viana