Alfredo Burrieza

I. Fortes, Maria A. Galán, Gabriel Aguilera, Alfredo Burrieza, J. Morones, S. Sánchez: A logic with imprecise probabilities and an application to automated reasoning using rewriting techniques. Fuzzy Sets and Systems 218: 53-72 (2013)

Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego: A PDL Approach for Qualitative Velocity. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 19(1): 11-26 (2011)

Alfredo Burrieza, Inmaculada Perez de Guzmán, Emilio Muñoz-Velasco: Analyzing completeness of axiomatic functional systems for temporal × modal logics. Math. Log. Q. 56(1): 89-102 (2010)

Alfredo Burrieza, Inman P. de Guzmán, Emilio Muñoz-Velasco: Functional systems in the context of temporal×modal logics with indexed flows. Int. J. Comput. Math. 86(10&11): 1696-1706 (2009)

Alfredo Burrieza, Angel Mora, Manuel Ojeda-Aciego, Ewa Orlowska: An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning. Int. J. Comput. Math. 86(10&11): 1852-1866 (2009)

Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego: Closeness and Distance Relations in Order of Magnitude Qualitative Reasoning via PDL. CAEPIA 2009: 71-80

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)

Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego: A Propositional Dynamic Logic Approach for Order of Magnitude Reasoning. IBERAMIA 2008: 11-20

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

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

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

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)

Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego: Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility. CAEPIA 2005: 370-378

Alfredo Burrieza, Inman P. de Guzmán: A functional approach for temporal × modal logics. Acta Inf. 39(2): 71-96 (2003)

Alfredo Burrieza, Manuel Ojeda-Aciego: A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning. CAEPIA 2003: 66-75

Alfredo Burrieza, Inman P. de Guzmán: A Temporal × Modal Approach to the Definability of Properties of Functions. FroCoS 2002: 239-254

Alfredo Burrieza, Inman P. de Guzmán, Emilio Muñoz-Velasco: Indexed Flows in Temporal x Modal Logic with Functional Semantics. TIME 2002: 146-153

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): 181-200 (1992)