Alfredo Burrieza

Available identifiers

zbMath Open burrieza.alfredoMaRDI QIDQ1403340

List of research outcomes

Publication	Date of Publication	Type
An awareness epistemic framework for belief, argumentation and their dynamics	2024-11-24	Paper
Logics for order-of-magnitude qualitative reasoning: formalizing negligibility	2024-09-06	Paper
https://portal.mardi4nfdi.de/entity/Q5884943	2023-03-24	Paper
Argument evaluation in multi-agent justification logics	2022-06-16	Paper
A flexible logic-based approach to closeness using order of magnitude qualitative reasoning	2022-06-09	Paper
https://portal.mardi4nfdi.de/entity/Q5071236	2022-04-20	Paper
https://portal.mardi4nfdi.de/entity/Q5149134	2021-02-06	Paper
Basic Beliefs and Argument-based Beliefs in Awareness Epistemic Logic with Structured Arguments	2021-01-21	Paper
Completeness of a functional system for surjective functions	2020-04-29	Paper
https://portal.mardi4nfdi.de/entity/Q4967186	2019-07-03	Paper
A multimodal logic for closeness	2018-09-12	Paper
A logic framework for reasoning with movement based on fuzzy qualitative representation	2015-06-24	Paper
A logic with imprecise probabilities and an application to automated reasoning using rewriting techniques	2014-05-14	Paper
A PDL APPROACH FOR QUALITATIVE VELOCITY	2011-06-10	Paper
Analyzing completeness of axiomatic functional systems for temporal × modal logics	2010-02-16	Paper
An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning	2009-11-10	Paper
Functional systems in the context of temporal×modal logics with indexed flows	2009-11-10	Paper
Relational Approach to Order-of-Magnitude Reasoning	2009-01-20	Paper
Generalization of some properties of relations in the context of functional temporal×modal logic	2008-04-29	Paper
https://portal.mardi4nfdi.de/entity/Q5472884	2006-06-19	Paper
https://portal.mardi4nfdi.de/entity/Q4737138	2004-08-11	Paper
A functional approach for temporal \(\times\) modal logics	2003-09-01	Paper
A new algebraic semantic approach and some adequate connectives for computation with temporal logic over discrete time	1994-02-01	Paper
Modal trees: Correction to a decision procedure for S5 (and T)	1987-01-01	Paper

Research outcomes over time

This page was built for person: Alfredo Burrieza