Alexandre Madeira

Available identifiers

zbMath Open madeira.alexandreMaRDI QIDQ724931

List of research outcomes

Publication	Date of Publication	Type
Paraconsistent Transition Systems	2024-02-28	Paper
A hybrid dynamic logic for event/data-based systems	2023-11-24	Paper
Verification for everyone? An overview of dynamic logic	2023-10-20	Paper
Weighted synchronous automata	2023-04-19	Paper
A semantics and a logic for \textit{Fuzzy Arden Syntax}	2022-11-21	Paper
On Kleene Algebras for Weighted Computation	2022-11-04	Paper
Generalising KAT to Verify Weighted Computations	2022-07-19	Paper
Adding proof calculi to epistemic logics with structured knowledge	2022-06-17	Paper
Graded epistemic logic with public announcement	2022-03-09	Paper
Hybrid dynamic logic institutions for event/data-based systems	2022-01-11	Paper
Observational interpretations of hybrid dynamic logic with binders and silent transitions	2021-09-03	Paper
Introducing synchrony in fuzzy automata	2021-01-19	Paper
A fuzzy modal logic for fuzzy transition systems	2021-01-19	Paper
Behavioural and abstractor specifications for a dynamic logic with binders and silent transitions	2020-07-08	Paper
Asymmetric Combination of Logics is Functorial: A Survey	2020-01-16	Paper
Observational Semantics for Dynamic Logic with Binders	2020-01-16	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/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
Behavioural and abstractor specifications revisited	2018-07-26	Paper
On the verification of architectural reconfigurations	2018-05-15	Paper
Institutions for behavioural dynamic logic with binders	2017-11-03	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
Refinement by Interpretation in a General Setting	2016-08-01	Paper
Encoding hybridized institutions into first-order logic	2016-07-28	Paper
A Dynamic Logic for Every Season	2016-04-01	Paper
Refinement in hybridised institutions	2015-07-23	Paper
Boilerplates for Reconfigurable Systems: A Language and Its Semantics	2014-04-16	Paper
Observational Refinement Process	2014-03-26	Paper
The role of logical interpretations in program development	2014-01-22	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

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: Alexandre Madeira