Alfredo Burrieza

	2011
17		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)
	2010
16		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)
	2009
15		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
14		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)
13		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)
	2008
12		Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego: A Propositional Dynamic Logic Approach for Order of Magnitude Reasoning. IBERAMIA 2008: 11-20
11		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		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		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		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		Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego: Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility. CAEPIA 2005: 370-378
6		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		Alfredo Burrieza, Manuel Ojeda-Aciego: A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning. CAEPIA 2003: 66-75
4		Alfredo Burrieza, Inman P. de Guzmán: A functional approach for temporal × modal logics. Acta Inf. 39(2): 71-96 (2003)
	2002
3		Alfredo Burrieza, Inman P. de Guzmán: A Temporal × Modal Approach to the Definability of Properties of Functions. FroCos 2002: 239-254
2		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)

Coauthor Index

1	Gabriel Aguilera	[9]
2	Pablo Cordero	[9]
3	Inmaculada Perez de Guzmán (Inman P. de Guzmán)	[1] [2] [3] [4] [9] [11] [14] [16]
4	Angel Mora (Angel Mora Bonilla)	[13]
5	Emilio Muñoz-Velasco	[2] [7] [9] [10] [11] [12] [14] [15] [16] [17]
6	Manuel Ojeda-Aciego	[5] [6] [7] [8] [10] [12] [13] [15] [17]
7	Ewa Orlowska	[8] [13]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page