Alfredo Burrieza

32 papers B 2C 2Misc 1Journal 18Unranked 8

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A meta-modal logic for bisimulations. Arch. Formal Proofs Alfredo Burrieza, Fernando Soler-Toscano, Antonio Yuste-Ginel
2025	J	`jnl`	A meta-modal logic for bisimulations. CoRR Alfredo Burrieza, Fernando Soler-Toscano, Antonio Yuste-Ginel
2022	B	`conf`	A multi-modal logic for Galois connections. AiML Inmaculada Perez de Guzmán, Antonio Yuste-Ginel, Alfredo Burrieza
2022	J	`jnl`	Smart Sensorization Using Propositional Dynamic Logic. Sensors Salvador Merino, Alfredo Burrieza, Francisco Guzmán, Javier Martínez
2021	B	`conf`	An Awareness Epistemic Framework for Belief, Argumentation and Their Dynamics. TARK Alfredo Burrieza, Antonio Yuste-Ginel
2021	J	`jnl`	Argument evaluation in multi-agent justification logics. Log. J. IGPL Alfredo Burrieza, Antonio Yuste-Ginel
2020	J	`jnl`	A flexible logic-based approach to closeness using order of magnitude qualitative reasoning. Log. J. IGPL Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego
2020	C	`conf`	Basic Beliefs and Argument-Based Beliefs in Awareness Epistemic Logic with Structured Arguments. COMMA Alfredo Burrieza, Antonio Yuste-Ginel
2017	J	`jnl`	A multimodal logic for closeness. J. Appl. Non Class. Logics Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego
2017	J	`jnl`	Completeness of a functional system for surjective functions. Math. Log. Q. Alfredo Burrieza, Inmaculada Fortes, Inmaculada Perez de Guzmán
2016	Misc	`conf`	A Hybrid Approach to Closeness in the Framework of Order of Magnitude Qualitative Reasoning. HAIS Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego
2015	J	`jnl`	Selected Papers from the 1st Workshop "Logic, Language, and Information". Bull. EATCS Guido Sciavicco, Alfredo Burrieza
2014	J	`jnl`	A logic framework for reasoning with movement based on fuzzy qualitative representation. Fuzzy Sets Syst. Emilio Muñoz-Velasco, Alfredo Burrieza, Manuel Ojeda-Aciego
2013	J	`jnl`	A logic with imprecise probabilities and an application to automated reasoning using rewriting techniques. Fuzzy Sets Syst. Inmaculada Fortes, Maria A. Galán, Gabriel Aguilera, Alfredo Burrieza, J. Morones, Sixto Sánchez
2013	—	`conf`	Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Comparability and Negligibility Relations. CAEPIA Alfredo Burrieza
2011	J	`jnl`	A PDL Approach for Qualitative Velocity. Int. J. Uncertain. Fuzziness Knowl. Based Syst. Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego
2010	J	`jnl`	Analyzing completeness of axiomatic functional systems for temporal × modal logics. Math. Log. Q. Alfredo Burrieza, Inmaculada Perez de Guzmán, Emilio Muñoz-Velasco
2009	J	`jnl`	An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning. Int. J. Comput. Math. Alfredo Burrieza, Ángel Mora, Manuel Ojeda-Aciego, Ewa Orlowska
2009	—	`conf`	Closeness and Distance Relations in Order of Magnitude Qualitative Reasoning via PDL. CAEPIA Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego
2009	J	`jnl`	Functional systems in the context of temporal×modal logics with indexed flows. Int. J. Comput. Math. Alfredo Burrieza, Inman P. de Guzmán, Emilio Muñoz-Velasco
2008	—	`conf`	A Propositional Dynamic Logic Approach for Order of Magnitude Reasoning. IBERAMIA Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego
2008	J	`jnl`	Generalization of some properties of relations in the context of functional temporal×modal logic. Int. J. Comput. Math. Alfredo Burrieza, Inman P. de Guzmán, Emilio Muñoz-Velasco
2007	—	`conf`	A Logic for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance. CAEPIA Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego
2006	—	`conf`	MAT Logic: A Temporal×Modal Logic with Non-deterministic Operators to Deal with Interactive Systems in Communication Technologies. IBERAMIA-SBIA Gabriel Aguilera, Alfredo Burrieza, Pablo Cordero, Inmaculada Perez de Guzmán, Emilio Muñoz-Velasco
2006	—	`ch.`	Relational Approach to Order-of-Magnitude Reasoning. Theory and Applications of Relational Structures as Knowledge Instruments Alfredo Burrieza, Manuel Ojeda-Aciego, Ewa Orlowska
2005	J	`jnl`	A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning with Comparability and Negligibility Relations. Fundam. Informaticae Alfredo Burrieza, Manuel Ojeda-Aciego
2005	—	`conf`	Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility. CAEPIA Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego
2003	—	`conf`	A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning. CAEPIA Alfredo Burrieza, Manuel Ojeda-Aciego
2003	J	`jnl`	A functional approach for temporal × modal logics. Acta Informatica Alfredo Burrieza, Inman P. de Guzmán
2002	—	`conf`	A Temporal × Modal Approach to the Definability of Properties of Functions. FroCoS Alfredo Burrieza, Inman P. de Guzmán
2002	C	`conf`	Indexed Flows in Temporal x Modal Logic with Functional Semantics. TIME Alfredo Burrieza, Inman P. de Guzmán, Emilio Muñoz-Velasco
1992	J	`jnl`	A new algebraic semantic approach and some adequate connectives for computation with temporal logic over discrete time. J. Appl. Non Class. Logics Alfredo Burrieza, Inman P. de Guzmán