Manuel A. Martins

Available identifiers

zbMath Open martins.manuel-aWikidataQ88304664 ScholiaQ88304664MaRDI QIDQ301372

List of research outcomes

Publication	Date of Publication	Type
Boolean dynamics revisited through feedback interconnections	2024-02-09	Paper
Relation-changing models meet paraconsistency	2023-06-19	Paper
Introducing fuzzy reactive graphs: a simple application on biology	2022-11-21	Paper
https://portal.mardi4nfdi.de/entity/Q5869599	2022-09-28	Paper
Adding proof calculi to epistemic logics with structured knowledge	2022-06-17	Paper
Exorcising the phantom zone	2022-06-13	Paper
Graded epistemic logic with public announcement	2022-03-09	Paper
Essay on modality across different logics	2022-03-01	Paper
Non-dual modal operators as a basis for 4-valued accessibility relations in hybrid logic	2021-08-03	Paper
Reversal fuzzy switch graphs	2021-07-08	Paper
A note on reactive transitions and Reo connectors	2021-06-03	Paper
https://portal.mardi4nfdi.de/entity/Q5855501	2021-03-18	Paper
A fuzzy modal logic for fuzzy transition systems	2021-01-19	Paper
https://portal.mardi4nfdi.de/entity/Q5141780	2020-12-18	Paper
A four-valued hybrid logic with non-dual modal operators	2020-07-08	Paper
Rigid first-order hybrid logic	2020-03-04	Paper
Asymmetric Combination of Logics is Functorial: A Survey	2020-01-16	Paper
Completeness in equational hybrid propositional type theory	2019-12-11	Paper
Epistemic logics with structured knowledge	2019-11-13	Paper
A family of graded epistemic logics	2019-11-12	Paper
Hierarchical hybrid logic	2019-11-12	Paper
https://portal.mardi4nfdi.de/entity/Q5226735	2019-08-01	Paper
https://portal.mardi4nfdi.de/entity/Q4554399	2018-11-14	Paper
On interval dynamic logic	2018-09-27	Paper
A logic for the stepwise development of reactive systems	2018-09-24	Paper
A short overview of Hidden Logic	2018-09-13	Paper
Paraconsistency in hybrid logic	2018-02-13	Paper
Applying differential dynamic logic to reconfigurable biological networks	2017-10-20	Paper
Dynamic Logic with Binders and Its Application to the Development of Reactive Systems	2016-12-21	Paper
An exercise on the generation of many-valued dynamic logics	2016-12-15	Paper
Continuity as a computational effect	2016-12-15	Paper
A Tableau System for Quasi-Hybrid Logic	2016-09-05	Paper
Refinement by Interpretation in a General Setting	2016-08-01	Paper
Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach	2016-06-30	Paper
A Dynamic Logic for Every Season	2016-04-01	Paper
Completeness and Decidability Results for Hybrid(ised) Logics	2016-04-01	Paper
Refinement in hybridised institutions	2015-07-23	Paper
Malinowski modalization, modalization through fibring and the Leibniz hierarchy	2015-02-27	Paper
A Hilbert-style axiomatisation for equational hybrid logic	2015-02-09	Paper
https://portal.mardi4nfdi.de/entity/Q5173183	2015-02-09	Paper
https://portal.mardi4nfdi.de/entity/Q5411465	2014-04-23	Paper
Boilerplates for Reconfigurable Systems: A Language and Its Semantics	2014-04-16	Paper
Deduction-detachment theorem in hidden k-logics	2014-04-01	Paper
The role of logical interpretations in program development	2014-01-22	Paper
On a coalgebraic view on Logic	2013-11-21	Paper
A coalgebraic perspective on logical interpretations	2013-09-23	Paper
Hybridisation at Work	2013-09-13	Paper
Hybrid Specification of Reactive Systems: An Institutional Approach	2011-10-28	Paper
Hybridization of Institutions	2011-09-02	Paper
Behavioral algebraization of logics	2009-03-17	Paper
Behavioural reasoning for conditional equations	2007-12-12	Paper
Closure properties for the class of behavioral models	2007-07-16	Paper
https://portal.mardi4nfdi.de/entity/Q3435249	2007-04-25	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Manuel A. Martins