Mario R. F. Benevides

According to our database, Mario R. F. Benevides authored at least 61 papers between 1991 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

Temporal logic for social networks.

Vitor Machado, Mario R. F. Benevides

J. Log. Comput., 2022

Graded epistemic logic with public announcement.

Mario Roberto Folhadela Benevides, Alexandre Madeira, Manuel A. Martins

J. Log. Algebraic Methods Program., 2022

2021

Adding Proof Calculi to Epistemic Logics with Structured Knowledge.

Mario R. F. Benevides, Alexandre Madeira, Manuel A. Martins

Proceedings of the Fundamentals of Software Engineering - 9th International Conference, 2021

2020

DaLí - Dynamic Logic, new trends and applications.

Mario R. F. Benevides, Alexandre Madeira

J. Log. Algebraic Methods Program., 2020

2019

Logics for Petri Nets with Propagating Failures.

Leandro Gomes, Alexandre Madeira, Mario R. F. Benevides

Proceedings of the Fundamentals of Software Engineering - 8th International Conference, 2019

2018

Towards reasoning about Petri nets: A Propositional Dynamic Logic based approach.

Mario R. F. Benevides, Bruno Lopes, Edward Hermann Haeusler

Theor. Comput. Sci., 2018

Epistemic Logics with Structured Knowledge.

Alexandre Madeira, Manuel A. Martins, Mario R. F. Benevides

Proceedings of the 13th Workshop on Logical and Semantic Frameworks with Applications, 2018

Dynamic Epistemic Logic with Communication Actions.

Mario Roberto Folhadela Benevides, Isaque Macalam Saab Lima

Proceedings of the 13th Workshop on Logical and Semantic Frameworks with Applications, 2018

On Diagrams and General Model Checkers.

Sheila R. M. Veloso, Paulo A. S. Veloso, Mario R. F. Benevides, Isaque M. S. Lima

Proceedings of the Diagrammatic Representation and Inference, 2018

2017

On a graph calculus for modalities.

Paulo A. S. Veloso, Sheila R. M. Veloso, Mario R. F. Benevides

Theor. Comput. Sci., 2017

Bisimilar and logically equivalent programs in PDL with parallel operator.

Mario R. F. Benevides

Theor. Comput. Sci., 2017

A Family of Graded Epistemic Logics.

Mario R. F. Benevides, Alexandre Madeira, Manuel A. Martins

Proceedings of the 12th Workshop on Logical and Semantic Frameworks, with Applications, 2017

Action Models with Postconditions.

Mario R. F. Benevides, Isaque Lima

Computación y Sistemas, 2017

Populational Announcement Logic (PPAL).

Vitor Machado, Mario R. F. Benevides

Proceedings of the 4th International Workshop on Defeasible and Ampliative Reasoning (DARe-17) co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017), 2017

2016

Propositional Dynamic Logic for Petri Nets with Iteration.

Mario R. F. Benevides, Bruno Lopes, Edward Hermann Haeusler

Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

2015

Preface.

Mario R. F. Benevides, René Thiemann

Proceedings of the Tenth Workshop on Logical and Semantic Frameworks, with Applications, 2015

Reasoning about Multi-Agent Systems Using Stochastic Petri Nets.

Bruno Lopes, Mario R. F. Benevides, Edward Hermann Haeusler

Proceedings of the Trends in Practical Applications of Agents, Multi-Agent Systems and Sustainability, 2015

2014

Propositional dynamic logics for communicating concurrent programs with CCS's parallel operator.

Mario R. F. Benevides, Luis Menasché Schechter

J. Log. Comput., 2014

Polynomial hierarchy graph properties in hybrid logic.

Francicleber Martins Ferreira, Cibele Matos Freire, Mario R. F. Benevides, Luis Menasché Schechter, Ana Teresa C. Martins

J. Comput. Syst. Sci., 2014

PDL for structured data: a graph-calculus approach.

Paulo A. S. Veloso, Sheila R. M. Veloso, Mario R. F. Benevides

Log. J. IGPL, 2014

Propositional dynamic logic for Petri nets.

Bruno Lopes, Mario R. F. Benevides, Edward Hermann Haeusler

Log. J. IGPL, 2014

On Graph Calculi for Multi-modal Logics.

Paulo A. S. Veloso, Sheila R. M. Veloso, Mario R. F. Benevides

Proceedings of the Ninth Workshop on Logical and Semantic Frameworks, with Applications, 2014

2013

On a Graph Approach to Modal Logics.

Paulo A. S. Veloso, Sheila R. M. Veloso, Mario R. F. Benevides

Proceedings of the 8th Workshop on Logical and Semantic Frameworks, 2013

Preface.

Valeria de Paiva, Mario R. F. Benevides, Vivek Nigam, Elaine Pimentel

Proceedings of the 6th Workshop on Intuitionistic Modal Logic and Applications, 2013

Extending Propositional Dynamic Logic for Petri Nets.

Bruno Lopes, Mario R. F. Benevides, Edward Hermann Haeusler

Proceedings of the 8th Workshop on Logical and Semantic Frameworks, 2013

Bisimilar and Logically Equivalent Programs in PDL.

Mario R. F. Benevides

Proceedings of the 8th Workshop on Logical and Semantic Frameworks, 2013

Using HMM in Strategic Games.

Mario R. F. Benevides, Isaque Lima, Rafael Nader, Pedro Rougemont

Proceedings of the Proceedings 9th International Workshop on Developments in Computational Models, 2013

2011

A study on multi-dimensional products of graphs and hybrid logics.

Mario R. F. Benevides, Luis Menasché Schechter

Theor. Comput. Sci., 2011

Hybrid Logics and NP Graph Properties.

Francicleber Martins Ferreira, Cibele Matos Freire, Mario R. F. Benevides, Luis Menasché Schechter, Ana Teresa C. Martins

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

2010

On vague notions and modalities: a modular approach.

Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana, Renata P. de Freitas, Mario R. F. Benevides, Carla A. D. M. Delgado

Log. J. IGPL, 2010

Propositional Dynamic Logic with Storing, Recovering and Parallel Composition.

Mario R. F. Benevides, Renata P. de Freitas, Jorge Petrucio Viana

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

2009

Using modal logics to express and check global graph properties.

Mario R. F. Benevides, Luis Menasché Schechter

Log. J. IGPL, 2009

A Propositional Dynamic Logic for Concurrent Programs Based on the pi-Calculus.

Mario R. F. Benevides, Luis Menasché Schechter

Proceedings of the 6th Workshop on Methods for Modalities, 2009

Product of Graphs and Hybrid Logic.

Mario R. F. Benevides, Luis Menasché Schechter

Proceedings of the Fourth Workshop on Logical and Semantic Frameworks, with Applications, 2009

CCS-Based Dynamic Logics for Communicating Concurrent Programs

Mario R. F. Benevides, Luis Menasché Schechter

CoRR, 2009

Verification of Epistemic Properties in Probabilistic Multi-Agent Systems.

Carla A. D. M. Delgado, Mario R. F. Benevides

Proceedings of the Multiagent System Technologies, 7th German Conference, 2009

2008

Preface.

Belo Horizonte, Elaine Pimentel, Mario R. F. Benevides

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

A Propositional Dynamic Logic for CCS Programs.

Mario R. F. Benevides, Luis Menasché Schechter

Proceedings of the Logic, 2008

Proving Epistemic and Temporal Properties from Knowledge Based Programs.

Mario R. F. Benevides, Carla A. D. M. Delgado, Michel Carlini

Proceedings of the Advances in Artificial Intelligence, 2008

2007

On Fork Arrow Logic and its Expressive Power.

Paulo A. S. Veloso, Renata P. de Freitas, Jorge Petrucio Viana, Mario R. F. Benevides, Sheila R. M. Veloso

J. Philos. Log., 2007

Modal Expressiveness of Graph Properties.

Mario R. F. Benevides, Luis Menasché Schechter

Proceedings of the Second Workshop on Logical and Semantic Frameworks, with Applications, 2007

2006

A Compositional Automata-based Approach for Model Checking Multi-Agent Systems.

Mario R. F. Benevides, Carla A. D. M. Delgado, Carlos López Pombo, Luis Lopes, Ricardo Ribeiro

Proceedings of the Brazilian Symposium on Formal Methods, 2006

2005

Formalizing Concurrent Common Knowledge as Product of Modal Logics.

Vania Costa, Mario R. F. Benevides

Log. J. IGPL, 2005

Reasoning about Knowledge in Asynchronous Distributed Systems.

Vania Costa, Mario R. F. Benevides

Log. J. IGPL, 2005

Defining Agents Via Strategies: Towards a View of MAS as Games.

D. R. Vasconcelos, Edward Hermann Haeusler, Mario R. F. Benevides

Proceedings of the Innovative Concepts for Autonomic and Agent-Based Systems, 2005

2004

On Modalities for Vague Notions.

Mario R. F. Benevides, Carla A. D. M. Delgado, Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso

Proceedings of the Advances in Artificial Intelligence - SBIA 2004, 17th Brazilian Symposium on Artificial Intelligence, São Luis, Maranhão, Brazil, September 29, 2004

2003

Squares in Fork Arrow Logic.

Renata P. de Freitas, Jorge Petrucio Viana, Mario R. F. Benevides, Sheila R. M. Veloso, Paulo A. S. Veloso

J. Philos. Log., 2003

Mediating Heterogeneous Web Services.

Paulo F. Pires, Mario R. F. Benevides, Marta Mattoso

Proceedings of the 2003 Symposium on Applications and the Internet (SAINT 2003), 27-31 January 2003, 2003

Modal Logics for Finite Graphs.

Mario R. F. Benevides

Proceedings of the Logic for Concurrency and Synchronisation, 2003

2002

Building Reliable Web Services Compositions.

Paulo F. Pires, Mario R. F. Benevides, Marta Mattoso

Proceedings of the Web, 2002

Reasoning about Events and Knowledge in Distributed Systems.

Carla A. D. M. Delgado, Mario R. F. Benevides

Proceedings of the International Conference on Artificial Intelligence, 2002

A Two-dimensional Modal Logic for Knowledge Representation in Asynchronous Multi-Agent Systems.

Vania Costa, Mario R. F. Benevides

Proceedings of the International Conference on Artificial Intelligence, 2002

2001

Sharing Resources at Nonuniform Access Rates.

Valmir Carneiro Barbosa, Mario R. F. Benevides, Felipe M. G. França

Theory Comput. Syst., 2001

A priority dynamics for generalized drinking philosophers.

Valmir Carneiro Barbosa, Mario R. F. Benevides, Ayru L. Oliveira Filho

Inf. Process. Lett., 2001

2000

Mechanisms for Specifying Communication Behavior in Object Oriented Database.

Paulo F. Pires, Mario R. F. Benevides, Marta Mattoso

Proceedings of the Applied Computing 2000, 2000

1997

Automatic Generation of CCS Specifications for Resource Sharing Problems.

Mario R. F. Benevides, Marcelo Sihman

Proceedings of the On Principles Of Distributed Systems, 1997

1995

Multiple Database Logic.

Mario R. F. Benevides

Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1995

1994

PROMAL - Programming in Modal Action Logic.

Odinaldo Rodrigues, Mario R. F. Benevides

Proceedings of the Programming Language Implementation and Logic Programming, 1994

1993

Differentiating Assumptions from Extra-Logical Axioms in Natural Deduction.

Mario R. F. Benevides

Proceedings of the Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, 1993

1992

A Constructive Presentation for the Modal Connective of Necessity (\Box).

Mario R. F. Benevides, T. S. E. Maibaum

J. Log. Comput., 1992

1991

A proof theoretical methodology for multiple world reasoning.

Mario R. F. Benevides

PhD thesis, 1991