Alfredo Burrieza

Available identifiers

zbMath Open burrieza.alfredoMaRDI QIDQ1403340

List of research outcomes

Publication	Date of Publication	Type
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
Functional systems in the context of temporal×modal logics with indexed flows	2009-11-10	Paper
An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Alfredo Burrieza