×

Muñoz-Velasco, Emilio

Compute Distance To:
Author ID: munoz-velasco.emilio Recent zbMATH articles by "Muñoz-Velasco, Emilio"
Published as: Muñoz-Velasco, Emilio; Muñoz-Velasco, E.
Documents Indexed: 25 Publications since 2008
1 Contribution as Editor
Reviewing Activity: 7 Reviews
Co-Authors: 22 Co-Authors with 26 Joint Publications
364 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

14 Publications have been cited 35 times in 21 Documents Cited by Year
Relational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance. Zbl 1171.68043
Golinska-Pilarek, J.; Muñoz-Velasco, E.
6
2009
Sub-propositional fragments of the interval temporal logic of Allen’s relations. Zbl 1432.03028
Bresolin, Davide; Muñoz-Velasco, Emilio; Sciavicco, Guido
5
2014
Horn fragments of the Halpern-Shoham interval temporal logic. Zbl 1407.03029
Bresolin, Davide; Kurucz, Agi; Muñoz-Velasco, Emilio; Ryzhikov, Vladislav; Sciavicco, Guido; Zakharyaschev, Michael
5
2017
Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility. Zbl 1181.03018
Golińska-Pilarek, J.; Muñoz-Velasco, E.
3
2009
Generalization of some properties of relations in the context of functional temporal \(\times \) modal logic. Zbl 1147.03010
Burrieza, A.; De Guzmán, I. P.; Muñoz-Velasco, E.
3
2008
A new deduction system for deciding validity in modal logic K. Zbl 1252.03027
Golińska-Pilarek, Joanna; Muñoz-Velasco, Emilio; Mora, Angel
2
2011
Implementing a relational theorem prover for modal logic K. Zbl 1229.03019
Mora, A.; Muñoz-Velasco, E.; Golińska-Pilarek, J.
2
2011
Relational dual tableau decision procedures and their applications to modal and intuitionistic logics. Zbl 1317.03017
Golińska-Pilarek, Joanna; Huuskonen, Taneli; Muñoz-Velasco, Emilio
2
2014
On coarser interval temporal logics. Zbl 1480.03010
Muñoz-Velasco, Emilio; Pelegrín, Mercedes; Sala, Pietro; Sciavicco, Guido; Stan, Ionel Eduard
2
2019
Functional systems in the context of temporal \( \times \) modal logics with indexed flows. Zbl 1182.03038
Burrieza, A.; de Guzmán, I. P.; Muñoz-Velasco, E.
1
2009
A logic framework for reasoning with movement based on fuzzy qualitative representation. Zbl 1315.68241
Muñoz-Velasco, E.; Burrieza, A.; Ojeda-Aciego, M.
1
2014
A PDL approach for qualitative velocity. Zbl 1214.68380
Burrieza, A.; Muñoz-Velasco, E.; Ojeda-Aciego, M.
1
2011
Relational dual tableau decision procedure for modal logic K. Zbl 1264.03041
Golińska-Pilarek, Joanna; Muñoz-Velasco, Emilio; Mora-Bonilla, Angel
1
2012
Relational Galois connections between transitive digraphs: characterization and construction. Zbl 1457.05041
Cabrera, Inma P.; Cordero, Pablo; Muñoz-Velasco, Emilio; Ojeda-Aciego, Manuel; De Baets, Bernard
1
2020
Relational Galois connections between transitive digraphs: characterization and construction. Zbl 1457.05041
Cabrera, Inma P.; Cordero, Pablo; Muñoz-Velasco, Emilio; Ojeda-Aciego, Manuel; De Baets, Bernard
1
2020
On coarser interval temporal logics. Zbl 1480.03010
Muñoz-Velasco, Emilio; Pelegrín, Mercedes; Sala, Pietro; Sciavicco, Guido; Stan, Ionel Eduard
2
2019
Horn fragments of the Halpern-Shoham interval temporal logic. Zbl 1407.03029
Bresolin, Davide; Kurucz, Agi; Muñoz-Velasco, Emilio; Ryzhikov, Vladislav; Sciavicco, Guido; Zakharyaschev, Michael
5
2017
Sub-propositional fragments of the interval temporal logic of Allen’s relations. Zbl 1432.03028
Bresolin, Davide; Muñoz-Velasco, Emilio; Sciavicco, Guido
5
2014
Relational dual tableau decision procedures and their applications to modal and intuitionistic logics. Zbl 1317.03017
Golińska-Pilarek, Joanna; Huuskonen, Taneli; Muñoz-Velasco, Emilio
2
2014
A logic framework for reasoning with movement based on fuzzy qualitative representation. Zbl 1315.68241
Muñoz-Velasco, E.; Burrieza, A.; Ojeda-Aciego, M.
1
2014
Relational dual tableau decision procedure for modal logic K. Zbl 1264.03041
Golińska-Pilarek, Joanna; Muñoz-Velasco, Emilio; Mora-Bonilla, Angel
1
2012
A new deduction system for deciding validity in modal logic K. Zbl 1252.03027
Golińska-Pilarek, Joanna; Muñoz-Velasco, Emilio; Mora, Angel
2
2011
Implementing a relational theorem prover for modal logic K. Zbl 1229.03019
Mora, A.; Muñoz-Velasco, E.; Golińska-Pilarek, J.
2
2011
A PDL approach for qualitative velocity. Zbl 1214.68380
Burrieza, A.; Muñoz-Velasco, E.; Ojeda-Aciego, M.
1
2011
Relational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance. Zbl 1171.68043
Golinska-Pilarek, J.; Muñoz-Velasco, E.
6
2009
Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility. Zbl 1181.03018
Golińska-Pilarek, J.; Muñoz-Velasco, E.
3
2009
Functional systems in the context of temporal \( \times \) modal logics with indexed flows. Zbl 1182.03038
Burrieza, A.; de Guzmán, I. P.; Muñoz-Velasco, E.
1
2009
Generalization of some properties of relations in the context of functional temporal \(\times \) modal logic. Zbl 1147.03010
Burrieza, A.; De Guzmán, I. P.; Muñoz-Velasco, E.
3
2008

Citations by Year