Alberto Artosi
From MaRDI portal
Person:2721188
Available identifiers
zbMath Open artosi.albertoWikidataQ112460280 ScholiaQ112460280MaRDI QIDQ2721188
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| Labelled proofs for quantified modal logic | 2019-10-08 | Paper |
| Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations | 2003-03-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2721189 | 2001-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4215591 | 1998-12-03 | 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: Alberto Artosi
