Publications
Export 36 results:
Author Title Type [ Year![(Desc)](https://www.clps.ugent.be/sites/all/modules/biblio/misc/arrow-desc.png)
Filters: Author is Primiero, Giuseppe [Clear All Filters]
“A Modal Type Theory For Formalizing Trusted Communications”. Journal of Applied Logic 10: 92–114.
. 2012. ![application/pdf](/modules/file/icons/application-pdf.png)
![](/sites/default/themes/logica/images/biblio.png)
“Reasoning With Computer-Assisted Experiments In Mathematics” . Third Workshop in the Philosophy of Information: 80-92.
. 2012. ![application/pdf](/modules/file/icons/application-pdf.png)
“Report 'international Conference On History And Philosophy Of Computing' (Hapoc)”. The Reasoner 6: 7-8.
. 2012. ![application/pdf](/modules/file/icons/application-pdf.png)
“Type-Theoretical Dynamics. Exploring Belief Revision In A Constructive Framework” . The realism-antirealism debate in the age of alternative logics: 191–212.
. 2012. ![](/sites/default/themes/logica/images/biblio.png)
“Type-Theoretical Dynamics. Exploring Belief Revision In A Constructive Framework” . The realism-antirealism debate in the age of alternative logics: 191–212.
. 2012. ![](/sites/default/themes/logica/images/biblio.png)
“Alleged Assassins: Realist And Constructivist Semantics For Modal Modification”. Logic, Language, and Computation 7758: 94–114.
. 2013. ![application/pdf](/modules/file/icons/application-pdf.png)
![](/sites/default/themes/logica/images/biblio.png)
“Offline And Online Data: On Upgrading Functional Information To Knowledge”. Philosophical Studies 164: 371–392.
. 2013. ![application/pdf](/modules/file/icons/application-pdf.png)
![](/sites/default/themes/logica/images/biblio.png)
“A Taxonomy Of Errors For Information Systems”. Minds and Machines 24: 249–273.
. 2013. ![application/pdf](/modules/file/icons/application-pdf.png)
![](/sites/default/themes/logica/images/biblio.png)
“J-Calc: A Typed Lambda Calculus For Intuitionistic Justification Logic”. Electronic Notes in Theoretical Computer Science 300: 71–87.
. 2014. ![application/pdf](/modules/file/icons/application-pdf.png)
“The Semantics Of Untrustworthiness”. Topoi. An International Reiew of Philosophy.
. In Press. ![application/pdf](/modules/file/icons/application-pdf.png)
![](/sites/default/themes/logica/images/biblio.png)