The following pages link to Alexandre Madeira (Q724931):
Displayed 39 items.
- Item:Q724931 (redirect page) (← links)
- A coalgebraic perspective on logical interpretations (Q368477) (← links)
- Behavioural and abstractor specifications revisited (Q724932) (← links)
- Behavioural and abstractor specifications for a dynamic logic with binders and silent transitions (Q777876) (← links)
- Institutions for behavioural dynamic logic with binders (Q1675787) (← links)
- On the verification of architectural reconfigurations (Q1749140) (← links)
- On interval dynamic logic (Q1784786) (← links)
- A logic for the stepwise development of reactive systems (Q1786564) (← links)
- Observational interpretations of hybrid dynamic logic with binders and silent transitions (Q1979970) (← links)
- Hybrid dynamic logic institutions for event/data-based systems (Q2065557) (← links)
- A semantics and a logic for \textit{Fuzzy Arden Syntax} (Q2099984) (← links)
- Adding proof calculi to epistemic logics with structured knowledge (Q2145260) (← links)
- Introducing synchrony in fuzzy automata (Q2219075) (← links)
- A fuzzy modal logic for fuzzy transition systems (Q2219078) (← links)
- A family of graded epistemic logics (Q2333311) (← links)
- Hierarchical hybrid logic (Q2333323) (← links)
- Epistemic logics with structured knowledge (Q2333672) (← links)
- Refinement in hybridised institutions (Q2355385) (← links)
- An exercise on the generation of many-valued dynamic logics (Q2374313) (← links)
- Graded epistemic logic with public announcement (Q2669241) (← links)
- A Dynamic Logic for Every Season (Q2797867) (← links)
- Hybridisation at Work (Q2848960) (← links)
- The role of logical interpretations in program development (Q2871226) (← links)
- Refinement by Interpretation in a General Setting (Q2994492) (← links)
- Hybridization of Institutions (Q3090875) (← links)
- Hybrid Specification of Reactive Systems: An Institutional Approach (Q3095244) (← links)
- Dynamic Logic with Binders and Its Application to the Development of Reactive Systems (Q3179414) (← links)
- (Q4554399) (← links)
- On Kleene Algebras for Weighted Computation (Q5045470) (← links)
- Generalising KAT to Verify Weighted Computations (Q5089610) (← links)
- Asymmetric Combination of Logics is Functorial: A Survey (Q5208498) (← links)
- Observational Semantics for Dynamic Logic with Binders (Q5208504) (← links)
- Observational Refinement Process (Q5403465) (← links)
- Boilerplates for Reconfigurable Systems: A Language and Its Semantics (Q5410471) (← links)
- Encoding hybridized institutions into first-order logic (Q5741578) (← links)
- Weighted synchronous automata (Q5889309) (← links)
- Verification for everyone? An overview of dynamic logic (Q6074988) (← links)
- A hybrid dynamic logic for event/data-based systems (Q6091319) (← links)
- Paraconsistent Transition Systems (Q6118743) (← links)