Edit Profile Muñoz-Velasco, Emilio Compute Distance To: Compute Author ID: munoz-velasco.emilio Published as: Muñoz-Velasco, E.; Muñoz-Velasco, Emilio Documents Indexed: 23 Publications since 2008, including 1 Book Reviewing Activity: 7 Reviews all top 5 Co-Authors 0 single-authored 8 Golińska-Pilarek, Joanna 6 Burrieza, Alfredo 6 Ojeda-Aciego, Manuel 5 Sciavicco, Guido 4 Bresolin, Davide 3 Cabrera, Inma P. 3 Cordero, Pablo 3 de Guzmán, Inmaculada Pérez 3 Mora, Angel 2 De Baets, Bernard 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 17 Mathematical logic and foundations (03-XX) 13 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 11 Publications have been cited 29 times in 16 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 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 4 2017 Sub-propositional fragments of the interval temporal logic of Allen’s relations. Zbl 1432.03028Bresolin, Davide; Muñoz-Velasco, Emilio; Sciavicco, Guido 4 2014 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 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 Implementing a relational theorem prover for modal logic K. Zbl 1229.03019Mora, A.; Muñoz-Velasco, E.; Golińska-Pilarek, J. 2 2011 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 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 PDL approach for qualitative velocity. Zbl 1214.68380Burrieza, A.; Muñoz-Velasco, E.; Ojeda-Aciego, M. 1 2011 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 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 4 2017 Sub-propositional fragments of the interval temporal logic of Allen’s relations. Zbl 1432.03028Bresolin, Davide; Muñoz-Velasco, Emilio; Sciavicco, Guido 4 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 Relational dual tableau decision procedure for modal logic K. Zbl 1264.03041Golińska-Pilarek, Joanna; Muñoz-Velasco, Emilio; Mora-Bonilla, Angel 1 2012 Implementing a relational theorem prover for modal logic K. Zbl 1229.03019Mora, A.; Muñoz-Velasco, E.; Golińska-Pilarek, J. 2 2011 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 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 18 Authors 10 Muñoz-Velasco, Emilio 5 Burrieza, Alfredo 4 Golińska-Pilarek, Joanna 4 Ojeda-Aciego, Manuel 2 de Guzmán, Inmaculada Pérez 2 Mora, Angel 2 Sciavicco, Guido 2 Wałęga, Przemysław Andrzej 1 Balbiani, Philippe 1 Bresolin, Davide 1 Chlebowski, Szymon 1 Huuskonen, Taneli 1 Ignaszak, Mateusz 1 Leszczyńska-Jasion, Dorota 1 Madrid, Nicolás 1 Pelegrín, Mercedes 1 Sala, Pietro 1 Stan, Ionel Eduard all top 5 Cited in 11 Serials 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 13 Mathematical logic and foundations (03-XX) 7 Computer science (68-XX) Citations by Year