Sfoglia per Autore
An epistemic constructive definition of information
2007 G. Primiero
Information and Knowledge : A Constructive Type-theoretical Approach
2008 G. Primiero
Majority merging by adaptive counting
2008 G. Primiero, M. J.
Adaptive arbitration by variant counting on commutative bases with weights
2008 G. Primiero, J. Meheus
Proceeding in abstraction : from concepts to types and the recent perspective on information
2009 G. Primiero
An epistemic logic for becoming informed
2009 G. Primiero
Acts of knowledge : history, philosophy and logic: essays dedicated to Goran Sundholm
2009 G. Primiero, S. Rahman
Epistemic Modalities
2009 G. Primiero
Two kinds of procedural semantics for privative modification
2010 G. Primiero, B. Jespersen
A contextual type theory with judgemental modalities for reasoning from open assumptions
2012 G. Primiero
The Realism-Antirealism Debate in the Age of Alternative Logics
2012 S. Rahman, G. Primiero, M. Marion
A modal type theory for formalizing trusted communications
2012 G. Primiero, M. Taddeo
Type-theoretical dynamics: Exploring belief revision in a constructive framework
2012 G. Primiero
Miscomputation
2013 N. Fresco, G. Primiero
Alleged assassins: Realist and constructivist semantics for modal modification
2013 B. Jespersen, G. Primiero
Honesty, competence, and trust for systems design
2013 G. Primiero
Offline and online data: On upgrading functional information to knowledge
2013 G. Primiero
J-Calc : a Typed Lambda Calculus for Intuitionistic Justification Logic
2014 K. Pouliasis, G. Primiero
Modeling human behaviour with higher order logic: Insider threats
2014 J. Boender, M.G. Ivanova, F. Kammuller, G. Primiero
A taxonomy of errors for information systems
2014 G. Primiero
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile