A proof theoretical methodology for multiple world reasoning. - Mario R. F. Benevides (1991)

A Constructive Presentation for the Modal Connective of Necessity ( Box). - Mario R. F. Benevides; T. S. E. Maibaum (J. Log. Comput., 1992)

Differentiating Assumptions from Extra-Logical Axioms in Natural Deduction. - Mario R. F. Benevides (Kurt Gödel Colloquium, 1993)

PROMAL - Programming in Modal Action Logic. - Odinaldo Rodrigues; Mario R. F. Benevides (PLILP, 1994)

Multiple Database Logic. - Mario R. F. Benevides (ECSQARU, 1995)

Automatic Generation of CCS Specifications for Resource Sharing Problems. - Mario R. F. Benevides; Marcelo Sihman (OPODIS, 1997)

Mechanisms for Specifying Communication Behavior in Object Oriented Database. - Paulo F. Pires; Mario R. F. Benevides; Marta Mattoso (SAC (1), 2000)

A priority dynamics for generalized drinking philosophers. - Valmir Carneiro Barbosa; Mario R. F. Benevides; Ayru L. Oliveira Filho (Inf. Process. Lett., 2001)

Sharing Resources at Nonuniform Access Rates. - Valmir Carneiro Barbosa; Mario R. F. Benevides; Felipe M. G. França (Theory Comput. Syst., 2001)

A Two-dimensional Modal Logic for Knowledge Representation in Asynchronous Multi-Agent Systems. - Vania Costa; Mario R. F. Benevides (IC-AI, 2002)

Reasoning about Events and Knowledge in Distributed Systems. - Carla A. D. M. Delgado; Mario R. F. Benevides (IC-AI, 2002)

Building Reliable Web Services Compositions. - Paulo F. Pires; Mario R. F. Benevides; Marta Mattoso (Web, Web-Services, and Database Systems, 2002)

Modal Logics for Finite Graphs. - Mario R. F. Benevides (Logic for Concurrency and Synchronisation, 2003)

Mediating Heterogeneous Web Services. - Paulo F. Pires; Mario R. F. Benevides; Marta Mattoso (SAINT, 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)

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 (SBIA, 2004)

Defining Agents Via Strategies: Towards a View of MAS as Games. - D. R. Vasconcelos; Edward Hermann Haeusler; Mario R. F. Benevides (WRAC, 2005)

Reasoning about Knowledge in Asynchronous Distributed Systems. - Vania Costa; Mario R. F. Benevides (Log. J. IGPL, 2005)

Formalizing Concurrent Common Knowledge as Product of Modal Logics. - Vania Costa; Mario R. F. Benevides (Log. J. IGPL, 2005)

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 003; Ricardo Ribeiro 002 (SBMF, 2006)

Modal Expressiveness of Graph Properties. - Mario R. F. Benevides; Luis Menasché Schechter (LSFA, 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)

Proving Epistemic and Temporal Properties from Knowledge Based Programs. - Mario R. F. Benevides; Carla A. D. M. Delgado; Michel Carlini (SBIA, 2008)

A Propositional Dynamic Logic for CCS Programs. - Mario R. F. Benevides; Luis Menasché Schechter (WoLLIC, 2008)

Preface. - Belo Horizonte; Elaine Pimentel; Mario R. F. Benevides (LSFA, 2008)

Verification of Epistemic Properties in Probabilistic Multi-Agent Systems. - Carla A. D. M. Delgado; Mario R. F. Benevides (MATES, 2009)

CCS-Based Dynamic Logics for Communicating Concurrent Programs - Mario R. F. Benevides; Luis Menasché Schechter (CoRR, 2009)

Product of Graphs and Hybrid Logic. - Mario R. F. Benevides; Luis Menasché Schechter (LSFA, 2009)

A Propositional Dynamic Logic for Concurrent Programs Based on the pi-Calculus. - Mario R. F. Benevides; Luis Menasché Schechter (M4M, 2009)

Using modal logics to express and check global graph properties. - Mario R. F. Benevides; Luis Menasché Schechter (Log. J. IGPL, 2009)

Propositional Dynamic Logic with Storing, Recovering and Parallel Composition. - Mario R. F. Benevides; Renata P. de Freitas; Jorge Petrucio Viana (LSFA, 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)

Hybrid Logics and NP Graph Properties. - Francicleber Martins Ferreira; Cibele Matos Freire; Mario R. F. Benevides; Luis Menasché Schechter; Ana Teresa C. Martins (WoLLIC, 2011)

A study on multi-dimensional products of graphs and hybrid logics. - Mario R. F. Benevides; Luis Menasché Schechter (Theor. Comput. Sci., 2011)

Using HMM in Strategic Games. - Mario R. F. Benevides; Isaque Lima 001; Rafael Nader; Pedro Rougemont (DCM, 2013)

Bisimilar and Logically Equivalent Programs in PDL. - Mario R. F. Benevides (LSFA, 2013)

Extending Propositional Dynamic Logic for Petri Nets. - Bruno Lopes 001; Mario R. F. Benevides; Edward Hermann Haeusler (LSFA, 2013)

Preface. - Valeria de Paiva; Mario R. F. Benevides; Vivek Nigam; Elaine Pimentel (IMLA@UNILOG, 2013)

On a Graph Approach to Modal Logics. - Paulo A. S. Veloso; Sheila R. M. Veloso; Mario R. F. Benevides (LSFA, 2013)

On Graph Calculi for Multi-modal Logics. - Paulo A. S. Veloso; Sheila R. M. Veloso; Mario R. F. Benevides (LSFA, 2014)

Propositional dynamic logic for Petri nets. - Bruno Lopes 001; Mario R. F. Benevides; Edward Hermann Haeusler (Log. J. IGPL, 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)

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)

Propositional dynamic logics for communicating concurrent programs with CCS's parallel operator. - Mario R. F. Benevides; Luis Menasché Schechter (J. Log. Comput., 2014)

Reasoning about Multi-Agent Systems Using Stochastic Petri Nets. - Bruno Lopes 001; Mario R. F. Benevides; Edward Hermann Haeusler (PAAMS (Special Sessions), 2015)

Preface. - Mario R. F. Benevides; René Thiemann (LSFA, 2015)

Propositional Dynamic Logic for Petri Nets with Iteration. - Mario R. F. Benevides; Bruno Lopes 001; Edward Hermann Haeusler (ICTAC, 2016)

Action Models with Postconditions. - Mario R. F. Benevides; Isaque Lima 001 (Computación y Sistemas, 2017)

A Family of Graded Epistemic Logics. - Mario R. F. Benevides; Alexandre Madeira; Manuel A. Martins 001 (LSFA, 2017)

Bisimilar and logically equivalent programs in PDL with parallel operator. - Mario R. F. Benevides (Theor. Comput. Sci., 2017)

On a graph calculus for modalities. - Paulo A. S. Veloso; Sheila R. M. Veloso; Mario R. F. Benevides (Theor. Comput. Sci., 2017)

On Diagrams and General Model Checkers. - Sheila R. M. Veloso; Paulo A. S. Veloso; Mario R. F. Benevides; Isaque M. S. Lima (Diagrams, 2018)

Dynamic Epistemic Logic with Communication Actions. - Mario Roberto Folhadela Benevides; Isaque Macalam Saab Lima (LSFA, 2018)

Epistemic Logics with Structured Knowledge. - Alexandre Madeira; Manuel A. Martins 001; Mario R. F. Benevides (LSFA, 2018)

Towards reasoning about Petri nets: A Propositional Dynamic Logic based approach. - Mario R. F. Benevides; Bruno Lopes 001; Edward Hermann Haeusler (Theor. Comput. Sci., 2018)

Logics for Petri Nets with Propagating Failures. - Leandro Gomes 001; Alexandre Madeira; Mario R. F. Benevides (FSEN, 2019)

Populational Announcement Logic (PPAL). - Vitor Machado; Mario R. F. Benevides (LSFA, 2019)

DaLí - Dynamic Logic, new trends and applications. - Mario R. F. Benevides; Alexandre Madeira (J. Log. Algebraic Methods Program., 2020)

Adding Proof Calculi to Epistemic Logics with Structured Knowledge. - Mario R. F. Benevides; Alexandre Madeira; Manuel A. Martins 001 (FSEN, 2021)

Graded epistemic logic with public announcement. - Mario Roberto Folhadela Benevides; Alexandre Madeira; Manuel A. Martins 001 (J. Log. Algebraic Methods Program., 2022)

Temporal logic for social networks. - Vitor Machado; Mario R. F. Benevides (J. Log. Comput., 2022)

Towards determinism in PDL: relations and proof theory. - Mario R. F. Benevides; Leandro Gomes 001; Bruno Lopes 001 (J. Log. Comput., 2025)

Temporal logics for compartmental models. - Vitor Machado; Mario R. F. Benevides (J. Log. Comput., 2025)