Graph explorer

Pietro Galliani

Pietro Galliani contributes to research discovery and scholarly infrastructure.

13 nodes12 linksoverview mapPietro Galliani
13 nodes12 links
Pietro Galliani13 visible / 13 total nodes / 12 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAPietro GallianiResearcherWStrongly First Order, D...preprint / 2022WInclusion and Exclusion...preprint / 2011WA general proof system ...preprint / 2012WUpwards Closed Dependen...preprint / 2013WOn Dependence Logicpreprint / 2013WTransition Semantics - ...preprint / 2013WThe Doxastic Interpreta...preprint / 2013WInclusion Logic and Fix...preprint / 2013WHierarchies in independ...preprint / 2013WDialetheism, Game Theor...preprint / 2014WOn Strongly First-Order...preprint / 2014WGray-box inference for ...preprint / 2016
PersonSignal 1012 links

Pietro Galliani

Researcher

Open