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
A Natural Deduction Presentation for Intuitionistic Modal Logics
Logic Sets and Information, Ed. W. Carnielli and L. Pereira, CLE-UNICAMP, 1995, 25-59.
Papers in refereed congresses
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
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)
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
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.