Publications
Export 36 results:
Author Title Type [ Year
Filters: Author is Primiero, Giuseppe [Clear All Filters]
“The Semantics Of Untrustworthiness”. Topoi. An International Reiew of Philosophy.
. In Press. 

“J-Calc: A Typed Lambda Calculus For Intuitionistic Justification Logic”. Electronic Notes in Theoretical Computer Science 300: 71–87.
. 2014. 
“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. 

“A Contextual Type Theory With Judgemental Modalities For Reasoning From Open Assumptions”. Logique et Analyse 55: 579–600.
. 2012. 

“A Formal Approach To Vague Expressions With Indexicals”. Logic and Engineering of Natural Language Semantics 9 (LENLS 9-2012): 37-51.
. 2012. 

“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. 
“Giovanni Sommaruga (Ed): Formal Theories Of Information: From Shannon To Semantic Information Theory And General Concepts Of Information (Review)”. Minds and Machines 21: 119-122.
. 2011. 

“On The Necessity Of (Sometimes) Being Synthetic. Comment On Poggiolesi.” . Third Workshop in the Philosophy of Information: 63-68.
. 2011. 
“On The Necessity Of (Sometimes) Being Synthetic. Comment On Poggiolesi.” . Third Workshop in the Philosophy of Information: 63-68.
. 2011. 
“Report 3Rd Workshop In The Philosophy Of Information”. The Reasoner 1: 6-7.
. 2011. 
“Constructive Contextual Modal Judgments For Reasoning From Open Assumptions”. In Proceedings of the Computability in Europe 2010 Conference, Proceedings of the Computability in Europe 2010 Conference, . Centre for Applied Mathematics and Information Technology, Department of Mathematics, University of Azores.
. 2010. 

“A Multi-Modal Dependent Type Theory For Representing Data Accessibility In A Network.”. In Electronic Proceedings of the Federated Logic Conference 2010 (Proof Systems for Program Logics Workshop), Electronic Proceedings of the Federated Logic Conference 2010 (Proof Systems for Program Logics Workshop), Citeseer.
. 2010. 
“A Constructive Modal Semantics For Contextual Verification”. In Proceedings of the First International Workshop on Logic-Based Interpretation of Context: Modeling and Applications, Proceedings of the First International Workshop on Logic-Based Interpretation of Context: Modeling and Applications, CEUR-Workshop Proceedings. http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-550/.
. 2009. 

“An Epistemic Logic For Becoming Informed”. Synthese (KRA Serie) 167: 363-389. http://dx.doi.org/10.1007/s11229-008-9413-8.
. 2009. 
“Epistemic Modalities” . Acts of Knowledge: History, Philosophy and Logic 9: 207–232.
. 2009. 

“Epistemic Modalities” . Acts of Knowledge: History, Philosophy and Logic 9: 207–232.
. 2009. 

“A Note On Constructive Modalities For Information”. In Logic, Philosophy and History of Science in Belgium. Proceedings of the Young Researchers Days 2008, Logic, Philosophy and History of Science in Belgium. Proceedings of the Young Researchers Days 2008, . Brussel: Koninklijke Vlaamse Academie van België.
. 2009. 