Contributions to Intuitionistic Epistemic Logic

Marti, Michel (2017). Contributions to Intuitionistic Epistemic Logic. (Dissertation, Institute of Computer Science, Philosophisch-naturwissenschaftliche Fakultät, Universität Bern)

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

Download (486kB) | Preview

Item Type:

Thesis (Dissertation)

Division/Institute:

08 Faculty of Science > Institute of Computer Science (INF) > Logic and Theory Group (LTG)
08 Faculty of Science > Institute of Computer Science (INF)

UniBE Contributor:

Marti, Michel and Jäger, Gerhard

Subjects:

000 Computer science, knowledge & systems
500 Science > 510 Mathematics

Language:

English

Submitter:

Lukas Jaun

Date Deposited:

14 Nov 2017 15:01

Last Modified:

14 Nov 2017 15:01

BORIS DOI:

10.7892/boris.79972

URI:

https://boris.unibe.ch/id/eprint/79972

Actions (login required)

Edit item Edit item
Provide Feedback