Research

Mario Benevides' research interests

Modal Logic

  • Dynamic Logic
  • Epstemic Logic
  • Hybrid Logic
  • Temporal Logics
  • Model Checking
  • Dynamic Logics for Concurrent Processes

Formal Specification of Distributed Systems

  • Knowledge in Distributed Systems
  • Modal Logics of Processes
  • Process Algebra: CCS and pi-Calculus