{"id":1736,"date":"2012-10-14T11:09:11","date_gmt":"2012-10-14T11:09:11","guid":{"rendered":"http:\/\/www.illc.uva.nl\/lgc\/seminar\/?p=1736"},"modified":"2012-11-19T08:04:25","modified_gmt":"2012-11-19T08:04:25","slug":"lira-affiliated-lunch-talk-torben-brauner","status":"publish","type":"post","link":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/2012\/10\/lira-affiliated-lunch-talk-torben-brauner\/","title":{"rendered":"LIRa-affiliated lunch talk: Torben Brauner"},"content":{"rendered":"<p>On Wednesday, December 5,\u00a0<strong>Torben Brauner<\/strong> will give a LIRa-affiliated lunch talk.<br \/>\nEveryone is cordially invited! Since the talk will be during lunch time, you can bring lunch and eat during the talk.<\/p>\n<p><strong>Speaker:<\/strong> Torben Brauner (Roskilde University)<br \/>\n<strong>Title:<\/strong> Hybrid-Logical Proof-Theory: With an Application to Reasoning in False-Belief Tasks<br \/>\n<strong>Room:<\/strong> Science Park 904, room\u00a0D1.115<br \/>\n<strong>Time:<\/strong> Wednesday, 5 December, 12:00-13:00<\/p>\n<p><strong>Abstract: <\/strong>Hybrid logic is an extension of ordinary modal logic which allows explicit reference to individual points in a model (where the points represent times, possible worlds, states in a computer, or something else). This additional expressive power is useful for many applications, for example when reasoning about time one often wants to formulate a series of statements about what happens at specific times.<\/p>\n<p>There is little consensus about proof-theory for ordinary modal logic. Many modal-logical proof systems lack important properties and the relationships between proof systems for different modal logics are often unclear. In my\u00a0talk\u00a0I will demonstrate that these deficiencies are remedied by hybrid-logical proof-theory.<\/p>\n<p>In my\u00a0talk\u00a0I first give a brief introduction to hybrid logic and its origin in Arthur Prior&#8217;s temporal logic. I then describe essential proof-theoretical results for natural deduction formulations of hybrid logic. Finally, I show how a proof system for hybrid logic can be used to formalize what are called false-belief tasks in cognitive psychology.<\/p>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>On Wednesday, December 5,\u00a0Torben Brauner will give a LIRa-affiliated lunch talk.<br \/>\nEveryone is cordially invited! Since the talk will be during lunch time, you can bring lunch and eat during the talk.<br \/>\nSpeaker: Torben Brauner (Roskilde University)<br \/>\nTitle: Hybrid-Logical Proof-Theory: With an Application to Reasoning in False-Belief Tasks<br \/>\nRoom: Science Park 904, room\u00a0D1.115<br \/>\nTime: Wednesday, 5 December, 12:00-13:00<br \/>\nAbstract: Hybrid logic [&#8230;]<\/p>\n","protected":false},"author":11,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[4],"tags":[],"class_list":["post-1736","post","type-post","status-publish","format-standard","hentry","category-events"],"_links":{"self":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/1736","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/users\/11"}],"replies":[{"embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/comments?post=1736"}],"version-history":[{"count":8,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/1736\/revisions"}],"predecessor-version":[{"id":1739,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/1736\/revisions\/1739"}],"wp:attachment":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/media?parent=1736"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/categories?post=1736"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/tags?post=1736"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}