Emilio Muñoz-Velasco

Available identifiers

zbMath Open munoz-velasco.emilioMaRDI QIDQ313005

List of research outcomes

Publication	Date of Publication	Type
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

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: Emilio Muñoz-Velasco