Login / Signup
Saman Moshiri
ORCID
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 1
Top Topics
Verification Method
Temporal Logic
Top Venues
J. Intell. Fuzzy Syst.
</>
Publications
</>
Hadi Farahani
,
Saman Moshiri
Temporal logic of common knowledge and its resolution-based proof method.
J. Intell. Fuzzy Syst.
35 (5) (2018)