×

zbMATH — the first resource for mathematics

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, E.; Muñoz-Velasco, Emilio
Documents Indexed: 23 Publications since 2008, including 1 Book
Reviewing Activity: 7 Reviews

Publications by Year

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.68043
Golinska-Pilarek, J.; Muñoz-Velasco, E.
6
2009
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
4
2017
Sub-propositional fragments of the interval temporal logic of Allen’s relations. Zbl 1432.03028
Bresolin, 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.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
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
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 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
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 PDL approach for qualitative velocity. Zbl 1214.68380
Burrieza, 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.03038
Burrieza, A.; de Guzmán, I. P.; Muñoz-Velasco, E.
1
2009
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
4
2017
Sub-propositional fragments of the interval temporal logic of Allen’s relations. Zbl 1432.03028
Bresolin, Davide; Muñoz-Velasco, Emilio; Sciavicco, Guido
4
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
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
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 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
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