**Mario Benevides' publications**

**Towards reasoning about Petri nets: A Propositional Dynamic Logic based approach**- Theoretical Computer Science v. 744, p. 22-36, 2018 (with Bruno Lopes e Edward Hermann Hauesler).

**On a graph calculus for modalities**- Theoretical Computer Science v. 685, p. 83-103, 2017 (with Paulo Veloso, Sheila Veloso).

**Bisimilar and logically equivalent programs in PDL with parallel operator**- Theoretical Computer Science v. 685, p. 23-45, 2017.

**Action Models with Postconditions**- COMPUTACION Y SISTEMAS v. 21, p. 401-406, 2017 (with Isaque M. S. Lima).

**PDL for structured data: a graph-calculus approach**- Logic Journal of the IGPL v. 22, p. 737-757, 2014 (with Paulo Veloso, Sheila Veloso).

**Propositional dynamic logic for Petri Nets**- Logic Journal of the IGPL v. 22, p. 721-736, 2014 (with Bruno Lopes e Edward Hermann Hauesler).

**Polynomial Hierarchy Graph Problems in Hybrid Logic**- Journal of Computer and System Sciences, v. 80, p. 1087-1101, 2014 (with Francicleber Ferreira, Cibele Freire, Luis Menasché Schechter and Ana Teresa Martins).

**Propositional Dynamic Logics for Communicating Concurrent Programs with CCS’s Parallel Operator**- Journal of Logic and Computation, v. 24, p. 919-951, 2014, (with Luis Menasché Schechter).

**A Study on Multi-Dimensional Products of Graphs and Hybrid Logics**- Theoretical Computer Science v. 412, p. 4946-4966, 2011 (with Luis Menasché Schechter).

**On Vague Notions and Modalities: a Modular Approach**- Logic Journal of the IGPL v. 18, p. 381-402, 2010 (with Paulo Veloso, Sheila Veloso, Petrúcio Viana, Renata Freitas and Carla Delgado).

**Using Modal Logics to Express and Check Global Graph Properties**- Logic Journal of the IGPL v. 17, p. 559-587, 2009 (with Luis Menasché Schechter).

**On Fork Arrow Logic and its Expressive Power**- Journal of Philosophical Logic, vol. 35, n. 5, 489-509, Octuber 2007 (with Renata Freitas, Petrúcio Viana, Paulo Veloso and Sheila Veloso).

**Formalizing Concurrent Common Knowledge as Product of Modal Logics**- Journal of the Interest Group in Pure and Applied Logics (IGPL), vol. 13, n. 6, 685-716, 2005 (with Vania Costa).

**Reasoning about Knowledge in Asychronous Distributed Systems**- Journal of the Interest Group in Pure and Applied Logics (IGPL), vol 13, n. 1, 5-28, 2005 (with Vania Costa).

**Squares in Fork Arrow Logic**- Journal of Philosophical Logic, v. 32, n. 1, p. 343-355, 2003 (with Renata Freitas, Petrúcio Viana, Paulo Veloso and Sheila Veloso).

**A Priority Dynamic for Generalized Drinking Philosophers**- Information Processing Letters 79, July 2001, 189-195, (with Valmir C. Barbosa and Ayru L. Oliveira Filho).

**Sharing Resources at Nonuniform Access Rates**- Theory of Computing Systems 34, January 2001, 13-26 (with Valmir C. Barbosa and Felipe M. G. França).

**A Constructive Presentation for the Modal Connective of Necessity**- Journal of Logic and Computation 2 (No.1), 1992, 31-50(with Thomas S. E. Maibaum).

**On Diagrams and General Model Checkers**- Lecture Notes in Computer Science, Springer International Publishing, v. 10871, p. 680-688 2018 (with Paulo Veloso, Sheila Veloso).

**Reasoning about Multi-Agent Systems Using Stochastic Petri Nets**- Advances in Intelligent Systems and Computing, Springer International Publishing, v. 372, p. 75-8, 2015 (with Bruno Lopes e Edward Hermann Hauesler).

**Modal Logic for Finite Graphs**- Logic for Synchronization and Concurrency, Ed. R. Queiroz, Kluwer Academic Publisher, series Trends in Logic, 2003, v. 18, p. 239-267.

**A Natural Deduction Presentation for Intuitionistic Modal Logics**- Logic Sets and Information, Ed. W. Carnielli and L. Pereira, CLE-UNICAMP, 1995, 25-59.

**A family of graded epistemic logics**- 13th Workshop On Logical and Semantic Frameworks with applications 2018, Eletronic Notes in Theoretical Computer Science' ENTCS, v. 338. p. 45-59, 2018 (with Alexandre Madeira and Manuel Martins)

**Populational Announcement Logic (PPAL)**- Proceedings of the 4th International Workshop on Defeasible and Ampliative Reasoning (DARe-17), v. 1. p. 2-15, 2017 (with Vitor P. Machado)

**Propositional Dynamic Logic for Petri Nets with Iteration**- International Colloquium on Theoretical Aspects of Computing, Lecture Notes in Computer Science. Springer, v. 9965. p. 441-456, 2016 (with Bruno Lopes e Edward Hermann Hauesler)

**Populational Dynamic Epistemic Logic (PPDEL)**- Anais Encontro Nacional de Inteligência Artificial e Computacional. Sociedade Brasileira de Computação, 2015 (with Vitor P. Machado)

**On Graph Calculi for Multi-modal Logics**- 9th Workshop On Logical and Semantic Frameworks with applications, Eletronic Notes in Theoretical Computer Science' ENTCS, v. 312. p. 231-252, 2015 (with Paulo Veloso, Sheila Veloso)

**Bisimilar and Logically Equivalent Programs in PDL**- 8th Workshop On Logical and Semantic Frameworks with applications, Eletronic Notes in Theoretical Computer Science' ENTCS, v. 305. p. 5-18, 2014.

**Hybrid Logics and NP Graph Properties**- Proceedings of the XVIII Workshop on Logic, Language, Information and Computation (Wollic 2011), Lecture Notes in Artificial Intelligence, v. 6642. p. 123-134, 2011 (with Francicleber Martins Ferreira, Cibele Matos Freire, Luis Menasché Schechter and Ana T. Martins)

**K, T and D-like fuzzy Kripke models**- In: 2011 Annual Meeting of the North American Fuzzy Information Processing, 2011, , El Paso - Texas. Proceedings of NAFIPS 2011, 2011 (with Benjamin C. Bedregal, Regivan N. Santiago and Viana, Petrucio)

**Propositional Dynamic Logic with Storing, Recovering and Parallel Composition**- Proceedings of the V Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2010), Electronic Notes in Theoretical Computer Science ENTCS v. 269. p. 95-107 (with Petrúcio Viana and Renata Freita)

**A Propositional Dynamic Logic for Concurrent Programs Based on the Pi-Calculus**- In: Methods for Modalities (M4M), 2010, Copenhaguem. Electronic Notes in Theoretical Computer Science ENTCS, v. 262. p. 49-64. (withLuis Menasché Schechter)

**Verification of epistemic properties in probabilistic Multi-Agent Systems**- 17th German conference on Multi-Agent System Technologies (MATES), 2009, Hamburg, Lecture Notes in Artificial Intelligence v. 5774,. (with Carla Delgado)

**Product of Graphs and Hybrid Logic**- Proceedings of the IV Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2009), Electronic Notes in Theoretical Computer Science ENTCS v. 256. p. 103-118, 2009 (with Luis Menasché Schechter)

**Aplicação de Modelos Ocultos de Markov na Teoria dos Jogos**- Encontro Nacional de Inteligência Artificial ENIA2009, Bento Gonçalves, July 2009 (with Edurado R. Waghabi).

**Proving Epistemic and Temporal Properties from Knowledge Based Programs**- Lecture Notes in Computer Science, v. 5249: 134-144. In: Brazilian Symposium on Artificial Intelligence, 2008. (with Michel Calini and Carla Delgado)

**Decidability of a Syntactic Fragment of the Hybrid Computation Tree Logic with the Downarrow Operator**- Proceedings of the XV Brazilian Logic Conference (EBL 2008), CLE e-prints, v. 8, n. 6, 2008. (with Luis Menasché Schechter)

**A Propositional Dynamic Logic for CCS Programs**- Proceedings of the XV Workshop on Logic, Language, Information and Computation (Wollic 2008), Lecture Notes in Artificial Intelligence, v. 5110, p. 83-97, 2008. [DOI] (with Luis Menasché Schechter)

**Modal Expressiveness of Graph Properties**- (with Mario Benevides), Proceedings of the II Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2007), Electronic Notes in Theoretical Computer Science, v. 205, p. 31-47, 2008. [DOI] (with Luis Menasché Schechter)

**A Compositional Automata-based Approach for Model Checking Multi-Agent Systems**- SBMF2006, Sept. 2006. Electronic Notes in Theoretical Computer Science ENTCS, v. 195: 133-149 (with Carla Delgado, Ricardo Ribeiro, Luis Lopes and Carlos Pombo).

**Defining Agents via Strategies: Towards a Game-Theoretical view of MAS**- Workshop on Radical Agent Concepts, 2005, Washington. Lecture Notes in Computer Science. London : Springer-Verlag, 2005. v. 3825 (with E. H. Haeusler, D. R. Vascocelos).

**Modalities for Vague Notions**- In: XVII Brazilian Symposioum on Artificial Intelegence, 2004, São Luis. Lecture Notes in Artificial Intelegence, 2004. Springer, v. 3171: 1-10 (with Carla Delgado, Renata Freitas, Paulo Veloso and Sheila Veloso).

**Game Prolog**- In: Sixth Conf. on Logic and The Foundation of Game Theory, 2004, Leipzig, 2004 (with Ricardo Ribeiro).

**Formalizing concurrent common knowledge as product of modal logics**- In: Proceedings of Workshop on Combination of Logics: Theory and Applications, CombLog, 2004, Lisboa. Proccedings of the ComLog´04: CLE- e-prints, 2004. v. 4.

**Building Reliable Web Services Compositions**- International Workshop Web Services: Research, Standardization and Development, Lecture Notes in Computer Science, Springer-Verlag, Erfurt, Alemanha, outubro de 2002, (with Marta L. Q. Mattoso and Paulo Pires).

**Expressive power of Fork Arrow Logic**- WMF'2002: V Workshop de Métodos Formais; Gramado, RS, October 2002 (with Renata Freitas, Petrúcio Viana, Paulo Veloso and Sheila Veloso).

**Deadlock Detection in Algebraic Specifications for Concurrent Systems**- WMF'2002: V Workshop de Métodos Formais; Gramado, RS, October 2002 (with Marcelo Sihman).

**On Hybrid Arrow Logic**- HyLo@LICS: 4th Workshop on Hybrid Logic {affiliated to LICS 2002}: 53-67; Copenhague, DK, jul. 2002. (with Renata Freitas, Petrúcio Viana, Paulo Veloso and Sheila Veloso).

**Reasonning about Events and Knowledge in Distributed Systems**- CMSRA-2002: Computational Models of Scientific Reasoning and Applications (International Conference on Artificial Intelligence); Las Vegas, 1213-1219, June. 2002 (with Carla Delgado).

**A Two-dimensional Modal Logic for Knowledge Rpresentation in Asynchrous Multi-Agent Systems**- CMSRA-2002: Computational Models of Scientific Reasoning and Applications (International Conference on Artificial Intelligence); Las Vegas, 1271-1277, June 2002 (with Vania Costa).

**Dynamic Logic of Knowledge**- Encontro Nacional de Inteligência Artificial ENIA2001, Fortaleza, August 2001 (with Carla Delgado).

**Squares in Fork Modal Logic**- 8th Workshop on Logic, Language and Computation, Brasilia, August 2001, 77-85 (with Renata Freitas, Petrúcio Viana, Paulo Veloso and Sheila Veloso).

**A Two-Dimensional Logic for Knowledge in Assynchronous Multi-Agent Systems**- Workshop on Many-Dimensional Logical Systems, ESSLLI 2000, Birmingham, UK, August 2000 (with Valmir C. Barbosa and Vania Costa).

**Mechanisms for Specifying Communication Behavior in Object Oriented Database System**- ACM 14th Annual Symposium on Applied Computing, Como, Italy, March 2000, 389-397 (with Marta L. Q. Mattoso and Paulo Pires).

**Axiomatization and Completeness for Fork Modal logic**- XII Encontro Brasileiro de Lógica, Itatiaia, May 1999 (with Paulo Veloso).

**Automatic Generation of CCS Specification for Resource Sharing Problems**- International Conference on Principles of Distributed Systems, published by HERMES, France, December 1997 (with Marcelo Sihman).

**A Modal Logic for Finite Graphs**- Eleventh Amsterdam Colloquium - Amsterdam, December 1997.

**Multiple Database Logic**- Lecture Notes in Artificial Inteligence, LNAI 946, Springer Verlag, 1995, 28-36.

**PROMAL: Programming in Modal Action Logic**- Lecture Notes in Artificial Intelligence, LNAI 991, Springer Verlag, 1995, 101-111 (with Odinaldo Rodrigues).

**Differentiating Assumptions from Extra-Logical Axioms in Natural deduction**- Lecture Notes in Computer Science 713, Springer Verlag, 1993, 120-131.

Last updated: October 2014.