Spahn
Giuseppe Primiero, information and knowledge - a constructive type-theoretical approach (Rev #1, changes)
Showing changes from revision #0 to #1:
Added | Removed | Changed
This entry is about the text
Contents
Introduction
1 Constructive type theory
3.1.2 Contexts: formal explanation
3.2.1 Presuppositions
3.2.2 Assumptions
3.2.3 Types and meaning declarations
3.2.4 Truths and the role of assumptions
3.3 Contexts as constructive possible worlds
3.3.1 introducing orderings: Kripke models
3.4 The knowledge framework
3.4.2 The structure of knowledge
Revision on August 4, 2012 at 14:06:41 by
Stephan Alexander Spahn?.
See the history of this page for a list of all contributions to it.