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