The following pages link to Manuel A. Martins (Q301372):
Displayed 50 items.
- Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach (Q301373) (← links)
- (Q368474) (redirect page) (← links)
- A coalgebraic perspective on logical interpretations (Q368477) (← links)
- A four-valued hybrid logic with non-dual modal operators (Q777885) (← links)
- (Q1005973) (redirect page) (← links)
- Behavioral algebraization of logics (Q1005974) (← links)
- On interval dynamic logic (Q1784786) (← links)
- A logic for the stepwise development of reactive systems (Q1786564) (← links)
- A note on reactive transitions and Reo connectors (Q2028747) (← links)
- Reversal fuzzy switch graphs (Q2038032) (← links)
- Non-dual modal operators as a basis for 4-valued accessibility relations in hybrid logic (Q2043815) (← links)
- Introducing fuzzy reactive graphs: a simple application on biology (Q2099983) (← links)
- Adding proof calculi to epistemic logics with structured knowledge (Q2145260) (← links)
- A fuzzy modal logic for fuzzy transition systems (Q2219078) (← links)
- A Hilbert-style axiomatisation for equational hybrid logic (Q2255232) (← links)
- Completeness in equational hybrid propositional type theory (Q2278838) (← links)
- Rigid first-order hybrid logic (Q2303580) (← 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)
- Closure properties for the class of behavioral models (Q2373706) (← links)
- An exercise on the generation of many-valued dynamic logics (Q2374313) (← links)
- Continuity as a computational effect (Q2374315) (← links)
- Applying differential dynamic logic to reconfigurable biological networks (Q2411314) (← links)
- Graded epistemic logic with public announcement (Q2669241) (← links)
- Exorcising the phantom zone (Q2672660) (← links)
- A Dynamic Logic for Every Season (Q2797867) (← links)
- Completeness and Decidability Results for Hybrid(ised) Logics (Q2797868) (← links)
- A Tableau System for Quasi-Hybrid Logic (Q2817942) (← links)
- Hybridisation at Work (Q2848960) (← links)
- On a coalgebraic view on Logic (Q2863171) (← 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)
- Paraconsistency in hybrid logic (Q3133184) (← links)
- Dynamic Logic with Binders and Its Application to the Development of Reactive Systems (Q3179414) (← links)
- (Q3435249) (← links)
- (Q4554399) (← links)
- A short overview of Hidden Logic (Q4586416) (← links)
- (Q5141780) (← links)
- (Q5173183) (← links)
- Malinowski modalization, modalization through fibring and the Leibniz hierarchy (Q5176664) (← links)
- Asymmetric Combination of Logics is Functorial: A Survey (Q5208498) (← links)
- (Q5226735) (← links)
- Deduction-detachment theorem in hidden k-logics (Q5406128) (← links)
- Boilerplates for Reconfigurable Systems: A Language and Its Semantics (Q5410471) (← links)
- (Q5411465) (← links)
- Behavioural reasoning for conditional equations (Q5430141) (← links)