Login / Signup
Isaque Macalam Saab Lima
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 1
Top Topics
Dynamic Epistemic Logic
Speech Acts
Top Venues
LSFA
</>
Publications
</>
Mario Roberto Folhadela Benevides
,
Isaque Macalam Saab Lima
Dynamic Epistemic Logic with Communication Actions.
LSFA
(2018)