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 |
|
2017
|
Sub-propositional fragments of the interval temporal logic of Allen’s relations. Zbl 1432.03028
Bresolin, Davide; Muñoz-Velasco, Emilio; Sciavicco, Guido |
|
2014
|
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. |
|
2009
|
Relational Galois connections between transitive fuzzy digraphs. Zbl 1446.06006
Cabrera, Inma P.; Cordero, Pablo; Muñoz-Velasco, Emilio; Ojeda-Aciego, Manuel; De Baets, Bernard |
|
2020
|
On coarser interval temporal logics. Zbl 1480.03010
Muñoz-Velasco, Emilio; Pelegrín, Mercedes; Sala, Pietro; Sciavicco, Guido; Stan, Ionel Eduard |
|
2019
|
Fuzzy closure systems: motivation, definition and properties. Zbl 07581220
Ojeda-Hernández, Manuel; Cabrera, Inma P.; Cordero, Pablo; Muñoz-Velasco, Emilio |
|
2022
|
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. |
|
2008
|
Relational dual tableau decision procedure for modal logic K. Zbl 1264.03041
Golińska-Pilarek, Joanna; Muñoz-Velasco, Emilio; Mora-Bonilla, Angel |
|
2012
|
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 |
|
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. |
|
2009
|
A new deduction system for deciding validity in modal logic K. Zbl 1252.03027
Golińska-Pilarek, Joanna; Muñoz-Velasco, Emilio; Mora, Angel |
|
2011
|
Implementing a relational theorem prover for modal logic K. Zbl 1229.03019
Mora, A.; Muñoz-Velasco, E.; Golińska-Pilarek, J. |
|
2011
|
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 |
|
2020
|
Fast(er) reasoning in interval temporal logic. Zbl 1434.03066
Bresolin, Davide; Muñoz-Velasco, Emilio; Sciavicco, Guido |
|
2017
|
A logic framework for reasoning with movement based on fuzzy qualitative representation. Zbl 1315.68241
Muñoz-Velasco, E.; Burrieza, A.; Ojeda-Aciego, M. |
|
2014
|
An approach to fuzzy modal logic of time intervals. Zbl 1464.68349
Conradie, Willem; Della Monica, Dario; Muñoz-Velasco, Emilio; Sciavicco, Guido |
|
2020
|
A relational extension of Galois connections. Zbl 1535.06006
Cabrera, Inma P.; Cordero, Pablo; Muñoz-Velasco, Emilio; Ojeda-Aciego, Manuel |
|
2019
|
Analyzing completeness of axiomatic functional systems for temporal \(\times \) modal logics. Zbl 1185.03020
Burrieza, Alfredo; de Guzmán, Inmaculada P.; Muñoz-Velasco, Emilio |
|
2010
|
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. |
|
2009
|
A PDL approach for qualitative velocity. Zbl 1214.68380
Burrieza, A.; Muñoz-Velasco, E.; Ojeda-Aciego, M. |
|
2011
|
Extracting interval temporal logic rules: a first approach. Zbl 1487.68192
Bresolin, Davide; Cominato, Enrico; Gnani, Simone; Muñoz-Velasco, Emilio; Sciavicco, Guido |
|
2018
|
Fuzzy Halpern and Shoham’s interval temporal logics. Zbl 1522.03069
Conradie, Willem; Della Monica, Dario; Muñoz-Velasco, Emilio; Sciavicco, Guido; Stan, Ionel Eduard |
|
2023
|
Fuzzy Halpern and Shoham’s interval temporal logics. Zbl 1522.03069
Conradie, Willem; Della Monica, Dario; Muñoz-Velasco, Emilio; Sciavicco, Guido; Stan, Ionel Eduard |
|
2023
|
Fuzzy closure systems: motivation, definition and properties. Zbl 07581220
Ojeda-Hernández, Manuel; Cabrera, Inma P.; Cordero, Pablo; Muñoz-Velasco, Emilio |
|
2022
|
Relational Galois connections between transitive fuzzy digraphs. Zbl 1446.06006
Cabrera, Inma P.; Cordero, Pablo; Muñoz-Velasco, Emilio; Ojeda-Aciego, Manuel; De Baets, Bernard |
|
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 |
|
2020
|
An approach to fuzzy modal logic of time intervals. Zbl 1464.68349
Conradie, Willem; Della Monica, Dario; Muñoz-Velasco, Emilio; Sciavicco, Guido |
|
2020
|
On coarser interval temporal logics. Zbl 1480.03010
Muñoz-Velasco, Emilio; Pelegrín, Mercedes; Sala, Pietro; Sciavicco, Guido; Stan, Ionel Eduard |
|
2019
|
A relational extension of Galois connections. Zbl 1535.06006
Cabrera, Inma P.; Cordero, Pablo; Muñoz-Velasco, Emilio; Ojeda-Aciego, Manuel |
|
2019
|
Extracting interval temporal logic rules: a first approach. Zbl 1487.68192
Bresolin, Davide; Cominato, Enrico; Gnani, Simone; Muñoz-Velasco, Emilio; Sciavicco, Guido |
|
2018
|
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 |
|
2017
|
Fast(er) reasoning in interval temporal logic. Zbl 1434.03066
Bresolin, Davide; Muñoz-Velasco, Emilio; Sciavicco, Guido |
|
2017
|
Sub-propositional fragments of the interval temporal logic of Allen’s relations. Zbl 1432.03028
Bresolin, Davide; Muñoz-Velasco, Emilio; Sciavicco, Guido |
|
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 |
|
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. |
|
2014
|
Relational dual tableau decision procedure for modal logic K. Zbl 1264.03041
Golińska-Pilarek, Joanna; Muñoz-Velasco, Emilio; Mora-Bonilla, Angel |
|
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 |
|
2011
|
Implementing a relational theorem prover for modal logic K. Zbl 1229.03019
Mora, A.; Muñoz-Velasco, E.; Golińska-Pilarek, J. |
|
2011
|
A PDL approach for qualitative velocity. Zbl 1214.68380
Burrieza, A.; Muñoz-Velasco, E.; Ojeda-Aciego, M. |
|
2011
|
Analyzing completeness of axiomatic functional systems for temporal \(\times \) modal logics. Zbl 1185.03020
Burrieza, Alfredo; de Guzmán, Inmaculada P.; Muñoz-Velasco, Emilio |
|
2010
|
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. |
|
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. |
|
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. |
|
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. |
|
2008
|