Emilio Muñoz-Velasco

Available identifiers

zbMath Open munoz-velasco.emilioMaRDI QIDQ313005

List of research outcomes

Publication	Date of Publication	Type
Logics for order-of-magnitude qualitative reasoning: formalizing negligibility	2024-09-06	Paper
On the commutative diagrams among Galois connections involved in closure structures	2024-01-11	Paper
Fuzzy closure relations	2023-10-31	Paper
Fuzzy Halpern and Shoham's interval temporal logics	2023-10-31	Paper
Formal Methods in FCA and Big Data	2022-12-12	Paper
Galois Connections Between Unbalanced Structures in a Fuzzy Framework	2022-12-06	Paper
Fuzzy closure systems: motivation, definition and properties	2022-09-02	Paper
A flexible logic-based approach to closeness using order of magnitude qualitative reasoning	2022-06-09	Paper
https://portal.mardi4nfdi.de/entity/Q5079773	2022-05-28	Paper
https://portal.mardi4nfdi.de/entity/Q5071236	2022-04-20	Paper
https://portal.mardi4nfdi.de/entity/Q5015271	2021-12-07	Paper
https://portal.mardi4nfdi.de/entity/Q4999269	2021-07-06	Paper
Relational Galois connections between transitive digraphs: characterization and construction	2021-03-31	Paper
Relational Galois connections between transitive fuzzy digraphs	2020-11-09	Paper
https://portal.mardi4nfdi.de/entity/Q5111184	2020-05-26	Paper
A relational extension of Galois connections	2020-02-11	Paper
On coarser interval temporal logics	2019-08-28	Paper
A hybrid qualitative approach for relative movements	2019-01-08	Paper
A multimodal logic for closeness	2018-09-12	Paper
https://portal.mardi4nfdi.de/entity/Q4580320	2018-08-15	Paper
Horn Fragments of the Halpern-Shoham Interval Temporal Logic	2017-10-16	Paper
Tableau reductions: towards an optimal decision procedure for the modal necessity	2016-09-09	Paper
A logic framework for reasoning with movement based on fuzzy qualitative representation	2015-06-24	Paper
Sub-propositional Fragments of the Interval Temporal Logic of Allen’s Relations	2015-01-14	Paper
Relational dual tableau decision procedures and their applications to modal and intuitionistic logics	2013-12-10	Paper
Relational dual tableau decision procedure for modal logic K	2013-06-04	Paper
Implementing a relational theorem prover for modal logic	2011-06-15	Paper
A PDL APPROACH FOR QUALITATIVE VELOCITY	2011-06-10	Paper
A new deduction system for deciding validity in modal logic K	2011-05-18	Paper
Analyzing completeness of axiomatic functional systems for temporal × modal logics	2010-02-16	Paper
Functional systems in the context of temporal×modal logics with indexed flows	2009-11-10	Paper
Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility	2009-11-10	Paper
Relational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance	2009-08-12	Paper
Generalization of some properties of relations in the context of functional temporal×modal logic	2008-04-29	Paper

Research outcomes over time

This page was built for person: Emilio Muñoz-Velasco