Till startsida
University of Gothenburg
Sitemap
To content Read more about how we use cookies on gu.se

Bartosz Wieckowski "Intuitionistic multi-agent subatomic natural deduction for belief and knowledge"

Research profile seminar

Bartosz Wieckowski "Intuitionistic multi-agent subatomic natural deduction for belief and knowledge"

In this talk, we will consider a natural deduction system which aims at the proof-theoretic analysis of reasoning with complex multi-agent belief (resp. knowledge) constructions (involving, e.g., forms of reciprocating or universal belief, or intentional identity). Making use of a normalization result for the system, we shall propose a proof-theoretic semantics for the intensional operators for intuitionistic belief and knowledge which explains their meaning entirely by appeal to the structure of derivations. Since the system enjoys the subexpression property, a refinement of the subformula property, it is fully analytic. We will also compare this approach to the logic and semantics of belief and knowledge with other intuitionistic approaches.

Lecturer: Bartosz Wieckowski

Date: 11/21/2018

Time: 1:15 PM - 3:00 PM

Categories: Linguistics

Organizer: CLASP

Location: Seminar room, Dicksonsgatan 4

Contact person: stergios chatzikyriakidis

Calendar

To the calendar

Page Manager: Webbredaktionen|Last update: 5/23/2016
Share:

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?