4 citations · 5 across the 2 of their papers we have counts for
4 papers
Temporal Logic for Social Networks
Vitor Machado, Mario Benevides
This paper introduces a logic with a class of social network models that is based on standard Linear Temporal Logic (LTL), leveraging the power of existing model checkers for the a…
Dynamic Epistemic Logic with Communication Actions
Mario Roberto Folhadela Benevides, Isaque Macalam Saab Lima
This work proposes a Dynamic Epistemic Logic with Communication Actions that can be performed concurrently. Unlike Concurrent Epistemic Action Logic introduced by Ditmarsch, Hoek a…
Using HMM in Strategic Games
Mario Benevides, Isaque Lima, Rafael Nader +1
In this paper we describe an approach to resolve strategic games in which players can assume different types along the game. Our goal is to infer which type the opponent is adoptin…
CCS-Based Dynamic Logics for Communicating Concurrent Programs
Mario R. F. Benevides, L. Menasché Schechter
This work presents three increasingly expressive Dynamic Logics in which the programs are CCS processes (sCCS-PDL, CCS-PDL and XCCS-PDL). Their goal is to reason about properties o…