Emilio Muñoz Velasco

Associate Professor

website scholar github
NoteRecent publications

Fuzzy Halpern and Shoham’s interval temporal logics

2023
Willem Conradie, Dario Della Monica, Emilio Muñoz Velasco, Guido Sciavicco, Ionel Eduard Stan
Fuzzy Sets and Systems vol. 456 , pages 107-124.

Fuzzy closure structures as formal concepts

2023
Manuel Ojeda Hernández, Inma P. Cabrera, Pablo Cordero, Emilio Muñoz Velasco
Fuzzy Sets Syst. 463: 108458

Fuzzy closure structures as formal concepts II

2023
Manuel Ojeda Hernández, Inma P. Cabrera, Pablo Cordero, Emilio Muñoz Velasco
Fuzzy Sets Syst. 473: 108734

Fuzzy relational Galois connections between fuzzy transitive digraphs

2023
Inma P. Cabrera, Pablo Cordero, Emilio Muñoz Velasco, Manuel Ojeda-Aciego, Bernard De Baets
Fuzzy Sets Syst. 463: 108456

Fuzzy closure systems: Motivation, definition and properties

2022
Manuel Ojeda Hernández, Inma P. Cabrera, Pablo Cordero, Emilio Muñoz Velasco
International Journal of Approximate Reasoning vol. 148 , pages 151 – 161.

Fuzzy closure relations

2022
Manuel Ojeda Hernández, Inma P. Cabrera, Pablo Cordero, Emilio Muñoz Velasco
Fuzzy Sets and Systems vol. 450 , pages 118 – 132.

A flexible logic-based approach to closeness using order of magnitude qualitative reasoning

2020
Alfredo Burrieza, Emilio Muñoz Velasco, Manuel Ojeda-Aciego
Log. J. {IGPL} vol. 28 (1), pages 121–133.

Relational Galois connections between transitive digraphs: Characterization and construction

2020
Inma P. Cabrera, Pablo Cordero, Emilio Muñoz Velasco, Manuel Ojeda-Aciego, Bernard De Baets
Information Sciences vol. 519 , pages 439 – 450.

Relational Galois connections between transitive fuzzy digraphs

2020
Inma P. Cabrera, Pablo Cordero, Emilio Muñoz Velasco, Manuel Ojeda-Aciego, Bernard De Baets
Mathematical Methods in the Applied Sciences vol. 43 (9), pages 5673 – 5680.

On coarser interval temporal logics

2019
Emilio Muñoz Velasco, Mercedes Pelegrín, Pietro Sala, Guido Sciavicco, Ionel Eduard Stan
Artificial Intelligence vol. 266 , pages 1-26.

A flexible logic-based approach to closeness using order of magnitude qualitative reasoning

2019
Alfredo Burrieza, Emilio Muñoz Velasco, Manuel Ojeda-Aciego
Logic Journal of the IGPL vol. 28 (1), pages 121-133.

A Stable Qualitative Movement Control System Based on Propositional Dynamic Logic

2019
Przemyslaw Andrzej Walega, Emilio Muñoz Velasco
J. Multiple Valued Log. Soft Comput. vol. 32 (3-4), pages 221–239.

On Sub-Propositional Fragments of Modal Logic

2018
Davide Bresolin, Emilio Muñoz Velasco, Guido Sciavicco
[object Object]

Horn Fragments of the Halpern-Shoham Interval Temporal Logic

2017
Davide Bresolin, Agi Kurucz, Emilio Muñoz Velasco, Vladislav Ryzhikov, Guido Sciavicco, Michael Zakharyaschev
{ACM} Trans. Comput. Log. vol. 18 (3), pages 22:1–22:39.

A multimodal logic for closeness

2017
Alfredo Burrieza, Emilio Muñoz Velasco, Manuel Ojeda-Aciego
J. Appl. Non Class. Logics vol. 27 (3-4), pages 225–237.

On Sub-Propositional Fragments of Modal Logic

2016
Davide Bresolin, Emilio Muñoz Velasco, Guido Sciavicco
[object Object]

Horn Fragments of the Halpern-Shoham Interval Temporal Logic (Technical Report)

2016
Davide Bresolin, Agi Kurucz, Emilio Muñoz Velasco, Vladislav Ryzhikov, Guido Sciavicco, Michael Zakharyaschev
[object Object]

Tableau reductions: Towards an optimal decision procedure for the modal necessity

2016
Joanna Golinska-Pilarek, Emilio Muñoz Velasco, Ángel Mora
J. Appl. Log. vol. 17 , pages 14–24.

A hybrid qualitative approach for relative movements

2015
Joanna Golinska-Pilarek, Emilio Muñoz Velasco
Log. J. {IGPL} vol. 23 (3), pages 410–420.

A logic framework for reasoning with movement based on fuzzy qualitative representation

2014
Emilio Muñoz Velasco, Alfredo Burrieza, Manuel Ojeda-Aciego
Fuzzy Sets Syst. vol. 242 , pages 114–131.

Relational dual tableau decision procedures and their applications to modal and intuitionistic logics

2014
Joanna Golinska-Pilarek, Taneli Huuskonen, Emilio Muñoz Velasco
Ann. Pure Appl. Log. vol. 165 (2), pages 409–427.

Relational dual tableau decision procedure for modal logic {K}

2012
Joanna Golinska-Pilarek, Emilio Muñoz Velasco, Angel Mora-Bonilla
Log. J. {IGPL} vol. 20 (4), pages 747–756.

A {PDL} Approach for Qualitative Velocity

2011
Alfredo Burrieza, Emilio Muñoz Velasco, Manuel Ojeda-Aciego
Int. J. Uncertain. Fuzziness Knowl. Based Syst. vol. 19 (1), pages 11–26.

Implementing a relational theorem prover for modal logic

2011
Ángel Mora, Emilio Muñoz Velasco, Joanna Golinska-Pilarek
Int. J. Comput. Math. vol. 88 (9), pages 1869–1884.

A new deduction system for deciding validity in modal logic {K}

2011
Joanna Golinska-Pilarek, Emilio Muñoz Velasco, Ángel Mora
Log. J. {IGPL} vol. 19 (2), pages 425–434.

Analyzing completeness of axiomatic functional systems for temporal {} modal logics

2010
Alfredo Burrieza, Inmaculada Perez de Guzmán, Emilio Muñoz Velasco
Math. Log. Q. vol. 56 (1), pages 89–102.

Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility

2009
Joanna Golinska-Pilarek, Emilio Muñoz Velasco
Int. J. Comput. Math. vol. 86 (10{&}11), pages 1707–1718.

Functional systems in the context of temporal{}modal logics with indexed flows

2009
Alfredo Burrieza, Inma P. de Guzmán, Emilio Muñoz Velasco
Int. J. Comput. Math. vol. 86 (10{&}11), pages 1696–1706.

Relational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance

2009
Joanna Golinska-Pilarek, Emilio Muñoz Velasco
Log. J. {IGPL} vol. 17 (4), pages 375–394.

Generalization of some properties of relations in the context of functional temporal{}modal logic

2008
Alfredo Burrieza, Inma P. de Guzmán, Emilio Muñoz Velasco
Int. J. Comput. Math. vol. 85 (3{&}4), pages 371–383.
No matching items