Offline and online data: on upgrading functional information to knowledge

[1]  Jaana Ihalainen,et al.  Philosophy of Computer Science , 2014 .

[2]  Giuseppe Primiero,et al.  A modal type theory for formalizing trusted communications , 2012, J. Appl. Log..

[3]  J. D. Silva.  On the Principle of Excluded Middle , 2012 .

[4]  Maria van der Schaar,et al.  The cognitive act and the first-person perspective: an epistemology for constructive type theory , 2011, Synthese.

[5]  L. Floridi.  A DEFENCE OF CONSTRUCTIONISM: PHILOSOPHY AS CONCEPTUAL ENGINEERING , 2011 .

[6]  P. Allo.  The logic of ‘being informed’ revisited and revised , 2011 .

[7]  Luciano Floridi,et al.  Semantic information and the network theory of account , 2010, Synthese.

[8]  L. Floridi.  Semantic Information and the Correctness Theory of Truth , 2010 .

[9]  Luciano Floridi,et al.  The Philosophy of Information , 2010 .

[10]  L. Floridi.  Information: A Very Short Introduction , 2010 .

[11]  Giuseppe Primiero,et al.  Proceeding in Abstraction. From Concepts to Types and the Recent Perspective on Information , 2009 .

[12]  Luciano Floridi,et al.  Philosophical Conceptions of Information , 2009, Formal Theories of Information.

[13]  Frank Pfenning,et al.  Contextual modal type theory , 2008, TOCL.

[14]  Linda C. Smith,et al.  Information quality work organization in wikipedia , 2008, J. Assoc. Inf. Sci. Technol..

[15]  Andy Egan,et al.  Epistemic modals, relativism and assertion , 2007 .

[16]  Reinhard Kahle,et al.  A Proof-theoretic View of Necessity , 2006, Synthese.

[17]  Luciano Floridi,et al.  Is Information Meaningful Data , 2005 .

[18]  Luciano Floridi,et al.  Is Semantic Information Meaningful Data? , 2005, Philosophy and Phenomenological Research.

[19]  Luciano Floridi,et al.  ON THE LOGICAL UNSOLVABILITY OF THE GETTIER PROBLEM , 2004, Synthese.

[20]  L. Floridi.  OPEN PROBLEMS IN THE PHILOSOPHY OF INFORMATION , 2004 .

[21]  James H. Fetzer.  Information: Does it Have To Be True? , 2004, Minds and Machines.

[22]  Martin Wattenberg,et al.  Studying cooperation and conflict between authors with history flow visualizations , 2004, CHI.

[23]  Orna Grumberg,et al.  A game-based framework for CTL counterexamples and 3-valued abstraction-refinement , 2003, TOCL.

[24]  Frank Pfenning,et al.  A judgmental reconstruction of modal logic , 2001, Mathematical Structures in Computer Science.

[25]  G. Sambin,et al.  Building up a toolbox for Martin-Löf’s type theory: subset theory , 1998 .

[26]  Carl A. Gunter.  The semantics of types in programming languages , 1995, LICS 1995.

[27]  A. Troelstra,et al.  Constructivism in Mathematics: An Introduction , 1988 .

[28]  Per Martin-Löf,et al.  Truth of a proposition, evidence of a judgement, validity of a proof , 1987, Synthese.

[29]  C. Williams,et al.  TRUTH AND OTHER ENIGMAS , 1979 .

[30]  Peter Duignan.  Stanford University , 1966, African Studies Bulletin.

[31]  P. Kleingeld,et al.  The Stanford Encyclopedia of Philosophy , 2013 .

[32]  Giuseppe Primiero,et al.  A contextual type theory with judgemental modalities for reasoning from open assumptions , 2012 .

[33]  Reinhard Kahle,et al.  Modalities Without Worlds , 2012, The Realism-Antirealism Debate in the Age of Alternative Logics.

[34]  Giuseppe Primiero,et al.  The Realism-Antirealism Debate in the Age of Alternative Logics , 2012, Logic, Epistemology, and the Unity of Science.

[35]  S. D’Alfonso,et al.  The Logic Of Being Informed , 2010 .

[36]  G. Primiero.  Epistemic Modalities , 2009 .

[37]  R. Dietz.  Epistemic Modals and Correct Disagreement , 2008 .

[38]  Karl Crary,et al.  Modal types for mobile code , 2008 .

[39]  S. Yalcin.  Epistemic Modals , 2007 .

[40]  G. Primiero.  An epistemic constructive definition of information , 2007 .

[41]  Gordana Dodig-Crnkovic,et al.  System Modeling and Information Semantics , 2006 .

[42]  John MacFarlane,et al.  Making sense of relative truth , 2005 .

[43]  James H. Fetzer.  Philosophy and Computer Science , 2001 .

[44]  Valeria C V de Paiva,et al.  Extended Curry-Howard Correspondence for a Basic Constructive Modal Logic , 2001 .

[45]  Giovanni Sambin,et al.  Twenty-five years of constructive type theory. , 1998 .

[46]  P. Martin-Löf.  On the meanings of the logical constants and the justi cations of the logical laws , 1996 .

[47]  John C. Reynolds,et al.  School of Computer Science , 1992 .

[48]  Michael Dummett,et al.  The logical basis of metaphysics , 1991 .

[49]  Jan Łukasiewicz,et al.  On the principle of the excluded middle , 1987 .

[50]  Per Martin-Löf,et al.  Intuitionistic type theory , 1984, Studies in proof theory.

[51]  J. Heijenoort.  From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931 , 1967 .