Mario Roberto Folhadela Benevides

Possui graduação em Engenharia Elétrica pela Pontifícia Universidade Católica do Rio de Janeiro (1982), mestrado em Informática pela Pontifícia Universidade Católica do Rio de Janeiro (1985) e doutorado em Ciência da Computação - Imperial College of Science Technology And Medicine (1991). Atualmente é professor do Instituto de Computação da Universidade Federal Fluminense. Ele é professor titular aposentado da Universidade Federal do Rio de Janeiro. Tem experiência na área de Ciência da Computação, com ênfase em Lógicas e Semântica de Programas, atuando principalmente em lógicas aplicada à computação: lógicas modais, lógicas dinâmicas e lógicas epistêmica.

Plataforma Lattes

É da imprensa e quer entrar em contato? Fale com a Assessoria de Imprensa da UFF

Publicações

Revista: South American Journal of Logic
Título Anoordem crescente Idioma
Dolev-Yao Multi-Agent Epistemic Logic}{Dolev-Yao Multi-Agent Epistemic Logic 2019 Inglês
Revista: Theoretical Computer Science
Título Anoordem crescente doi Idioma
Towards reasoning about Petri nets: A Propositional Dynamic Logic based approach 2018 10.1016/j.tcs.2018.01.007 Português
Bisimilar and logically equivalent programs in PDL with parallel operator 2017 10.1016/j.tcs.2017.02.037 Inglês
On a graph calculus for modalities 2017 10.1016/j.tcs.2016.11.037 Inglês
A study on multi-dimensional products of graphs and hybrid logics 2011 10.1016/j.tcs.2011.05.011 Inglês
Revista: COMPUTACION Y SISTEMAS
Título Anoordem crescente doi Idioma
Action Models with Postconditions 2017 10.13053/cys-21-3-2808 Português
Revista: Logic Journal of the IGPL (Print)
Título Anoordem crescente doi Idioma
Propositional dynamic logic for Petri Nets 2014 10.1093/jigpal/jzu010 Inglês
PDL for structured data: a graph-calculus approach 2014 10.1093/jigpal/jzu011 Inglês
Revista: Journal of Computer and System Sciences (Print)
Título Anoordem crescente doi Idioma
Polynomial hierarchy graph properties in hybrid logic 2014 10.1016/j.jcss.2014.04.003 Inglês
Revista: Journal of Logic and Computation (Print)
Título Anoordem crescente doi Idioma
Propositional dynamic logics for communicating concurrent programs with CCS's parallel operator 2014 10.1093/logcom/exu001 Inglês
Revista: Logic Journal of the IGPL
Título Anoordem crescente doi Idioma
On vague notions and modalities: a modular approach 2010 10.1093/jigpal/jzp041 Inglês
Using modal logics to express and check global graph properties 2009 10.1093/jigpal/jzp021 Inglês
Revista: Journal of Philosophical Logic
Título Anoordem crescente doi Idioma
On fork arrow logic and its expressive power 2007 10.1007/s10992-006-9043-x Inglês
Revista: Bulletin of the IGPL
Título Anoordem crescente Idioma
Reasoning about Knowledge in Asychronous Distributed Systems 2005 Inglês
Formalizing Concurrent Common Knowledge as Product of Modal Logic 2005 Inglês
Revista: Journal of Philosophical Logic (Dordrecht. Online)
Título Anoordem crescente doi Idioma
Squares in Fork Arrow Logic 2003 10.1023/a:1024847106313 Inglês
Revista: INFORMATION PROCESSING LETTERS
Título Anoordem crescente Idioma
A Priority Dynamics for Generalized Drinking Philosophers 2001 Inglês
Revista: Theory of Computing Systems
Título Anoordem crescente doi Idioma
Sharing Resources at Nonuniform Access Rates 2000 10.1007/s002240010008 Inglês
Revista: Journal of Logic and Computation (Online)
Título Anoordem crescente doi Idioma
A Constructive Presentation for the Modal Connective of Necessity (¿) 1992 10.1093/logcom/2.1.31 Inglês