BORIS Theses

BORIS Theses
Bern Open Repository and Information System

Contributions to Intuitionistic Epistemic Logic

Marti, Michel (2017). Contributions to Intuitionistic Epistemic Logic. (Thesis). Universität Bern, Bern

[img]
Preview
Text
marti17_.pdf - Thesis
Available under License Creative Commons: Attribution-Share Alike (CC-BY-SA 4.0).

Download (486kB) | Preview

Abstract

Item Type: Thesis
Dissertation Type: Single
Date of Defense: 2017
Subjects: 000 Computer science, knowledge & systems
500 Science > 510 Mathematics
Institute / Center: 08 Faculty of Science > Institute of Computer Science (INF) > Logic and Theory Group (LTG)
08 Faculty of Science > Institute of Computer Science (INF)
Depositing User: Admin importFromBoris
Date Deposited: 25 Jan 2019 12:57
Last Modified: 25 Jan 2019 12:57
URI: https://boristheses.unibe.ch/id/eprint/829

Actions (login required)

View Item View Item