![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Mario R. F. Benevides
Person information
- affiliation: Federal University of Rio de Janeiro, Brazil
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [j21]Mario Roberto Folhadela Benevides
, Alexandre Madeira
, Manuel A. Martins
:
Graded epistemic logic with public announcement. J. Log. Algebraic Methods Program. 125: 100732 (2022) - [j20]Vitor Machado, Mario R. F. Benevides:
Temporal logic for social networks. J. Log. Comput. 32(6): 1088-1108 (2022) - 2021
- [c39]Mario R. F. Benevides, Alexandre Madeira
, Manuel A. Martins:
Adding Proof Calculi to Epistemic Logics with Structured Knowledge. FSEN 2021: 53-68 - [i3]Vitor Machado, Mario R. F. Benevides:
Temporal Logic for Social Networks. CoRR abs/2103.07392 (2021) - 2020
- [j19]Mario R. F. Benevides, Alexandre Madeira
:
DaLí - Dynamic Logic, new trends and applications. J. Log. Algebraic Methods Program. 111: 100514 (2020)
2010 – 2019
- 2019
- [c38]Leandro Gomes
, Alexandre Madeira
, Mario R. F. Benevides:
Logics for Petri Nets with Propagating Failures. FSEN 2019: 145-157 - [c37]Vitor Machado, Mario R. F. Benevides:
Populational Announcement Logic (PPAL). LSFA 2019: 105-123 - [i2]Mario R. F. Benevides, Isaque M. S. Lima:
Dynamic Epistemic Logic with Communication Actions. CoRR abs/1902.01164 (2019) - 2018
- [j18]Mario R. F. Benevides
, Bruno Lopes
, Edward Hermann Haeusler:
Towards reasoning about Petri nets: A Propositional Dynamic Logic based approach. Theor. Comput. Sci. 744: 22-36 (2018) - [c36]Sheila R. M. Veloso, Paulo A. S. Veloso, Mario R. F. Benevides
, Isaque M. S. Lima:
On Diagrams and General Model Checkers. Diagrams 2018: 680-688 - [c35]Mario Roberto Folhadela Benevides, Isaque Macalam Saab Lima:
Dynamic Epistemic Logic with Communication Actions. LSFA 2018: 67-82 - [c34]Alexandre Madeira
, Manuel A. Martins, Mario R. F. Benevides:
Epistemic Logics with Structured Knowledge. LSFA 2018: 137-149 - [e4]Alexandre Madeira, Mario R. F. Benevides
:
Dynamic Logic. New Trends and Applications - First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings. Lecture Notes in Computer Science 10669, Springer 2018, ISBN 978-3-319-73578-8 [contents] - 2017
- [j17]Mario R. F. Benevides
, Isaque Lima:
Action Models with Postconditions. Computación y Sistemas 21(3) (2017) - [j16]Mario R. F. Benevides
:
Bisimilar and logically equivalent programs in PDL with parallel operator. Theor. Comput. Sci. 685: 23-45 (2017) - [j15]Paulo A. S. Veloso, Sheila R. M. Veloso, Mario R. F. Benevides
:
On a graph calculus for modalities. Theor. Comput. Sci. 685: 83-103 (2017) - [c33]Vitor Machado, Mario R. F. Benevides:
Populational Announcement Logic (PPAL). DARe@LPNMR 2017: 2-15 - [c32]Mario R. F. Benevides
, Alexandre Madeira
, Manuel A. Martins
:
A Family of Graded Epistemic Logics. LSFA 2017: 45-59 - 2016
- [c31]Mario R. F. Benevides
, Bruno Lopes
, Edward Hermann Haeusler:
Propositional Dynamic Logic for Petri Nets with Iteration. ICTAC 2016: 441-456 - [e3]Mario R. F. Benevides, René Thiemann:
Proceedings of the Tenth Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2015, Natal, Brazil, August 31 - September 1, 2015. Electronic Notes in Theoretical Computer Science 323, Elsevier 2016 [contents] - 2015
- [c30]Bruno Lopes
, Mario R. F. Benevides
, Edward Hermann Haeusler:
Reasoning about Multi-Agent Systems Using Stochastic Petri Nets. PAAMS (Special Sessions) 2015: 75-86 - [c29]Mario R. F. Benevides
, René Thiemann
:
Preface. LSFA 2015: 1-2 - 2014
- [j14]Bruno Lopes
, Mario R. F. Benevides
, Edward Hermann Haeusler:
Propositional dynamic logic for Petri nets. Log. J. IGPL 22(5): 721-736 (2014) - [j13]Paulo A. S. Veloso, Sheila R. M. Veloso, Mario R. F. Benevides
:
PDL for structured data: a graph-calculus approach. Log. J. IGPL 22(5): 737-757 (2014) - [j12]Francicleber Martins Ferreira, Cibele Matos Freire, Mario R. F. Benevides
, Luis Menasché Schechter, Ana Teresa C. Martins:
Polynomial hierarchy graph properties in hybrid logic. J. Comput. Syst. Sci. 80(6): 1087-1101 (2014) - [j11]Mario R. F. Benevides
, Luis Menasché Schechter:
Propositional dynamic logics for communicating concurrent programs with CCS's parallel operator. J. Log. Comput. 24(4): 919-951 (2014) - [c28]Paulo A. S. Veloso, Sheila R. M. Veloso, Mario R. F. Benevides
:
On Graph Calculi for Multi-modal Logics. LSFA 2014: 231-252 - [e2]Valeria de Paiva, Mario R. F. Benevides, Vivek Nigam, Elaine Pimentel:
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. Electronic Notes in Theoretical Computer Science 300, Elsevier 2014 [contents] - 2013
- [c27]Mario R. F. Benevides
, Isaque Lima, Rafael Nader, Pedro Rougemont
:
Using HMM in Strategic Games. DCM 2013: 73-84 - [c26]Valeria de Paiva
, Mario R. F. Benevides
, Vivek Nigam, Elaine Pimentel
:
Preface. IMLA@UNILOG 2013: 1-2 - [c25]Mario R. F. Benevides
:
Bisimilar and Logically Equivalent Programs in PDL. LSFA 2013: 5-18 - [c24]Bruno Lopes
, Mario R. F. Benevides
, Edward Hermann Haeusler:
Extending Propositional Dynamic Logic for Petri Nets. LSFA 2013: 67-83 - [c23]Paulo A. S. Veloso, Sheila R. M. Veloso, Mario R. F. Benevides
:
On a Graph Approach to Modal Logics. LSFA 2013: 123-139 - 2011
- [j10]Mario R. F. Benevides
, Luis Menasché Schechter:
A study on multi-dimensional products of graphs and hybrid logics. Theor. Comput. Sci. 412(37): 4946-4966 (2011) - [c22]Francicleber Martins Ferreira, Cibele Matos Freire, Mario R. F. Benevides
, Luis Menasché Schechter, Ana Teresa C. Martins:
Hybrid Logics and NP Graph Properties. WoLLIC 2011: 123-134 - 2010
- [j9]Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana, Renata P. de Freitas, Mario R. F. Benevides
, Carla A. D. M. Delgado
:
On vague notions and modalities: a modular approach. Log. J. IGPL 18(3): 381-402 (2010) - [c21]Mario R. F. Benevides
, Renata P. de Freitas, Jorge Petrucio Viana:
Propositional Dynamic Logic with Storing, Recovering and Parallel Composition. LSFA 2010: 95-107
2000 – 2009
- 2009
- [j8]Mario R. F. Benevides
, Luis Menasché Schechter:
Using modal logics to express and check global graph properties. Log. J. IGPL 17(5): 559-587 (2009) - [c20]Carla A. D. M. Delgado
, Mario R. F. Benevides
:
Verification of Epistemic Properties in Probabilistic Multi-Agent Systems. MATES 2009: 16-28 - [c19]Mario R. F. Benevides
, Luis Menasché Schechter:
A Propositional Dynamic Logic for Concurrent Programs Based on the pi-Calculus. M4M 2009: 49-64 - [c18]Mario R. F. Benevides
, Luis Menasché Schechter:
Product of Graphs and Hybrid Logic. LSFA 2009: 103-118 - [e1]Belo Horizonte, Elaine Pimentel, Mario R. F. Benevides:
Proceedings of the Third Workshop on Logical and Semantic Frameworks with Applications, LSFA 2008, Salvador, Brazil, August 26, 2008. Electronic Notes in Theoretical Computer Science 247, Elsevier 2009 [contents] - [i1]Mario R. F. Benevides, Luis Menasché Schechter:
CCS-Based Dynamic Logics for Communicating Concurrent Programs. CoRR abs/0904.0034 (2009) - 2008
- [c17]Mario R. F. Benevides, Carla A. D. M. Delgado
, Michel Carlini:
Proving Epistemic and Temporal Properties from Knowledge Based Programs. SBIA 2008: 134-144 - [c16]Mario R. F. Benevides
, Luis Menasché Schechter:
A Propositional Dynamic Logic for CCS Programs. WoLLIC 2008: 83-97 - [c15]Belo Horizonte, Elaine Pimentel
, Mario R. F. Benevides
:
Preface. LSFA 2008: 1-3 - 2007
- [j7]Paulo A. S. Veloso, Renata P. de Freitas, Jorge Petrucio Viana, Mario R. F. Benevides
, Sheila R. M. Veloso:
On Fork Arrow Logic and its Expressive Power. J. Philos. Log. 36(5): 489-509 (2007) - [c14]Mario R. F. Benevides
, Luis Menasché Schechter:
Modal Expressiveness of Graph Properties. LSFA 2007: 31-47 - 2006
- [c13]Mario R. F. Benevides
, Carla A. D. M. Delgado
, Carlos López Pombo, Luis Lopes, Ricardo Ribeiro:
A Compositional Automata-based Approach for Model Checking Multi-Agent Systems. SBMF 2006: 133-149 - 2005
- [j6]Vania Costa, Mario R. F. Benevides
:
Reasoning about Knowledge in Asynchronous Distributed Systems. Log. J. IGPL 13(1): 5-28 (2005) - [j5]Vania Costa, Mario R. F. Benevides
:
Formalizing Concurrent Common Knowledge as Product of Modal Logics. Log. J. IGPL 13(6): 665-684 (2005) - [c12]D. R. Vasconcelos, Edward Hermann Haeusler, Mario R. F. Benevides
:
Defining Agents Via Strategies: Towards a View of MAS as Games. WRAC 2005: 299-311 - 2004
- [c11]Mario R. F. Benevides, Carla A. D. M. Delgado
, Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso:
On Modalities for Vague Notions. SBIA 2004: 1-10 - 2003
- [j4]Renata P. de Freitas, Jorge Petrucio Viana, Mario R. F. Benevides
, Sheila R. M. Veloso, Paulo A. S. Veloso:
Squares in Fork Arrow Logic. J. Philos. Log. 32(4): 343-355 (2003) - [c10]Paulo F. Pires, Mario R. F. Benevides
, Marta Mattoso
:
Mediating Heterogeneous Web Services. SAINT 2003: 344-347 - [p1]Mario R. F. Benevides
:
Modal Logics for Finite Graphs. Logic for Concurrency and Synchronisation 2003: 239-267 - 2002
- [c9]Carla A. D. M. Delgado, Mario R. F. Benevides:
Reasoning about Events and Knowledge in Distributed Systems. IC-AI 2002: 1213-1219 - [c8]Vania Costa, Mario R. F. Benevides:
A Two-dimensional Modal Logic for Knowledge Representation in Asynchronous Multi-Agent Systems. IC-AI 2002: 1271-1277 - [c7]Paulo F. Pires, Mario R. F. Benevides, Marta Mattoso:
Building Reliable Web Services Compositions. Web, Web-Services, and Database Systems 2002: 59-72 - 2001
- [j3]Valmir Carneiro Barbosa
, Mario R. F. Benevides
, Ayru L. Oliveira Filho:
A priority dynamics for generalized drinking philosophers. Inf. Process. Lett. 79(4): 189-195 (2001) - [j2]Valmir Carneiro Barbosa
, Mario R. F. Benevides
, Felipe M. G. França
:
Sharing Resources at Nonuniform Access Rates. Theory Comput. Syst. 34(1): 13-26 (2001) - 2000
- [c6]Paulo F. Pires
, Mario R. F. Benevides
, Marta Mattoso
:
Mechanisms for Specifying Communication Behavior in Object Oriented Database. SAC (1) 2000: 389-397
1990 – 1999
- 1997
- [c5]Mario R. F. Benevides, Marcelo Sihman:
Automatic Generation of CCS Specifications for Resource Sharing Problems. OPODIS 1997: 111-122 - 1995
- [c4]Mario R. F. Benevides:
Multiple Database Logic. ECSQARU 1995: 28-36 - [c3]Odinaldo Rodrigues, Mario R. F. Benevides
:
PROMAL: Programming in Modal Action Logic. SBIA 1995: 101-111 - 1994
- [c2]Odinaldo Rodrigues, Mario R. F. Benevides:
PROMAL - Programming in Modal Action Logic. PLILP 1994: 457-458 - 1993
- [c1]Mario R. F. Benevides
:
Differentiating Assumptions from Extra-Logical Axioms in Natural Deduction. Kurt Gödel Colloquium 1993: 120-131 - 1992
- [j1]Mario R. F. Benevides
, T. S. E. Maibaum:
A Constructive Presentation for the Modal Connective of Necessity (\Box). J. Log. Comput. 2(1): 31-50 (1992) - 1991
- [b1]Mario R. F. Benevides:
A proof theoretical methodology for multiple world reasoning. Imperial College London, UK, 1991
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:49 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint