Instellingen beheren
MENU
Over deze site
In English
Home
Onderzoekers
Projecten
Organisaties
Publicaties
Infrastructuur
Contact
Research Explorer
Uw browser ondersteunt geen JavaScript of JavaScript is niet ingeschakeld. Zonder JavaScript kan sommige functionaliteit van deze webapplicatie uitgeschakeld zijn of foutmeldingen veroorzaken. Raadpleeg om JavaScript in te schakelen de handleiding van uw browser of contacteer uw systeembeheerder.
Onderzoeker
Giuseppe Primiero
Profiel
Projecten
Publicaties
Activiteiten
Prijzen & Erkenningen
38
Resultaten
2016
The semantics of untrustworthiness
Giuseppe Primiero
Laszlo Kosolosky
A1
Artikel in een tijdschrift
in
TOPOI-AN INTERNATIONAL REVIEW OF PHILOSOPHY
2016
2014
A taxonomy of errors for information systems
Giuseppe Primiero
A1
Artikel in een tijdschrift
in
MINDS AND MACHINES
2014
J-Calc : a typed lambda calculus for intuitionistic justification logic
Konstantinos Pouliasis
Giuseppe Primiero
A2
Artikel in een tijdschrift
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
Conferentie
2013
Alleged assassins: realist and constructivist semantics for modal modification
Bjorn Jespersen
Giuseppe Primiero
C1
Conferentie
2013
Offline and online data: on upgrading functional information to knowledge
Giuseppe Primiero
A1
Artikel in een tijdschrift
in
PHILOSOPHICAL STUDIES
2013
2012
A contextual type theory with judgemental modalities for reasoning from open assumptions
Giuseppe Primiero
A1
Artikel in een tijdschrift
in
LOGIQUE ET ANALYSE
2012
A formal approach to vague expressions with indexicals
Liesbeth Martens
Giuseppe Primiero
C1
Conferentie
2012
A modal type theory for formalizing trusted communications
Giuseppe Primiero
Mariarosaria Taddeo
A1
Artikel in een tijdschrift
in
JOURNAL OF APPLIED LOGIC
2012
On the necessity of (sometimes) being synthetic : comment on Poggiolesi
Giuseppe Primiero
C1
Conferentie
2012
Reasoning with computer-assisted experiments in mathematics
Liesbeth De Mol
C1
Conferentie
2012
The realism-antirealism debate in the age of alternative logics
Boekeditor
2012
Type-theoretical dynamics: exploring belief revision in a constructive framework
Giuseppe Primiero
Hoofdstuk in een boek
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
Boek recensie
2011
2010
Constructive contextual modal judgments for reasoning from open assumptions
Giuseppe Primiero
C1
Conferentie
2010
Mathematical Thought and its Objects, by Charles Parsons
Giuseppe Primiero
Boek recensie
2010
Two kinds of procedural semantics for privative modification
Giuseppe Primiero
Bjørn Jespersen
C1
Conferentie
2010
2009
A constructive modal semantics for contextual verification
Giuseppe Primiero
C1
Conferentie
2009
A note on constructive modalities for information
Giuseppe Primiero
C1
Conferentie
2009
Acts of Knowledge: History, Philosophy and Logic
Boekeditor
2009
An epistemic logic for becoming informed
Giuseppe Primiero
A1
Artikel in een tijdschrift
in
SYNTHESE
2009
Epistemic Modalities
Giuseppe Primiero
Hoofdstuk in een boek
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
Conferentie
2009
Prioritized dynamic retraction function on non-monotonic information updates
Giuseppe Primiero
Hoofdstuk in een boek
in
The many sides of logic
2009
Proceeding in abstraction: from concepts to types and the recent perspective on information
Giuseppe Primiero
A1
Artikel in een tijdschrift
in
HISTORY AND PHILOSOPHY OF LOGIC
2009
Retraction for the adaptive logic of information update
Giuseppe Primiero
C3
Conferentie
2009
Two type-theoretical approaches to privative modification
Giuseppe Primiero
Bjorn Jespersen
C1
Conferentie
2009
2008
Adaptive arbitration by variant counting on commutative bases with weights
Giuseppe Primiero
Joke Meheus
C1
Conferentie
2008
Information and knowledge: a constructive type-theoretical approach.
Giuseppe Primiero
Boek
2008
Majority merging by adaptive counting
Giuseppe Primiero
Joke Meheus
A1
Artikel in een tijdschrift
in
SYNTHESE
2008
Quasi-merging and Pure-arbitration on Information for the family of Adaptive Logics ADM
Giuseppe Primiero
Joke Meheus
C1
Conferentie
2008
2007
An epistemic constructive definition of information
Giuseppe Primiero
A1
Artikel in een tijdschrift
in
LOGIQUE ET ANALYSE
2007
Belief Merging based on Adaptive Interaction
Giuseppe Primiero
C1
Conferentie
2007
On building abstract Terms in Typed Systems
Giuseppe Primiero
C1
Conferentie
2007
2006
Belief Revision in Constructive Type Theory
Giuseppe Primiero
C1
Conferentie
2006
Sulla natura sintetica dell'argomentazione metafisica
Giuseppe Primiero
A2
Artikel in een tijdschrift
in
GIORNALE DI METAFISICA (TESTO STAMPATO)
2006
2005
Dall'artificiale al vivente: una storia naturale dei concetti.
G ROTOLO
Giuseppe Primiero
Boek
2005
2004
The determination of reference in a constructive setting
Giuseppe Primiero
A2
Artikel in een tijdschrift
in
GIORNALE DI METAFISICA (TESTO STAMPATO)
2004