Alessandro Facchini

Available identifiers

zbMath Open facchini.alessandroWikidataQ57023081 ScholiaQ57023081MaRDI QIDQ1015479

List of research outcomes

Publication	Date of Publication	Type
A credal extension of independent choice logic	2023-07-28	Paper
Connecting classical finite exchangeability to quantum theory	2023-06-06	Paper
Quantum indistinguishability through exchangeability	2022-12-08	Paper
Model theory of monadic predicate logic with the infinity quantifier	2022-06-14	Paper
Why we should interpret density matrices as moment matrices: the case of (in)distinguishable particles and the emergence of classical reality	2022-03-08	Paper
The weirdness theorem and the origin of quantum paradoxes	2021-12-27	Paper
Quantum indistinguishability through exchangeable desirable gambles	2021-05-10	Paper
Robust Model Checking with Imprecise Markov Reward Models	2021-03-08	Paper
Tractable inference in credal sentential decision diagrams	2020-10-22	Paper
The Power of the Weak	2020-09-11	Paper
Sum-of-squares for bounded rationality	2019-02-20	Paper
Model Theory of Monadic Predicate Logic with the Infinity Quantifier	2018-09-10	Paper
Weak MSO	2018-04-23	Paper
A Gleason-type theorem for any dimension based on a gambling formulation of quantum mechanics	2018-01-08	Paper
Index Problems for Game Automata	2017-07-13	Paper
A Characterization Theorem for the Alternation-Free Fragment of the Modal µ-Calculus	2017-07-03	Paper
Rabin-Mostowski Index Problem: A Step beyond Deterministic Automata	2017-07-03	Paper
A polarity theory for sets of desirable gambles	2017-05-26	Paper
Quantum rational preferences and desirability	2016-10-21	Paper
On the Weak Index Problem for Game Automata	2015-09-24	Paper
Containment for Conditional Tree Patterns	2015-08-25	Paper
Deciding the Borel Complexity of Regular Tree Languages	2015-02-25	Paper
The Wadge Hierarchy of Max-Regular Languages	2012-10-24	Paper
Definable Operations On Weakly Recognizable Sets of Trees	2012-08-31	Paper
Characterizing EF over Infinite Trees and Modal Logic on Transitive Graphs	2011-08-17	Paper
The modalμ-calculus hierarchy over restricted classes of transition systems	2010-01-07	Paper
Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata	2009-11-12	Paper
A Playful Glance at Hierarchical Questions for Two-Way Alternating Automata	2009-11-12	Paper
On modal \(\mu \)-calculus and Gödel-Löb logic	2009-05-08	Paper
Describing the Wadge Hierarchy for the Alternation Free Fragment of μ-Calculus (I)	2008-06-19	Paper
https://portal.mardi4nfdi.de/entity/Q3155867	2005-01-19	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: Alessandro Facchini