Facundo Carreiro
From MaRDI portal
Person:2144616
Available identifiers
zbMath Open carreiro.facundoMaRDI QIDQ2144616
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| Model theory of monadic predicate logic with the infinity quantifier | 2022-06-14 | Paper |
| The Power of the Weak | 2020-09-11 | Paper |
| Model Theory of Monadic Predicate Logic with the Infinity Quantifier | 2018-09-10 | Paper |
| Weak MSO | 2018-04-23 | Paper |
| PDL Is the Bisimulation-Invariant Fragment of Weak Chain Logic | 2018-04-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4636286 | 2018-04-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5419877 | 2014-06-11 | Paper |
| Characterization, definability and separation via saturated models | 2014-06-10 | Paper |
| Coalgebraic Announcement Logics | 2013-08-07 | Paper |
| On Characterization, Definability and ω-Saturated Models | 2012-01-06 | Paper |
| Basic Model Theory for Memory Logics | 2011-05-27 | 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: Facundo Carreiro
