A new algebraic semantic approach and some adequate connectives for computation with temporal logic over discrete time. - Alfredo Burrieza; Inman P. de Guzmán (J. Appl. Non Class. Logics, 1992)

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

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

A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning. - Alfredo Burrieza; Manuel Ojeda-Aciego (CAEPIA, 2003)

A functional approach for temporal × modal logics. - Alfredo Burrieza; Inman P. de Guzmán (Acta Informatica, 2003)

Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility. - Alfredo Burrieza; Emilio Muñoz-Velasco; Manuel Ojeda-Aciego (CAEPIA, 2005)

A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning with Comparability and Negligibility Relations. - Alfredo Burrieza; Manuel Ojeda-Aciego (Fundam. Informaticae, 2005)

Relational Approach to Order-of-Magnitude Reasoning. - Alfredo Burrieza; Manuel Ojeda-Aciego; Ewa Orlowska (Theory and Applications of Relational Structures as Knowledge Instruments, 2006)

MAT Logic: A Temporal×Modal Logic with Non-deterministic Operators to Deal with Interactive Systems in Communication Technologies. - Gabriel Aguilera 001; Alfredo Burrieza; Pablo Cordero; Inmaculada Perez de Guzmán; Emilio Muñoz-Velasco (IBERAMIA-SBIA, 2006)

A Logic for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance. - Alfredo Burrieza; Emilio Muñoz-Velasco; Manuel Ojeda-Aciego (CAEPIA, 2007)

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

Generalization of some properties of relations in the context of functional temporal×modal logic. - Alfredo Burrieza; Inman P. de Guzmán; Emilio Muñoz-Velasco (Int. J. Comput. Math., 2008)

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

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

An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning. - Alfredo Burrieza; Ángel Mora 001; Manuel Ojeda-Aciego; Ewa Orlowska (Int. J. Comput. Math., 2009)

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

A PDL Approach for Qualitative Velocity. - Alfredo Burrieza; Emilio Muñoz-Velasco; Manuel Ojeda-Aciego (Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2011)

Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Comparability and Negligibility Relations. - Alfredo Burrieza (CAEPIA, 2013)

A logic with imprecise probabilities and an application to automated reasoning using rewriting techniques. - Inmaculada Fortes; Maria A. Galán; Gabriel Aguilera 001; Alfredo Burrieza; J. Morones; Sixto Sánchez (Fuzzy Sets Syst., 2013)

A logic framework for reasoning with movement based on fuzzy qualitative representation. - Emilio Muñoz-Velasco; Alfredo Burrieza; Manuel Ojeda-Aciego (Fuzzy Sets Syst., 2014)

Selected Papers from the 1st Workshop "Logic, Language, and Information". - Guido Sciavicco; Alfredo Burrieza (Bull. EATCS, 2015)

A Hybrid Approach to Closeness in the Framework of Order of Magnitude Qualitative Reasoning. - Alfredo Burrieza; Emilio Muñoz-Velasco; Manuel Ojeda-Aciego (HAIS, 2016)

A multimodal logic for closeness. - Alfredo Burrieza; Emilio Muñoz-Velasco; Manuel Ojeda-Aciego (J. Appl. Non Class. Logics, 2017)

Completeness of a functional system for surjective functions. - Alfredo Burrieza; Inmaculada Fortes; Inmaculada Perez de Guzmán (Math. Log. Q., 2017)

Basic Beliefs and Argument-Based Beliefs in Awareness Epistemic Logic with Structured Arguments. - Alfredo Burrieza; Antonio Yuste-Ginel (COMMA, 2020)

A flexible logic-based approach to closeness using order of magnitude qualitative reasoning. - Alfredo Burrieza; Emilio Muñoz-Velasco; Manuel Ojeda-Aciego (Log. J. IGPL, 2020)

An Awareness Epistemic Framework for Belief, Argumentation and Their Dynamics. - Alfredo Burrieza; Antonio Yuste-Ginel (TARK, 2021)

Argument evaluation in multi-agent justification logics. - Alfredo Burrieza; Antonio Yuste-Ginel (Log. J. IGPL, 2021)

A multi-modal logic for Galois connections. - Inmaculada Perez de Guzmán; Antonio Yuste-Ginel; Alfredo Burrieza (AiML, 2022)

Smart Sensorization Using Propositional Dynamic Logic. - Salvador Merino; Alfredo Burrieza; Francisco Guzmán; Javier Martínez 001 (Sensors, 2022)

A meta-modal logic for bisimulations. - Alfredo Burrieza; Fernando Soler-Toscano; Antonio Yuste-Ginel (Arch. Formal Proofs, 2025)