Mario R. F. Benevides

69 papers B 1C 5Misc 2Journal 25Unranked 30
YearRankTypeTitle / Venue / Authors
2025 J jnl
Temporal logics for compartmental models.
J. Log. Comput.
Vitor Machado, Mario R. F. Benevides
2025 J jnl
Towards determinism in PDL: relations and proof theory.
J. Log. Comput.
Mario R. F. Benevides, Leandro Gomes, Bruno Lopes
2022 J jnl
Temporal logic for social networks.
J. Log. Comput.
Vitor Machado, Mario R. F. Benevides
2021 — conf
Adding Proof Calculi to Epistemic Logics with Structured Knowledge.
FSEN
Mario R. F. Benevides, Alexandre Madeira, Manuel A. Martins
2021 J jnl
Temporal Logic for Social Networks.
CoRR
Vitor Machado, Mario R. F. Benevides
2020 J jnl
DaLí - Dynamic Logic, new trends and applications.
J. Log. Algebraic Methods Program.
Mario R. F. Benevides, Alexandre Madeira
2019 J jnl
Dynamic Epistemic Logic with Communication Actions.
CoRR
Mario R. F. Benevides, Isaque M. S. Lima
2019 — conf
Logics for Petri Nets with Propagating Failures.
FSEN
Leandro Gomes, Alexandre Madeira, Mario R. F. Benevides
2019 — conf
Populational Announcement Logic (PPAL).
LSFA
Vitor Machado, Mario R. F. Benevides
2018 — ed.
Dynamic Logic. New Trends and Applications - First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings
DALI@TABLEAUX
Alexandre Madeira, Mario R. F. Benevides
2018 — conf
Epistemic Logics with Structured Knowledge.
LSFA
Alexandre Madeira, Manuel A. Martins, Mario R. F. Benevides
2018 C conf
On Diagrams and General Model Checkers.
Diagrams
Sheila R. M. Veloso, Paulo A. S. Veloso, Mario R. F. Benevides, Isaque M. S. Lima
2018 J jnl
Towards reasoning about Petri nets: A Propositional Dynamic Logic based approach.
Theor. Comput. Sci.
Mario R. F. Benevides, Bruno Lopes, Edward Hermann Haeusler
2017 — conf
A Family of Graded Epistemic Logics.
LSFA
Mario R. F. Benevides, Alexandre Madeira, Manuel A. Martins
2017 J jnl
Action Models with Postconditions.
Computación y Sistemas
Mario R. F. Benevides, Isaque Lima
2017 J jnl
Bisimilar and logically equivalent programs in PDL with parallel operator.
Theor. Comput. Sci.
Mario R. F. Benevides
2017 J jnl
On a graph calculus for modalities.
Theor. Comput. Sci.
Paulo A. S. Veloso, Sheila R. M. Veloso, Mario R. F. Benevides
2017 — conf
Populational Announcement Logic (PPAL).
DARe@LPNMR
Vitor Machado, Mario R. F. Benevides
2016 — ed.
Proceedings of the Tenth Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2015, Natal, Brazil, August 31 - September 1, 2015
LSFA
Mario R. F. Benevides, René Thiemann
2016 C conf
Propositional Dynamic Logic for Petri Nets with Iteration.
ICTAC
Mario R. F. Benevides, Bruno Lopes, Edward Hermann Haeusler
2015 — conf
Preface.
LSFA
Mario R. F. Benevides, René Thiemann
2015 — conf
Reasoning about Multi-Agent Systems Using Stochastic Petri Nets.
PAAMS (Special Sessions)
Bruno Lopes, Mario R. F. Benevides, Edward Hermann Haeusler
2014 — conf
On Graph Calculi for Multi-modal Logics.
LSFA
Paulo A. S. Veloso, Sheila R. M. Veloso, Mario R. F. Benevides
2014 J jnl
PDL for structured data: a graph-calculus approach.
Log. J. IGPL
Paulo A. S. Veloso, Sheila R. M. Veloso, Mario R. F. Benevides
2014 J jnl
Polynomial hierarchy graph properties in hybrid logic.
J. Comput. Syst. Sci.
Francicleber Martins Ferreira, Cibele Matos Freire, Mario R. F. Benevides, Luis Menasché Schechter, Ana Teresa C. Martins
2014 — ed.
Proceedings of the 6th Workshop on Intuitionistic Modal Logic and Applications, IMLA 2013, in association with UNILOG 2013, Rio de Janeiro, Brazil, April 7, 2013
IMLA@UNILOG
Valeria de Paiva, Mario R. F. Benevides, Vivek Nigam, Elaine Pimentel
2014 J jnl
Propositional dynamic logic for Petri nets.
Log. J. IGPL
Bruno Lopes, Mario R. F. Benevides, Edward Hermann Haeusler
2014 J jnl
Propositional dynamic logics for communicating concurrent programs with CCS's parallel operator.
J. Log. Comput.
Mario R. F. Benevides, Luis Menasché Schechter
2013 — conf
Bisimilar and Logically Equivalent Programs in PDL.
LSFA
Mario R. F. Benevides
2013 — conf
Extending Propositional Dynamic Logic for Petri Nets.
LSFA
Bruno Lopes, Mario R. F. Benevides, Edward Hermann Haeusler
2013 — conf
On a Graph Approach to Modal Logics.
LSFA
Paulo A. S. Veloso, Sheila R. M. Veloso, Mario R. F. Benevides
2013 — conf
Preface.
IMLA@UNILOG
Valeria de Paiva, Mario R. F. Benevides, Vivek Nigam, Elaine Pimentel
2013 — conf
Using HMM in Strategic Games.
DCM
Mario R. F. Benevides, Isaque Lima, Rafael Nader, Pedro Rougemont
2011 J jnl
A study on multi-dimensional products of graphs and hybrid logics.
Theor. Comput. Sci.
Mario R. F. Benevides, Luis Menasché Schechter
2011 C conf
Hybrid Logics and NP Graph Properties.
WoLLIC
Francicleber Martins Ferreira, Cibele Matos Freire, Mario R. F. Benevides, Luis Menasché Schechter, Ana Teresa C. Martins
2010 J jnl
On vague notions and modalities: a modular approach.
Log. J. IGPL
Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana, Renata P. de Freitas, Mario R. F. Benevides, Carla A. D. M. Delgado
2010 — conf
Propositional Dynamic Logic with Storing, Recovering and Parallel Composition.
LSFA
Mario R. F. Benevides, Renata P. de Freitas, Jorge Petrucio Viana
2009 — conf
A Propositional Dynamic Logic for Concurrent Programs Based on the pi-Calculus.
M4M
Mario R. F. Benevides, Luis Menasché Schechter
2009 J jnl
CCS-Based Dynamic Logics for Communicating Concurrent Programs
CoRR
Mario R. F. Benevides, Luis Menasché Schechter
2009 — ed.
Proceedings of the Third Workshop on Logical and Semantic Frameworks with Applications, LSFA 2008, Salvador, Brazil, August 26, 2008
LSFA
Belo Horizonte, Elaine Pimentel, Mario R. F. Benevides
2009 — conf
Product of Graphs and Hybrid Logic.
LSFA
Mario R. F. Benevides, Luis Menasché Schechter
2009 J jnl
Using modal logics to express and check global graph properties.
Log. J. IGPL
Mario R. F. Benevides, Luis Menasché Schechter
2009 — conf
Verification of Epistemic Properties in Probabilistic Multi-Agent Systems.
MATES
Carla A. D. M. Delgado, Mario R. F. Benevides
2008 C conf
A Propositional Dynamic Logic for CCS Programs.
WoLLIC
Mario R. F. Benevides, Luis Menasché Schechter
2008 — conf
Preface.
LSFA
Belo Horizonte, Elaine Pimentel, Mario R. F. Benevides
2008 — conf
Proving Epistemic and Temporal Properties from Knowledge Based Programs.
SBIA
Mario R. F. Benevides, Carla A. D. M. Delgado, Michel Carlini
2007 — conf
Modal Expressiveness of Graph Properties.
LSFA
Mario R. F. Benevides, Luis Menasché Schechter
2007 J jnl
On Fork Arrow Logic and its Expressive Power.
J. Philos. Log.
Paulo A. S. Veloso, Renata P. de Freitas, Jorge Petrucio Viana, Mario R. F. Benevides, Sheila R. M. Veloso
2006 — conf
A Compositional Automata-based Approach for Model Checking Multi-Agent Systems.
SBMF
Mario R. F. Benevides, Carla A. D. M. Delgado, Carlos López Pombo, Luis Lopes, Ricardo Ribeiro
2005 — conf
Defining Agents Via Strategies: Towards a View of MAS as Games.
WRAC
D. R. Vasconcelos, Edward Hermann Haeusler, Mario R. F. Benevides
2005 J jnl
Formalizing Concurrent Common Knowledge as Product of Modal Logics.
Log. J. IGPL
Vania Costa, Mario R. F. Benevides
2005 J jnl
Reasoning about Knowledge in Asynchronous Distributed Systems.
Log. J. IGPL
Vania Costa, Mario R. F. Benevides
2004 — conf
On Modalities for Vague Notions.
SBIA
Mario R. F. Benevides, Carla A. D. M. Delgado, Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso
2003 — conf
Mediating Heterogeneous Web Services.
SAINT
Paulo F. Pires, Mario R. F. Benevides, Marta Mattoso
2003 — ch.
Modal Logics for Finite Graphs.
Logic for Concurrency and Synchronisation
Mario R. F. Benevides
2003 J jnl
Squares in Fork Arrow Logic.
J. Philos. Log.
Renata P. de Freitas, Jorge Petrucio Viana, Mario R. F. Benevides, Sheila R. M. Veloso, Paulo A. S. Veloso
2002 Misc conf
A Two-dimensional Modal Logic for Knowledge Representation in Asynchronous Multi-Agent Systems.
IC-AI
Vania Costa, Mario R. F. Benevides
2002 — conf
Building Reliable Web Services Compositions.
Web, Web-Services, and Database Systems
Paulo F. Pires, Mario R. F. Benevides, Marta Mattoso
2002 Misc conf
Reasoning about Events and Knowledge in Distributed Systems.
IC-AI
Carla A. D. M. Delgado, Mario R. F. Benevides
2001 J jnl
A priority dynamics for generalized drinking philosophers.
Inf. Process. Lett.
Valmir Carneiro Barbosa, Mario R. F. Benevides, Ayru L. Oliveira Filho
2001 J jnl
Sharing Resources at Nonuniform Access Rates.
Theory Comput. Syst.
Valmir Carneiro Barbosa, Mario R. F. Benevides, Felipe M. G. França
2000 — conf
Mechanisms for Specifying Communication Behavior in Object Oriented Database.
SAC (1)
Paulo F. Pires, Mario R. F. Benevides, Marta Mattoso
1997 B conf
Automatic Generation of CCS Specifications for Resource Sharing Problems.
OPODIS
Mario R. F. Benevides, Marcelo Sihman
1995 C conf
Multiple Database Logic.
ECSQARU
Mario R. F. Benevides
1995 — conf
PROMAL: Programming in Modal Action Logic.
SBIA
Odinaldo Rodrigues, Mario R. F. Benevides
1994 — conf
PROMAL - Programming in Modal Action Logic.
PLILP
Odinaldo Rodrigues, Mario R. F. Benevides
1993 — conf
Differentiating Assumptions from Extra-Logical Axioms in Natural Deduction.
Kurt Gödel Colloquium
Mario R. F. Benevides
1992 J jnl
A Constructive Presentation for the Modal Connective of Necessity (\Box).
J. Log. Comput.
Mario R. F. Benevides, T. S. E. Maibaum
1991 — —
A proof theoretical methodology for multiple world reasoning.
Mario R. F. Benevides