| 2008 |
|---|
| 12 | EE | Alfredo Burrieza,
Emilio Muñoz-Velasco,
Manuel Ojeda-Aciego:
A Propositional Dynamic Logic Approach for Order of Magnitude Reasoning.
IBERAMIA 2008: 11-20 |
| 11 | EE | Alfredo Burrieza,
Inman P. de Guzmán,
Emilio Muñoz-Velasco:
Generalization of some properties of relations in the context of functional temporal×modal logic.
Int. J. Comput. Math. 85(3&4): 371-383 (2008) |
| 2007 |
|---|
| 10 | EE | Alfredo Burrieza,
Emilio Muñoz-Velasco,
Manuel Ojeda-Aciego:
A Logic for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance.
CAEPIA 2007: 210-219 |
| 2006 |
|---|
| 9 | EE | Gabriel Aguilera,
Alfredo Burrieza,
Pablo Cordero,
Inmaculada Perez de Guzmán,
Emilio Muñoz-Velasco:
MAT Logic: A Temporal×Modal Logic with Non-deterministic Operators to Deal with Interactive Systems in Communication Technologies.
IBERAMIA-SBIA 2006: 602-611 |
| 8 | EE | Alfredo Burrieza,
Manuel Ojeda-Aciego,
Ewa Orlowska:
Relational Approach to Order-of-Magnitude Reasoning.
Theory and Applications of Relational Structures as Knowledge Instruments 2006: 105-124 |
| 2005 |
|---|
| 7 | EE | Alfredo Burrieza,
Emilio Muñoz-Velasco,
Manuel Ojeda-Aciego:
Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility.
CAEPIA 2005: 370-378 |
| 6 | EE | Alfredo Burrieza,
Manuel Ojeda-Aciego:
A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning with Comparability and Negligibility Relations.
Fundam. Inform. 68(1-2): 21-46 (2005) |
| 2003 |
|---|
| 5 | EE | Alfredo Burrieza,
Manuel Ojeda-Aciego:
A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning.
CAEPIA 2003: 66-75 |
| 4 | EE | Alfredo Burrieza,
Inman P. de Guzmán:
A functional approach for temporal × modal logics.
Acta Inf. 39(2): 71-96 (2003) |
| 2002 |
|---|
| 3 | EE | Alfredo Burrieza,
Inman P. de Guzmán:
A Temporal × Modal Approach to the Definability of Properties of Functions.
FroCos 2002: 239-254 |
| 2 | EE | Alfredo Burrieza,
Inman P. de Guzmán,
Emilio Muñoz-Velasco:
Indexed Flows in Temporal x Modal Logic with Functional Semantics.
TIME 2002: 146- |
| 1992 |
|---|
| 1 | | Alfredo Burrieza,
Inman P. de Guzmán:
A new algebraic semantic approach and some adequate connectives for computation with temporal logic over discrete time.
Journal of Applied Non-Classical Logics 2(2): (1992) |
