Information and knowledge. A constructive type-theoretical approach
From MaRDI portal
Publication:2464131
zbMath1151.03001MaRDI QIDQ2464131
Publication date: 10 December 2007
Published in: Logic, Epistemology, and the Unity of Science (Search for Journal in Brave)
Philosophical and critical aspects of logic and foundations (03A05) Knowledge representation (68T30) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Semantics in the theory of computing (68Q55) General topics in artificial intelligence (68T01) Communication theory (94A05)
Related Items (6)
An epistemic logic for becoming informed ⋮ Meaning and computing: two approaches to computable propositions ⋮ Realist Consequence, Epistemic Inference, Computational Correctness ⋮ A modal type theory for formalizing trusted communications ⋮ Making Sense of Sense Containment ⋮ Proceeding in Abstraction. From Concepts to Types and the Recent Perspective on Information
Uses Software
This page was built for publication: Information and knowledge. A constructive type-theoretical approach
