×

Benevides, Mario R. F.

Compute Distance To:
Author ID: benevides.mario-r-f Recent zbMATH articles by "Benevides, Mario R. F."
Published as: Benevides, Mario R. F.; Benevides, Mario; Benevides, M. R. F.; Benevides, Mário

Publications by Year

Citations contained in zbMATH Open

26 Publications have been cited 58 times in 41 Documents Cited by Year
A propositional dynamic logic for CCS programs. Zbl 1156.03031
Benevides, Mario R. F.; Schechter, L. Menasché
7
2008
Propositional dynamic logic with storing, recovering and parallel composition. Zbl 1347.03059
Benevides, Mario R. F.; de Freitas, Renata; Viana, Petrucio
5
2011
On vague notions and modalities: a modular approach. Zbl 1205.03032
Veloso, Paulo A. S.; Veloso, Sheila R. M.; Viana, Petrucio; de Freitas, Renata; Benevides, Mario; Delgado, Carla
4
2010
Extending propositional dynamic logic for Petri nets. Zbl 1335.68175
Lopes, Bruno; Benevides, Mario; Haeusler, Edward Hermann
4
2014
A constructive presentation for the modal connective of necessity (\(\square\)). Zbl 0763.03014
Benevides, Mario R. F.; Maibaum, Thomas S. E.
3
1992
Squares in fork arrow logic. Zbl 1030.03018
de Freitas, Renata P.; Viana, Jorge P.; Benevides, Mario R. F.; Veloso, Sheila R. M.; Veloso, Paulo A. S.
3
2003
Using modal logics to express and check global graph properties. Zbl 1181.03032
Benevides, Mario R. F.; Schechter, L. Menasché
3
2009
A family of graded epistemic logics. Zbl 1433.68416
Benevides, Mario R. F.; Madeira, Alexandre; Martins, Manuel A.
3
2018
A propositional dynamic logic for concurrent programs based on the \(\pi\)-calculus. Zbl 1345.68228
Benevides, Mario R. F.; Schechter, L. Menasché
3
2010
Sharing resources at nonuniform access rates. Zbl 0969.68184
Barbosa, V. C.; Benevides, M. R. F.; França, F. M. G.
3
2001
Modal logics for finite graphs. Zbl 1034.03037
Benevides, Mario R. F.
3
2003
On fork arrow logic and its expressive power. Zbl 1128.03011
Veloso, Paulo A. S.; de Freitas, Renata P.; Viana, Petrucio; Benevides, Mario; Veloso, Sheila R. M.
2
2007
On a graph approach to modal logics. Zbl 1335.03022
Veloso, Paulo A. S.; Veloso, Sheila R. M.; Benevides, Mario R. F.
2
2014
Product of graphs and hybrid logic. Zbl 1291.05166
Benevides, Mario R. F.; Menasché Schechter, L.
1
2009
Modal expressiveness of graph properties. Zbl 1277.03026
Benevides, Mario R. F.; Menasché Schechter, L.
1
2008
Formalizing concurrent common knowledge as product of modal logics. Zbl 1109.03011
Costa, Vania; Benevides, Mario
1
2005
Reasoning about knowledge in asynchronous distributed systems. Zbl 1083.68115
Costa, Vania; Benevides, Mario
1
2005
On modalities for vague notions. Zbl 1105.03305
Benevides, Mario; Delgado, Carla; Freitas, Renata P.; Veloso, Paulo A. S.; Veloso, Sheila R. M.
1
2004
Hybrid logics and NP graph properties. Zbl 1326.68141
Ferreira, Francicleber Martins; Freire, Cibele Matos; Benevides, Mario R. F.; Schechter, L. Menasché; Martins, Ana Teresa
1
2011
Epistemic logics with structured knowledge. Zbl 1433.68423
Madeira, Alexandre; Martins, Manuel A.; Benevides, Mario R. F.
1
2019
Bisimilar and logically equivalent programs in PDL. Zbl 1335.68045
Benevides, Mario R. F.
1
2014
Propositional dynamic logics for communicating concurrent programs with CCS’s parallel operator. Zbl 1303.03067
Benevides, Mario R. F.; Schechter, L. Menasché
1
2014
On graph calculi for multi-modal logics. Zbl 1343.03016
Veloso, Paulo A. S.; Veloso, Sheila R. M.; Benevides, Mario R. F.
1
2015
PDL for structured data: a graph-calculus approach. Zbl 1407.68340
Veloso, Paulo A. S.; Veloso, Sheila R. M.; Benevides, Mario R. F.
1
2014
Dynamic logic. New trends and applications. First international workshop, DALI 2017, Brasilia, Brazil, September 23–24, 2017. Proceedings. Zbl 1383.03006
1
2018
Propositional dynamic logic for Petri nets with iteration. Zbl 1401.68219
Benevides, Mario R. F.; Lopes, Bruno; Haeusler, Edward Hermann
1
2016
Epistemic logics with structured knowledge. Zbl 1433.68423
Madeira, Alexandre; Martins, Manuel A.; Benevides, Mario R. F.
1
2019
A family of graded epistemic logics. Zbl 1433.68416
Benevides, Mario R. F.; Madeira, Alexandre; Martins, Manuel A.
3
2018
Dynamic logic. New trends and applications. First international workshop, DALI 2017, Brasilia, Brazil, September 23–24, 2017. Proceedings. Zbl 1383.03006
1
2018
Propositional dynamic logic for Petri nets with iteration. Zbl 1401.68219
Benevides, Mario R. F.; Lopes, Bruno; Haeusler, Edward Hermann
1
2016
On graph calculi for multi-modal logics. Zbl 1343.03016
Veloso, Paulo A. S.; Veloso, Sheila R. M.; Benevides, Mario R. F.
1
2015
Extending propositional dynamic logic for Petri nets. Zbl 1335.68175
Lopes, Bruno; Benevides, Mario; Haeusler, Edward Hermann
4
2014
On a graph approach to modal logics. Zbl 1335.03022
Veloso, Paulo A. S.; Veloso, Sheila R. M.; Benevides, Mario R. F.
2
2014
Bisimilar and logically equivalent programs in PDL. Zbl 1335.68045
Benevides, Mario R. F.
1
2014
Propositional dynamic logics for communicating concurrent programs with CCS’s parallel operator. Zbl 1303.03067
Benevides, Mario R. F.; Schechter, L. Menasché
1
2014
PDL for structured data: a graph-calculus approach. Zbl 1407.68340
Veloso, Paulo A. S.; Veloso, Sheila R. M.; Benevides, Mario R. F.
1
2014
Propositional dynamic logic with storing, recovering and parallel composition. Zbl 1347.03059
Benevides, Mario R. F.; de Freitas, Renata; Viana, Petrucio
5
2011
Hybrid logics and NP graph properties. Zbl 1326.68141
Ferreira, Francicleber Martins; Freire, Cibele Matos; Benevides, Mario R. F.; Schechter, L. Menasché; Martins, Ana Teresa
1
2011
On vague notions and modalities: a modular approach. Zbl 1205.03032
Veloso, Paulo A. S.; Veloso, Sheila R. M.; Viana, Petrucio; de Freitas, Renata; Benevides, Mario; Delgado, Carla
4
2010
A propositional dynamic logic for concurrent programs based on the \(\pi\)-calculus. Zbl 1345.68228
Benevides, Mario R. F.; Schechter, L. Menasché
3
2010
Using modal logics to express and check global graph properties. Zbl 1181.03032
Benevides, Mario R. F.; Schechter, L. Menasché
3
2009
Product of graphs and hybrid logic. Zbl 1291.05166
Benevides, Mario R. F.; Menasché Schechter, L.
1
2009
A propositional dynamic logic for CCS programs. Zbl 1156.03031
Benevides, Mario R. F.; Schechter, L. Menasché
7
2008
Modal expressiveness of graph properties. Zbl 1277.03026
Benevides, Mario R. F.; Menasché Schechter, L.
1
2008
On fork arrow logic and its expressive power. Zbl 1128.03011
Veloso, Paulo A. S.; de Freitas, Renata P.; Viana, Petrucio; Benevides, Mario; Veloso, Sheila R. M.
2
2007
Formalizing concurrent common knowledge as product of modal logics. Zbl 1109.03011
Costa, Vania; Benevides, Mario
1
2005
Reasoning about knowledge in asynchronous distributed systems. Zbl 1083.68115
Costa, Vania; Benevides, Mario
1
2005
On modalities for vague notions. Zbl 1105.03305
Benevides, Mario; Delgado, Carla; Freitas, Renata P.; Veloso, Paulo A. S.; Veloso, Sheila R. M.
1
2004
Squares in fork arrow logic. Zbl 1030.03018
de Freitas, Renata P.; Viana, Jorge P.; Benevides, Mario R. F.; Veloso, Sheila R. M.; Veloso, Paulo A. S.
3
2003
Modal logics for finite graphs. Zbl 1034.03037
Benevides, Mario R. F.
3
2003
Sharing resources at nonuniform access rates. Zbl 0969.68184
Barbosa, V. C.; Benevides, M. R. F.; França, F. M. G.
3
2001
A constructive presentation for the modal connective of necessity (\(\square\)). Zbl 0763.03014
Benevides, Mario R. F.; Maibaum, Thomas S. E.
3
1992

Citations by Year