Browsing by Author Benevides, Mario
Showing results 1 to 3 of 3
Issue Date | Title | Author(s) | Type | Access Type |
2021 | Adding proof calculi to epistemic logics with structured knowledge | Benevides, Mario; Madeira, Alexandre; Martins, Manuel A. | bookPart | |
2018 | Dynamic logic. New trends and applications: proceedings of the first international workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017 | Madeira, Alexandre; Benevides, Mario | book | |
2019 | Logics for Petri nets with propagating failures | Gomes, Leandro; Madeira, Alexandre; Benevides, Mario | bookPart | |