Edit Profile (opens in new tab) Muñoz-Velasco, Emilio Compute Distance To: Compute Author ID: munoz-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 all top 5 Co-Authors 0 single-authored 8 Golińska-Pilarek, Joanna 7 Burrieza, Alfredo 7 Ojeda-Aciego, Manuel 7 Sciavicco, Guido 5 Bresolin, Davide 3 Cabrera, Inma P. 3 Cordero, Pablo 3 de Guzmán, Inmaculada Pérez 3 Mora, Angel 2 De Baets, Bernard 1 Conradie, Willem 1 Della Monica, Dario 1 Huuskonen, Taneli 1 Kurucz, Agi 1 Mora-Bonilla, Angel 1 Ozaki, Ana 1 Pelegrín, Mercedes 1 Ryzhikov, Vladislav 1 Sala, Pietro 1 Stan, Ionel Eduard 1 Theobald, Martin 1 Zakharyaschev, Michael Viktorovich all top 5 Serials 4 International Journal of Computer Mathematics 4 Logic Journal of the IGPL 1 Artificial Intelligence 1 Mathematical Methods in the Applied Sciences 1 Fuzzy Sets and Systems 1 Information Sciences 1 Annals of Pure and Applied Logic 1 Journal of Applied Non-Classical Logics 1 Mathematical Logic Quarterly (MLQ) 1 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 1 ACM Transactions on Computational Logic 1 Journal of Applied Logic 1 Logical Methods in Computer Science 1 LIPIcs – Leibniz International Proceedings in Informatics Fields 21 Mathematical logic and foundations (03-XX) 14 Computer science (68-XX) 2 Combinatorics (05-XX) 1 General and overarching topics; collections (00-XX) 1 Order, lattices, ordered algebraic structures (06-XX) Publications by Year all cited Publications top 5 cited Publications 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.68043Golinska-Pilarek, J.; Muñoz-Velasco, E. 6 2009 Sub-propositional fragments of the interval temporal logic of Allen’s relations. Zbl 1432.03028Bresolin, Davide; Muñoz-Velasco, Emilio; Sciavicco, Guido 5 2014 Horn fragments of the Halpern-Shoham interval temporal logic. Zbl 1407.03029Bresolin, 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.03018Goliń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.03010Burrieza, 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.03027Golińska-Pilarek, Joanna; Muñoz-Velasco, Emilio; Mora, Angel 2 2011 Implementing a relational theorem prover for modal logic K. Zbl 1229.03019Mora, 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.03017Golińska-Pilarek, Joanna; Huuskonen, Taneli; Muñoz-Velasco, Emilio 2 2014 On coarser interval temporal logics. Zbl 1480.03010Muñ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.03038Burrieza, 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.68241Muñoz-Velasco, E.; Burrieza, A.; Ojeda-Aciego, M. 1 2014 A PDL approach for qualitative velocity. Zbl 1214.68380Burrieza, A.; Muñoz-Velasco, E.; Ojeda-Aciego, M. 1 2011 Relational dual tableau decision procedure for modal logic K. Zbl 1264.03041Golińska-Pilarek, Joanna; Muñoz-Velasco, Emilio; Mora-Bonilla, Angel 1 2012 Relational Galois connections between transitive digraphs: characterization and construction. Zbl 1457.05041Cabrera, 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.05041Cabrera, Inma P.; Cordero, Pablo; Muñoz-Velasco, Emilio; Ojeda-Aciego, Manuel; De Baets, Bernard 1 2020 On coarser interval temporal logics. Zbl 1480.03010Muñ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.03029Bresolin, 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.03028Bresolin, Davide; Muñoz-Velasco, Emilio; Sciavicco, Guido 5 2014 Relational dual tableau decision procedures and their applications to modal and intuitionistic logics. Zbl 1317.03017Goliń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.68241Muñoz-Velasco, E.; Burrieza, A.; Ojeda-Aciego, M. 1 2014 Relational dual tableau decision procedure for modal logic K. Zbl 1264.03041Goliń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.03027Golińska-Pilarek, Joanna; Muñoz-Velasco, Emilio; Mora, Angel 2 2011 Implementing a relational theorem prover for modal logic K. Zbl 1229.03019Mora, A.; Muñoz-Velasco, E.; Golińska-Pilarek, J. 2 2011 A PDL approach for qualitative velocity. Zbl 1214.68380Burrieza, 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.68043Golinska-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.03018Golińska-Pilarek, J.; Muñoz-Velasco, E. 3 2009 Functional systems in the context of temporal \( \times \) modal logics with indexed flows. Zbl 1182.03038Burrieza, 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.03010Burrieza, A.; De Guzmán, I. P.; Muñoz-Velasco, E. 3 2008 all cited Publications top 5 cited Publications all top 5 Cited by 26 Authors 11 Muñoz-Velasco, Emilio 5 Burrieza, Alfredo 4 Golińska-Pilarek, Joanna 4 Ojeda-Aciego, Manuel 3 Sciavicco, Guido 3 Wałęga, Przemysław Andrzej 2 Bresolin, Davide 2 de Guzmán, Inmaculada Pérez 2 Mora, Angel 2 Sioutis, Michael 1 Aragón, Roberto G. 1 Balbiani, Philippe 1 Chlebowski, Szymon 1 Huuskonen, Taneli 1 Ignaszak, Mateusz 1 Janhunen, Tomi 1 Leszczyńska-Jasion, Dorota 1 Madrid, Nicolás 1 Medina, Jesús 1 Paparrizou, Anastasia 1 Pelegrín, Mercedes 1 Ramírez-Poussa, Eloisa 1 Sala, Pietro 1 Stan, Ionel Eduard 1 Wolter, Diedrich 1 Zawidzki, Michał all top 5 Cited in 12 Serials 3 Information and Computation 3 International Journal of Computer Mathematics 2 Journal of Applied Logic 1 Artificial Intelligence 1 Fuzzy Sets and Systems 1 Studia Logica 1 Theoretical Computer Science 1 Annals of Pure and Applied Logic 1 Journal of Applied Non-Classical Logics 1 Mathematical Logic Quarterly (MLQ) 1 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 1 Logical Methods in Computer Science Cited in 2 Fields 15 Mathematical logic and foundations (03-XX) 11 Computer science (68-XX) Citations by Year