Manage settings
MENU
About this site
In het Nederlands
Home
Researchers
Projects
Organisations
Publications
Infrastructure
Contact
Research Explorer
Your browser does not support JavaScript or JavaScript is not enabled. Without JavaScript some functions of this webapplication may be disabled or cause error messages. To enable JavaScript, please consult the manual of your browser or contact your system administrator.
Researcher
Giuseppe Primiero
Profile
Projects
Publications
Activities
Awards & Distinctions
40
Results
2016
The semantics of untrustworthiness
Giuseppe Primiero
Laszlo Kosolosky
A1
Journal Article
in
TOPOI-AN INTERNATIONAL REVIEW OF PHILOSOPHY
2016
2014
A taxonomy of errors for information systems
Giuseppe Primiero
A1
Journal Article
in
MINDS AND MACHINES
2014
J-Calc : a typed lambda calculus for intuitionistic justification logic
Konstantinos Pouliasis
Giuseppe Primiero
A2
Journal Article
in
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
2014
2013
A multi-modal dependent type theory for representing data accessibility in a network
Giuseppe Primiero
C1
Conference
2013
Alleged assassins: realist and constructivist semantics for modal modification
Bjorn Jespersen
Giuseppe Primiero
C1
Conference
2013
Offline and online data: on upgrading functional information to knowledge
Giuseppe Primiero
A1
Journal Article
in
PHILOSOPHICAL STUDIES
2013
2012
A contextual type theory with judgemental modalities for reasoning from open assumptions
Giuseppe Primiero
A1
Journal Article
in
LOGIQUE ET ANALYSE
2012
A formal approach to vague expressions with indexicals
Liesbeth Martens
Giuseppe Primiero
C1
Conference
2012
A modal type theory for formalizing trusted communications
Giuseppe Primiero
Mariarosaria Taddeo
A1
Journal Article
in
JOURNAL OF APPLIED LOGIC
2012
History and philosophy of computing, 7-10 November
Liesbeth De Mol
Giuseppe Primiero
Other
2012
On the necessity of (sometimes) being synthetic : comment on Poggiolesi
Giuseppe Primiero
C1
Conference
2012
Reasoning with computer-assisted experiments in mathematics
Liesbeth De Mol
C1
Conference
2012
The realism-antirealism debate in the age of alternative logics
Book editor
2012
Type-theoretical dynamics: exploring belief revision in a constructive framework
Giuseppe Primiero
Bookchapter
in
The realism-antirealism debate in the age of alternative logics
2012
2011
Giovanni Sommaruga (ed): formal theories of information: from Shannon to semantic information theory and general concepts of information: Lecture Notes in Computer Science, vol. 5363, Springer, New York, 2009, vii+269, $ 64.95, ISBN 978-3-642-00658-6
Giuseppe Primiero
Bookreview
2011
Philosophy of Information, 18-19 November
Patrick Allo
Giuseppe Primiero
Other
2011
2010
Constructive contextual modal judgments for reasoning from open assumptions
Giuseppe Primiero
C1
Conference
2010
Mathematical Thought and its Objects, by Charles Parsons
Giuseppe Primiero
Bookreview
2010
Two kinds of procedural semantics for privative modification
Giuseppe Primiero
Bjørn Jespersen
C1
Conference
2010
2009
A constructive modal semantics for contextual verification
Giuseppe Primiero
C1
Conference
2009
A note on constructive modalities for information
Giuseppe Primiero
C1
Conference
2009
Acts of Knowledge: History, Philosophy and Logic
Book editor
2009
An epistemic logic for becoming informed
Giuseppe Primiero
A1
Journal Article
in
SYNTHESE
2009
Epistemic Modalities
Giuseppe Primiero
Bookchapter
in
Acts of Knowledge: History, Philosophy and Logic
2009
On the Meaning of Decidability Issues in Dependent Types for the Problem of Output Correctness
Giuseppe Primiero
C3
Conference
2009
Prioritized dynamic retraction function on non-monotonic information updates
Giuseppe Primiero
Bookchapter
in
The many sides of logic
2009
Proceeding in abstraction: from concepts to types and the recent perspective on information
Giuseppe Primiero
A1
Journal Article
in
HISTORY AND PHILOSOPHY OF LOGIC
2009
Retraction for the adaptive logic of information update
Giuseppe Primiero
C3
Conference
2009
Two type-theoretical approaches to privative modification
Giuseppe Primiero
Bjorn Jespersen
C1
Conference
2009
2008
Adaptive arbitration by variant counting on commutative bases with weights
Giuseppe Primiero
Joke Meheus
C1
Conference
2008
Information and knowledge: a constructive type-theoretical approach.
Giuseppe Primiero
Book
2008
Majority merging by adaptive counting
Giuseppe Primiero
Joke Meheus
A1
Journal Article
in
SYNTHESE
2008
Quasi-merging and Pure-arbitration on Information for the family of Adaptive Logics ADM
Giuseppe Primiero
Joke Meheus
C1
Conference
2008
2007
An epistemic constructive definition of information
Giuseppe Primiero
A1
Journal Article
in
LOGIQUE ET ANALYSE
2007
Belief Merging based on Adaptive Interaction
Giuseppe Primiero
C1
Conference
2007
On building abstract Terms in Typed Systems
Giuseppe Primiero
C1
Conference
2007
2006
Belief Revision in Constructive Type Theory
Giuseppe Primiero
C1
Conference
2006
Sulla natura sintetica dell'argomentazione metafisica
Giuseppe Primiero
A2
Journal Article
in
GIORNALE DI METAFISICA (TESTO STAMPATO)
2006
2005
Dall'artificiale al vivente: una storia naturale dei concetti.
G ROTOLO
Giuseppe Primiero
Book
2005
2004
The determination of reference in a constructive setting
Giuseppe Primiero
A2
Journal Article
in
GIORNALE DI METAFISICA (TESTO STAMPATO)
2004