×

Martins, Manuel António

Compute Distance To:
Author ID: martins.manuel-a Recent zbMATH articles by "Martins, Manuel António"
Published as: Martins, Manuel A.; Martins, Manuel; Martins, Manuel António; Martins, M. A.
Homepage: http://sweet.ua.pt/martins/
External Links: MGP · ORCID · ResearchGate · dblp

Publications by Year

Citations contained in zbMATH Open

32 Publications have been cited 104 times in 58 Documents Cited by Year
Hybridization of institutions. Zbl 1343.03052
Martins, Manuel A.; Madeira, Alexandre; Diaconescu, Răzvan; Barbosa, Luís S.
13
2011
Behavioural reasoning for conditional equations. Zbl 1129.68025
Martins, Manuel A.; Pigozzi, Don
9
2007
Closure properties for the class of behavioral models. Zbl 1118.68087
Martins, Manuel A.
7
2007
Behavioral algebraization of logics. Zbl 1171.03040
Caleiro, Carlos; Gonçalves, Ricardo; Martins, Manuel
7
2009
An exercise on the generation of many-valued dynamic logics. Zbl 1355.03023
Madeira, Alexandre; Neves, Renato; Martins, Manuel A.
5
2016
Dynamic logic with binders and its application to the development of reactive systems. Zbl 1482.68143
Madeira, Alexandre; Barbosa, Luis S.; Hennicker, Rolf; Martins, Manuel A.
5
2016
A dynamic logic for every season. Zbl 1335.03030
Madeira, Alexandre; Neves, Renato; Martins, Manuel A.; Barbosa, Luís S.
5
2015
Refinement in hybridised institutions. Zbl 1331.68149
Madeira, Alexandre; Martins, Manuel A.; Barbosa, Luís S.; Hennicker, Rolf
5
2015
A semantics for equational hybrid propositional type theory. Zbl 1318.03031
Manzano, María; Martins, Manuel A.; Huertas, Antonia
5
2014
Continuity as a computational effect. Zbl 1355.68059
Neves, Renato; Barbosa, Luis S.; Hofmann, Dirk; Martins, Manuel A.
4
2016
Hybrid specification of reactive systems: an institutional approach. Zbl 1350.68190
Madeira, Alexandre; Faria, José M.; Martins, Manuel A.; Barbosa, Luís S.
4
2011
Automatic structures for semigroup constructions. Zbl 1142.20036
Andrade, I.; Descalço, L.; Martins, Manuel A.
4
2008
Refinement by interpretation in a general setting. Zbl 1342.68091
Martins, Manuel A.; Madeira, Alexandre; Barbosa, Luis S.
3
2009
On the injectivity of the Leibniz operator. Zbl 1117.03351
Descalço, L.; Martins, Manuel A.
3
2005
A family of graded epistemic logics. Zbl 1433.68416
Benevides, Mario R. F.; Madeira, Alexandre; Martins, Manuel A.
3
2018
A logic for the stepwise development of reactive systems. Zbl 1400.68125
Madeira, Alexandre; Barbosa, Luís S.; Hennicker, Rolf; Martins, Manuel A.
2
2018
Paraconsistency in hybrid logic. Zbl 1396.03065
Costa, Diana; Martins, Manuel A.
2
2017
Hybridisation at work. Zbl 1396.68113
Neves, Renato; Madeira, Alexandre; Martins, Manuel A.; Barbosa, Luís S.
2
2013
Deduction-detachment theorem in hidden \(k\)-logics. Zbl 1327.03022
Babenyshev, Sergey; Martins, Manuel A.
2
2014
A fuzzy modal logic for fuzzy transition systems. Zbl 1452.68126
Jain, Manisha; Madeira, Alexandre; Martins, Manuel A.
2
2020
Applying differential dynamic logic to reconfigurable biological networks. Zbl 1379.92014
Figueiredo, Daniel; Martins, Manuel A.; Chaves, Madalena
1
2017
Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach. Zbl 1436.68193
Babenyshev, Sergey; Martins, Manuel A.
1
2016
A coalgebraic perspective on logical interpretations. Zbl 1353.68185
Martins, M. A.; Madeira, A.; Barbosa, L. S.
1
2013
A four-valued hybrid logic with non-dual modal operators. Zbl 07218621
Costa, Diana; Martins, Manuel A.
1
2020
The nodal cubic and quantum groups at roots of unity. Zbl 1466.81045
Krähmer, Ulrich; Martins, Manuel
1
2020
Asymmetric combination of logics is functorial: a survey. Zbl 07152401
Neves, Renato; Madeira, Alexandre; Barbosa, Luis S.; Martins, Manuel A.
1
2017
Rigid first-order hybrid logic. Zbl 07176918
Blackburn, Patrick; Martins, Manuel; Manzano, María; Huertas, Antonia
1
2019
Epistemic logics with structured knowledge. Zbl 1433.68423
Madeira, Alexandre; Martins, Manuel A.; Benevides, Mario R. F.
1
2019
Completeness in equational hybrid propositional type theory. Zbl 07142215
Manzano, Maria; Martins, Manuel; Huertas, Antonia
1
2019
The role of logical interpretations in program development. Zbl 1314.68190
Martins, Manuel A.; Madeira, Alexandre; Barbosa, Luís S.
1
2014
A Hilbert-style axiomatisation for equational hybrid logic. Zbl 1305.03017
Barbosa, Luís S.; Martins, Manuel A.; Carreteiro, Marta
1
2014
Malinowski modalization, modalization through fibring and the Leibniz hierarchy. Zbl 1337.03030
Martins, Manuel António; Voutsadakis, George
1
2013
A fuzzy modal logic for fuzzy transition systems. Zbl 1452.68126
Jain, Manisha; Madeira, Alexandre; Martins, Manuel A.
2
2020
A four-valued hybrid logic with non-dual modal operators. Zbl 07218621
Costa, Diana; Martins, Manuel A.
1
2020
The nodal cubic and quantum groups at roots of unity. Zbl 1466.81045
Krähmer, Ulrich; Martins, Manuel
1
2020
Rigid first-order hybrid logic. Zbl 07176918
Blackburn, Patrick; Martins, Manuel; Manzano, María; Huertas, Antonia
1
2019
Epistemic logics with structured knowledge. Zbl 1433.68423
Madeira, Alexandre; Martins, Manuel A.; Benevides, Mario R. F.
1
2019
Completeness in equational hybrid propositional type theory. Zbl 07142215
Manzano, Maria; Martins, Manuel; Huertas, Antonia
1
2019
A family of graded epistemic logics. Zbl 1433.68416
Benevides, Mario R. F.; Madeira, Alexandre; Martins, Manuel A.
3
2018
A logic for the stepwise development of reactive systems. Zbl 1400.68125
Madeira, Alexandre; Barbosa, Luís S.; Hennicker, Rolf; Martins, Manuel A.
2
2018
Paraconsistency in hybrid logic. Zbl 1396.03065
Costa, Diana; Martins, Manuel A.
2
2017
Applying differential dynamic logic to reconfigurable biological networks. Zbl 1379.92014
Figueiredo, Daniel; Martins, Manuel A.; Chaves, Madalena
1
2017
Asymmetric combination of logics is functorial: a survey. Zbl 07152401
Neves, Renato; Madeira, Alexandre; Barbosa, Luis S.; Martins, Manuel A.
1
2017
An exercise on the generation of many-valued dynamic logics. Zbl 1355.03023
Madeira, Alexandre; Neves, Renato; Martins, Manuel A.
5
2016
Dynamic logic with binders and its application to the development of reactive systems. Zbl 1482.68143
Madeira, Alexandre; Barbosa, Luis S.; Hennicker, Rolf; Martins, Manuel A.
5
2016
Continuity as a computational effect. Zbl 1355.68059
Neves, Renato; Barbosa, Luis S.; Hofmann, Dirk; Martins, Manuel A.
4
2016
Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach. Zbl 1436.68193
Babenyshev, Sergey; Martins, Manuel A.
1
2016
A dynamic logic for every season. Zbl 1335.03030
Madeira, Alexandre; Neves, Renato; Martins, Manuel A.; Barbosa, Luís S.
5
2015
Refinement in hybridised institutions. Zbl 1331.68149
Madeira, Alexandre; Martins, Manuel A.; Barbosa, Luís S.; Hennicker, Rolf
5
2015
A semantics for equational hybrid propositional type theory. Zbl 1318.03031
Manzano, María; Martins, Manuel A.; Huertas, Antonia
5
2014
Deduction-detachment theorem in hidden \(k\)-logics. Zbl 1327.03022
Babenyshev, Sergey; Martins, Manuel A.
2
2014
The role of logical interpretations in program development. Zbl 1314.68190
Martins, Manuel A.; Madeira, Alexandre; Barbosa, Luís S.
1
2014
A Hilbert-style axiomatisation for equational hybrid logic. Zbl 1305.03017
Barbosa, Luís S.; Martins, Manuel A.; Carreteiro, Marta
1
2014
Hybridisation at work. Zbl 1396.68113
Neves, Renato; Madeira, Alexandre; Martins, Manuel A.; Barbosa, Luís S.
2
2013
A coalgebraic perspective on logical interpretations. Zbl 1353.68185
Martins, M. A.; Madeira, A.; Barbosa, L. S.
1
2013
Malinowski modalization, modalization through fibring and the Leibniz hierarchy. Zbl 1337.03030
Martins, Manuel António; Voutsadakis, George
1
2013
Hybridization of institutions. Zbl 1343.03052
Martins, Manuel A.; Madeira, Alexandre; Diaconescu, Răzvan; Barbosa, Luís S.
13
2011
Hybrid specification of reactive systems: an institutional approach. Zbl 1350.68190
Madeira, Alexandre; Faria, José M.; Martins, Manuel A.; Barbosa, Luís S.
4
2011
Behavioral algebraization of logics. Zbl 1171.03040
Caleiro, Carlos; Gonçalves, Ricardo; Martins, Manuel
7
2009
Refinement by interpretation in a general setting. Zbl 1342.68091
Martins, Manuel A.; Madeira, Alexandre; Barbosa, Luis S.
3
2009
Automatic structures for semigroup constructions. Zbl 1142.20036
Andrade, I.; Descalço, L.; Martins, Manuel A.
4
2008
Behavioural reasoning for conditional equations. Zbl 1129.68025
Martins, Manuel A.; Pigozzi, Don
9
2007
Closure properties for the class of behavioral models. Zbl 1118.68087
Martins, Manuel A.
7
2007
On the injectivity of the Leibniz operator. Zbl 1117.03351
Descalço, L.; Martins, Manuel A.
3
2005

Citations by Year