Home Publications Training Teaching Bookmarks

  


SOME RECENT PUBLICATIONS


Journal Papers


[J??] Propositional Type Theory of Indeterminacy (with V. Aranda and M. Manzano) Studia Logica. Studia Logica . (accepted)
[J??] Hybrid Partial Type Theory (with M. Manzano, A. Huertas, P. Blackburn, V. Aranda). Journal of Symbolic Logic , -- (Online here ).
[J23b] Aggregation-based operations for reversal fuzzy switch graphs (with S. Campos, R. Santiago, D. Figueiredo) Fuzzy Sets and Systems , Vol. 466, 108273, 2023. (Online here ).
[J23a] Relation-changing models meet Paraconsistency (with D Costa, D. Figueiredo) Journal of Logical and Algebraic Methods in Programming , Vol. 133, 100870, 2023. (Online here ).
[J22c] Introduction to Reversal Fuzzy Switch Graph (with S. Campos, R. Santiago, D. Figueiredo) Science of Computer Programming , Vol. 216, 102776 (2022) (Online here ).
[J22b] Exorcising the phantom zone (with P. Blackburn, M. Manzano, A. Huertas). Information and Computation, Elsevier. 287: 104754 (2022) (Online here )
[J22a] Graded epistemic logic with public announcement (with M. Benevides,A. Madeira). Journal of Logical and Algebraic Methods in Programming. Vol. 125, 100732 (2022) (Online here )
[J21b] Non-dual modal operators as a basis for 4-valued accessibility relations in Hybrid logic (with D. Costa). Journal of Logical and Algebraic Methods in Programming, Elsevier, Vol. 121, – , 2021. (Online here )
[J21a] Introducing fuzzy reactive graphs: a simple application on biology (with R. Santiago, D. Figueiredo). Soft Computing, Springer, Vol. 25, 6759–6774, 2021 (Online here ).
[J20] Boolean dynamics revisited through feedback interconnections (with D. Figueiredo and M. Chaves) Natural Computing . Vol. 19, 29–49, 2020. (Online here ).
[J19c] Completeness in equational hybrid propositional type theory (with M. Manzano, A. Huertas), Studia Logica. Vol. 107 (6), 1159–1198, 2019. (Online here ).
[J19b] On Herbrand’s Theorem for Hybrid Logic (with D. Costa, J. Marcos) Journal of Applied Logics — IfCoLog Journal of Logics and their Applications. Vol. 6 (2), 209-228, 2019.
[J19a] On Interval Dynamic Logic: Introducing Quasi-action Lattices (with R. Santiago, B. Bedregal, A. Madeira). Science of Computer Programming. vol. 175, 1-16, 2019. (Online here ).
See more.


[J18] A logic for the stepwise development of reactive systems (with A.Madeira, L. Barbosa, R. Hennicker), Theoretical Computer Science, vol. 744, 78-96, 2018. (Online here )
[J17b] Paraconsistency in hybrid logic (with D. Costa), Journal of logic and Computation , vol. 27 (6), 1825-1852, 2017. (Get a preprint at ParaHL )
[J17a] Applying differential dynamic logic to reconfigurable biological networks, (with D. Figueiredo and M. Chaves) Mathematical Biosciences, vol. 291, 10-20, 2017.
[J16e] An exercise on the generation of many-valued dynamic logics (with A. Madeira, R. Neves), Journal of Logical and Algebraic Methods in Programming, vol. 85 (5), 1011–1037, 2016.
[J16d] Continuity as a computational effect (with R. Neves, L. S. Barbosa, D. Hofmann), Journal of Logical and Algebraic Methods in Programming, vol. 85 (5), 1057–1085, 2016.
[J16c] A method for rigorous design of reconfigurable systems (with A. Madeira, R. Neves and L. S. Barbosa), Science of Computer Programming, vol. 132, 50–76, 2016.
[J16b] Proof theory for hybrid(ised) logics (with A. Madeira, R. Neves and L. S. Barbosa), Science of Computer Programming, vol. 126, 73–93, 2016.
[J16a] Behavioral equivalence of hidden k-logics: an abstract algebraic approach (with Sergey Babenyshev), Journal of Applied Logic, vol. 16, 72–91, 2016.
[J15] A Refinement in hybridised institutions (with A. Madeira, L. S. Barbosa and R. Hennicker), Formal Aspects of Computing, Vol. 27 (2), pp 375-395, 2015.
[J14d] A semantics for equational hybrid propositional type theory (with María Manzano and Antonia Huertas) Bull. Sect. of Logic, Vol. 43:3/4, pp. 121–138. (Available at ehptt.pdf )
[J14c] A Hilbert-style axiomatisation for equational hybrid logic (with L. S. Barbosa and M. Carreteiro), Journal of Logic, Language and Information, Vol. 23 (1), pp 31-52, 2014.
[J14b] Deduction-detachment theorem in hidden k-logics (with S. Babenyshev), Journal of logic and Computation. Vol. 24 (1), 2014, 233-255. (Get a preprint at Ria )
[J14a] The role of logical interpretations on program development (with A. Madeira and L. S. Barbosa), Logical Methods in Computer Science, 10(1:1):1-39, 2014. (Available at rlipd.pdf )
[J13c] Malinowski modalization, modalization through fibring and the Leibniz hierarchy (with George Voutsadakis), Logic Journal of the IGPL, 21 (5): 836-852, 2013. (Get a preprint at algmod.pdf )
[J13b] On a coalgebraic view on logic (with D. Hofmann), Journal of logic and Computation. 23 (5): 1097-1106, 2013.
[J13a] A coalgebraic perspective on logical interpretations (A. Madeira and L. S. Barbosa), Studia Logica. vol. 101 (4), 783-825, 2013.
[J10] Admissible equivalence systems (with S. Babenyshev), Bull. Sect. of Logic, vol. 39 1/2, 17-33, 2010. (Available at aes.pdf )
[J09] Behavioral algebraization of logics (with C. Caleiro and R. Gonçalves), Studia Logica. vol. 91, 63-111, 2009.
[J08b] Automatic structures for semigroup constructions, (with I. Andrade and L. Descalço), Semigroup Forum, vol. 76, 239–255, 2008.
[J08a] On the behavioral equivalence between k-data structures , Computer Journal, Oxford Journals, vol. 51(2) 181-191, 2008. ( honourable mention of the Computer Journal Wilkes Award 2008 )
[J07b] Closure properties for the class of behavioral models, Theoretical Computer Science, vol. 379(1-2) 53-83, 2007. (Get a preprint at CPCBM.pdf )
[J07a] Behavioural reasoning for conditional equations (with Don Pigozzi), Mathematical Structures in Computer Science, vol. 17(5), 1075-1113, 2007. (Get a preprint at BRCE.pdf )
[J06] Behavioral institutions and refinements in generalized hidden logics, Journal of Universal Computer Science,Springer, vol. 12(8), 1020-1049, 2006.
[J05] On the injectivity of the Leibniz operator (with L. Descalço), Bull. Sect. of Logic, vol. 34(4), 203-211, 2005.

Hide this content.

Serial Papers and Book Chapters


[S??] On the Philosophy and Mathematics of Hybrid Partial Type Theory . (with V. Aranda, A. Huertas, M. Manzano) In Walter Carnielli on Reasoning, Paraconsistency, and Probability. Outstanding Contributions to Logic, A. Rodrigues and A. Freire (ed.), Springer-Verlag, accepted.
[S23] Relating Kleene Algebras with Pseudo Uninorms (with B. Bedregal, R. Santiago, A. Madeira.). In: Areces, C., Costa, D. (eds) Dynamic Logic. New Trends and Applications. DaLí 2022. Lecture Notes in Computer Science, vol 13780, pp 37-55. 2023.
[S21] Adding Proof Calculi to Epistemic Logics with Structured Knowledge (with M. Benevides, A. Madeira). In: H. Hojjat and M. Massink (Eds.): FSEN 2021. Lecture Notes in Computer Science, vol 12818, pp 1-16. 2021.
[S20c] Reversal Fuzzy Switch Graphs (with S. Campos, R. Santiago, D. Figueiredo) In: Carvalho G., Stolz V. (eds) Formal Methods: Foundations and Applications. SBMF 2020. Lecture Notes in Computer Science, vol 12475, pp 137-154. 2020.
[S20b] A Fuzzy Modal Logic for Fuzzy Transition Systems (with M. Jain, A. Madeira) Electronic Notes in Theoretical Computer Science, vol 348, pp. 85-103, 2020.
[S20a] A Four-Valued Hybrid Logic with Non-dual Modal Operators. (with D. Costa) In: Soares Barbosa L., Baltag A. (eds) Dynamic Logic. New Trends and Applications. DALI 2019. Lecture Notes in Computer Science, vol 12005, pp. 88-103, 2020.
[S19c] Rigid First-Order Hybrid Logic. (with P. Blackburn, M. Manzano, A. Huertas) 26th International Workshop on Logic, Language, Information and Communication, WoLLIC, Lecture Notes in Computer Science, vol 11541, pp. 53-69, 2019.
[S19b] rPrism -- A software for reactive weighted state transition models. (with D. Figueiredo, E. A. M. Rocha, M. Chaves) HSB 2019: Hybrid Systems Biology. Lecture Notes in Computer Science, vol 11705, pp 165-174|, 2019.
[S19a] Epistemic Logics with Structured Knowledge. (with A. Madeira, M. Benevides). 13th Workshop on Logical and Semantic Frameworks with Applications (LSFA 2018), Electronic Notes in Theoretical Computer Science 344, pp. 137-149, 2019.
[S18d] A Note on Reactive Transitions and Reo Connectors. (with D. Figueiredo and L. Barbosa) In: de Boer F., Bonsangue M., Rutten J. (eds) It's All About Coordination. Lecture Notes in Computer Science, vol 10865,pp. 57-67, 2018.
[S18c] Inconsistency measures in hybrid logics (with D. Costa). In Measuring Inconsistency in Information , John Grant and Maria Vanina Martinez, eds., College Publications, pp 169-194 ,2018.
[S18b] A short overview of hidden logic (with I. Ferreirim). In Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science , Outstanding Contributions to Logic, J. Czelakowski (ed.), Springer-Verlag, pp 117-151. 2018.
See more.

[S18a] On infinitary equational hybrid logic (with A.Madeira, L. Barbosa) In Aftermath of the Logical Paradise, Beziau, J-Y.; Costa-Leite, A; D’Ottaviano, I. M. L. (orgs.). , Coleção CLE, v.81, pp. 173-202, 2018.
[S17c] A family of graded epistemic logics (with M. Benevides, A. Madeira). 12th Workshop on Logical and Semantic Frameworks with Applications (LSFA 2017), Flávio L. C. de Moura, Sandra Alves, Renata Wassermann, Electronic Notes in Theoretical Computer Science, vol 338, pp. 45-59, 2018.
[S17b] Hierarchical hybrid logic (with A. Madeira, R. Neves, L. Barbosa). 12th Workshop on Logical and Semantic Frameworks with Applications (LSFA 2017), Flávio L. C. de Moura, Sandra Alves, Renata Wassermann, Electronic Notes in Theoretical Computer Science, vol 338, pp. 167-184, 2018.
[S17a] Asymmetric Combination of Logics is Functorial: A survey (with R. Neves, A. Madeira, L.Barbosa) P. James, M. Roggenbach, Recent Trends in Algebraic Development Techniques. WADT 2016. Vol 10644 of Lecture Notes in Computer Science, 39-55, Springer, 2017.
[S16d] On Interval Dynamic Logic (with R. Santiago, B. Bedregal, A. Madeira). SBMF’ 2016 - XIX Brazilian Symposium in Formal Methods. SBMF 2016, Lecture Notes in Computer Science, vol 10090, pp. 1-16, 2016.
[S16c] Dynamic Logic with Binders and its Application to the Development of Reactive Systems (with A. Madeira, R. Hennicker and L. S. Barbosa). ICTAC 2016 - 13th International Colloquium on Theoretical Aspects of Computing. Lecture Notes in Computer Science, vol 9965, pp. 422-440, 2016.
[S16b] Reuse and integration of specification logics: The hybridisation perspective (with R. Neves, A. Madeira, L. Barbosa) In Thouraya Bouabana-Tebibel and Stuart H. Rubin, eds, Theoretical Information Reuse and Integration, Advances in Intelligent Systems and Computing, 446, Springer, pp 1-30, 2016.
[S16a] A Tableau System for Quasi-Hybrid Logic (with Diana Costa). N. Olivetti and A. Tiwari (Eds.): IJCAR 2016, LNAI 9706, pp. 435-451, 2016.
[S15b] Completeness and Decidability Results for Hybrid(ised) Logics (with R. Neves, L. S. Barbosa) SBMF 2014, Lect. Notes in Computer Science, vol. 8941, pp 146-161, 2015.
[S15a] A Dynamic Logic for Every Season (with A. Madeira, R. Neves and L. S. Barbosa) SBMF 2014, Lect. Notes in Computer Science, vol. 8941, pp 130-145, 2015. (Get a preprint at CompDecHL )
[S14] An Institution for Alloy and Its Translation to Second-Order Logic. (with R. Neves, A. Madeira and L. S. Barbosa) In Integration of Reusable Systems: Advances in Intelligent Systems and Computing. Thouraya Bouabana-Tebibel, Stuart H. Rubin eds., Springer International Publishing, pp 45-75. 2014.
[S13b] Boilerplates for reconfigurable systems: a language and its semantics (with A. Madeira and L. S. Barbosa); In Proceedings of the SBLP'13, Lect. Notes in Computer Science, vol. 8129, pp 75-89, 2013.
[S13a] Hybridisation at work (with R. Neves, A. Madeira and L. S. Barbosa) In Proceedings of the Algebra and Coalgebra in Computer Science, Lect. Notes in Computer Science, vol. 8089, pp 340-345, 2013.
[S11c] Hybrid specification of reactive systems: An institutional approach (with A. Madeira, J. M. Faria and L. S. Barbosa). In Proceedings of the SEFM'11 (9th Inter. Conf. on Software Engineering and Formal Methods), G. Barthe, A. Pardo, and G. Schneider (Eds.): SEFM 2011, Lect. Notes in Computer Science, vol. 7041, pp. 269–285, 2011. (Get a preprint at SEFM11.pdf )
[S11b] Hybridization of institutions (with A. Madeira, R. Diaconescu, L. S. Barbosa). In Proc. of Fourth International Conference on Algebra and Coalgebra in Computer Science (CALCO 2011), A. Corradini, B. Klin, and C. Cîrstea (Eds.): CALCO 2011, Lect. Notes in Computer Science, vol. 6859, pp. 283–297, 2011.
[S11a] Refinement by interpretation in Pi-institutions (with C. Rodrigues, A. Madeira and L. S. Barbosa). In Proc. of the Refinement Workshop REFINE’11, Limerick, Ireland (co-located with Formal Methods 2011). Electronic Proceedings in Theoretical Computer Science 55, pp. 53-64, 2011.
[S09b] Refinement via interpretation in a general setting (with A. Madeira and L. S. Barbosa). In Proc. of the Refinement Workshop REFINE’09, Eindhoven, Netherlands (co-located with Formal Methods 2009). Electr. Notes Theor. Comput. Sci., vol 259, pp 105-121, 2009.
[S09a] Refinement via interpretation (with A. Madeira and L. Barbosa). In Proc. of the 7th IEEE Inter. Conf. on Software Engineering and Formal Methods (SEFM'09), Hanoi, Vietnam, 23-27 Nov, IEEE Computer Society Press, pp 250-259, 2009.

Hide this content.

Pree-reviewed Conference Papers


[C18] Measuring inconsistent diagnoses (with D. Costa) In Proceedings of 20th IEEE International Conference on e-Health Networking, Applications and Services, Healthcom 2018, IEEE Computer Society Press.
[C17] Bisimulations for reactive frames (with Daniel Figueiredo). In proceedings (Short papers) of DaLí - Dynamic Logic: new trends and applications, Alexandre Madeira Mário Benevides, pp. 5 pages, Brasília, 2017.
[C16] Towards a Herbrand’s Theorem for Hybrid Logic (with D. Costa, J. Marcos.). In proceedings (Short papers) of 11th Advances in Modal Logic (AiML’16) Budapeste, Hungry, pp. 44- 48, 2016.
[C15b] A logic for n-dimensional hierarchical refinement (with A. Madeira, L. S. Barbosa.). In proceedings of Refinement Workshop 2015 (Re?ne’15), Eerke Boiten, John Derrick & Steve Reeves (Eds.): EPTCS 209, pp. 40-56, doi:10.4204/EPTCS.209.4, 2016.
[C15a] A paradigm integration in a specification course (with R. Neves, A. Madeira, M. A. Martins and L. S. Barbosa). In Proceedings of the 15th IEEE International Conference on Information Reuse and Integration, IRI 2014, pp. 492-499, IEEE Computer Society Press, 2015.
See more.


[C14a] Inconsistencies in Health Care Knowledge (with D. Costa) In Proceedings of The 1st International Workshop on Reliability of eHealth Information Systems - IEEE HEALTHCOM 2014, 37-42, IEEE Computer Society Press, 2014.
[C13c] Giving ALLOY a family (with R. Neves, A. Madeira, M. A. Martins and L. S. Barbosa) In Proceedings of FMi'13; IRI 2013, pp. 512-519, IEEE Computer Society Press, 2013.
[C13b] When even the interfaces evolve... (with R. Neves, A. Madeira and L. S. Barbosa) In Proceedings of International Symposium on Theoretical Aspects of Software Engineering (TASE), IEEE Computer Society Press.79 - 82, doi:10.1109/TASE.2013.19, 2013.
[C13a] Bisimilarity and refinement for hybrid(ised) logics (with A. Madeira, M. A. Martins and L. S. Barbosa). In Proceedings of Refine 2013, John Derrick, Eerke Boiten and Steve Reeves (eds.) EPTCS 115, pp. 84-98; doi:10.4204/EPTCS.115.6, 2013. [C12b] Equational hybrid type theory (M. Manzano and A. Huertas). In proceedings of 9th Advances in Modal Logic (AiML'12) Short Presentations, T. Bolander, T. Braüner, S. Ghilardi and L. Moss, eds. Copenhagen, pp. 37–41, 2012.
[C12a] Towards a semantics for infinitary equational hybrid logic (with A. Madeira and L. S. Barbosa). In proceedings of 9th Advances in Modal Logic (AiML'12) Short Presentations, T. Bolander, T. Braüner, S. Ghilardi and L. Moss, eds. Copenhagen, pp. 42–46, 2012.
[C11e] Models as arrows: the role of dialgebras (with A. Madeira and L. S. Barbosa). In Proc. of the 7th Conference on Computability in Europe: Models of computation in context (CiE 2011). Eds. H. Ganchev, B. Löwe, D. Normann, I. Soskov, M. Soskova. Sofia, Bulgaria, 144-153, 2011.
[C11d] Many Faces of Logic (with D. Hofmann). Electronic proceedings of Third International Congress on Tools for Teaching Logic, University of Salamanca, Spain, 1-4 June, 2011.
[C11c] Reasoning about complex requirements in a uniform setting (with A. Madeira and L. S. Barbosa). Electronic proceedings of Third International Congress on Tools for Teaching Logic, University of Salamanca, Spainn, 1-4 June, 2011.
[C11b] Abstract algebraic logic and computer science (with J. Poças and C. Caleiro). Electronic proceedings of Third International Congress on Tools for Teaching Logic, University of Salamanca, Spain, 1-4 June, 2011.
[C11a] On requirements engineering for reactive systems: A formal methodology (with A. Madeira, J. M. Faria and L. S. Barbosa) Presented at I Brazilian Conference on Critical Embedded Systems, IEEE Computer Society, University of São Paulo, São Carlos, Brazil, 11-13 May, 2011.
[C10] Applying abstract algebraic logic to classical automata theory: an exercise (with L. Descalço and A. Madeira). In Proc. of the 6th Conference on Computability in Europe: Programs, proofs, processes (CiE 2010). F. Ferreira, H. Guerra, E. Mayordomo and J. Rasga (Eds.). Azores, Portugal, 146-157, 2010.
[C06c] A teaching aid for building proofs in propositional calculus (with E. H. Manfredini and P. Cruz) In Proc. of the Second International Congress on Tools for Teaching Logic, University of Salamanca, 51-56, September 26-30, 2006.
[C06b] Applying abstract algebraic logic to behavioral reasoning. In Proc. of the Second International Congress on Tools for Teaching Logic, University of Salamanca, 111-115, September 26-30, 2006.
[C06a] To prove a tautology (with E. H. Manfredini). In Proc. of the International Conference in Mathematics, Sciences and Science Education - ICMSE06, June 11-14, Aveiro, Portugal, 193-198, 2006.

Hide this content.

Volumes


[V23b] Recent Trends in Algebraic Development Techniques, 26th IFIP WG 1.3 International Workshop, WADT 2022 , Alexandre Madeira, Manuel A. Martins(Eds.). Aveiro, Portugal, June 28–30, 2022, Revised Selected Papers. Lecture Notes in Computer Science, Vol. 13710, 2023.
[V23a] Manuel A Martins, Igor Sedlár, Editorial: Special issue from the 3rd International Workshop on Dynamic Logic: New Trends and Applications (DaLí 2020), Journal of Logic and Computation, Vol. 33(6), 2023.
[V21] Tomas Veloz, Madalena Chaves, Manuel António Martins, Editorial: Special issue from the International Symposium on Molecular Logic and Computational Synthetic Biology: MLCSB18 , Soft Comput., Vol. 25(9), 2021.
[V20] Dynamic Logic. New Trends and Applications - Third International Workshop , DaLí 2020 . Manuel A. Martins, Igor Sedlár (Eds.). Prague, Czech Republic, October 9–10, 2020, Revised Selected Papers. Lecture Notes in Computer Science, Vol. 12569, Springer 2020, ISBN 978-3-030-65840-3.
[V19] Molecular Logic and Computational Synthetic Biology - First International Symposium , MLCSB 2018 . Madalena Chaves, Manuel A. Martins (Eds.). Santiago, Chile, December 17-18, 2018, Revised Selected Papers. Lecture Notes in Computer Science, Vol. 11415, Springer 2019, ISBN 978-3-030-19431-4.

Thesis


Behavioral Reasoning in Generalized Hidden Logics - PhD Thesis (supervisors: Professor Don Pigozzi and Professor Isabel Ferreirim), University of Lisbon, 2004. (Available at PhDthesis.pdf )
Amalgamação em Lógica - MSc Thesis (supervisor: Prof. E. H. Manfredini), University of Aveiro, 1998. (Available at TMest.pdf )

Other pree-reviewed short publications


A roadmap of paraconsistent hybrid logics (with D. Costa), In Abstract Consequence and Logics - Essays in Honor of Edelcio G. de Souza ,Tributes, Vol. 42, College Publications, pp.199-214, 2020.
And what if Mara’s models have no elements? (Spanish) (with Enrique Hernández-Manfredini) Aventuras en el mundo de la lógica. Ensayos en honor a María Manzano. Alonso, Enrique (ed.) et al., Cuadernos de Lógica, Epistemología y Lenguaje 13, London: College Publications 175-189, 2019.
A fuzzy-paraconsistent version of basic hybrid logic (with D. Costa), Logic, Algebra and Truth Degrees 47-50, 2018.
Intelligent-based robot to deal with contradictions (with D. Costa), International Conference on Autonomous Robot Systems and Competitions (ICARSC), Bragança, Portugal, pp. 199-204, 2016.
Classical principles in molecular logic (with D. Costa, C. Fuentes, P. Fuentes). In Proceedings of ICNAAM, AIP Conf. Proc. 1648, 710005, 2015.
A fuzzy neural network for E. coli metabolism (with D. Figueiredo, C. Fuentes). In Proceedings of ICNAAM, AIP Conf. Proc. 1648, 710005, 2015.
A logic for robotics (with A. Madeira, R. Neves, L. Barbosa). In Proceedings of ICNAAM, AIP Conf. Proc. 1648, 710005, 2015.
Algumas aplicações do cálculo proposicional (in Portuguese - with E. H. Manfredini) Boletim da Sociedade Portuguesa de Matemática, Nº 48, May 2003, 37-52. (Get a preprint at aplicpc.pdf )