{"id":1336,"date":"2010-03-01T05:10:39","date_gmt":"2010-03-01T10:10:39","guid":{"rendered":"http:\/\/whamit.mit.edu\/?p=1336"},"modified":"2010-03-01T16:04:20","modified_gmt":"2010-03-01T21:04:20","slug":"lf-reading-group-31-modal-logic-from-a-semantic-perspective","status":"publish","type":"post","link":"https:\/\/ling-phil.mit.edu\/whamit\/2010\/03\/01\/lf-reading-group-31-modal-logic-from-a-semantic-perspective\/","title":{"rendered":"LF Reading Group 3\/1- modal logic from a semantic perspective"},"content":{"rendered":"<p><P>WHAT: Tutorial<BR><br clear='none'\/>\nTITLE: &#8220;Some things you want to know about modal logic, but don&#8217;t know you do&#8221;, by Igor Yanovich<BR><br clear='none'\/>\nWHEN: 11.30AM - 1PM<BR><br clear='none'\/>\nWHERE: 32-D831<\/P><\/p>\n<p><P>WHAT EXACTLY:<BR><br clear='none'\/>\nThe idea is to review, in an informal manner (read: without doing much technical stuff), several simple results from the modern period of modal logic<br clear='none'\/>\ndevelopment. Instead of focusing on different systems like K etc. and completeness, the tutorial will take the so-called semantic perspective and discuss modal<br clear='none'\/>\nlogic as a tool for talking about relational structures in a certain way. Topics which are likely to emerge: the standard translation from modal logic into a<br clear='none'\/>\nfragment of first-order logic; bisimulations and bisimulation-equivalence; limits of the expressive power of the standard modal logic, and some ways to enrich<br clear='none'\/>\nit, etc.<\/P><\/p>\n<p><P>Plus, if you want to learn something in particular - drop an email to Igor with your question. No guarantees, but he&#8217;ll try to answer it on Monday.<\/P><\/p>\n<p><P>If you want to read, or at least browse, something before going to the meeting (or instead of going), read this:<\/P><\/p>\n<ul>\n<li><a href=\"http:\/\/www.illc.uva.nl\/Publications\/ResearchReports\/PP-2006-30.text.pdf\">http:\/\/www.illc.uva.nl\/Publications\/ResearchReports\/PP-2006-30.text.pdf<\/a><\/li>\n<\/ul>\n<p><P>It is a wonderful introductory chapter from the &#8220;Handbook of modal logic&#8221;, written by Johan van Benthem and Patrick Blackburn - two really important guys in<br clear='none'\/>\ncurrent modal logic, who also happen to write very readable texts accessible even for beginners.<\/P><\/p>\n","protected":false},"excerpt":{"rendered":"<p>WHAT: Tutorial TITLE: &#8220;Some things you want to know about modal logic, but don&#8217;t know you do&#8221;, by Igor Yanovich WHEN: 11.30AM - 1PM WHERE: 32-D831 WHAT EXACTLY: The idea is to review, in an informal manner (read: without doing much technical stuff), several simple results from the modern period of modal logic development. Instead [&hellip;]<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[6],"tags":[],"class_list":["post-1336","post","type-post","status-publish","format-standard","hentry","category-talks"],"_links":{"self":[{"href":"https:\/\/ling-phil.mit.edu\/whamit\/wp-json\/wp\/v2\/posts\/1336","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/ling-phil.mit.edu\/whamit\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/ling-phil.mit.edu\/whamit\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/ling-phil.mit.edu\/whamit\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/ling-phil.mit.edu\/whamit\/wp-json\/wp\/v2\/comments?post=1336"}],"version-history":[{"count":2,"href":"https:\/\/ling-phil.mit.edu\/whamit\/wp-json\/wp\/v2\/posts\/1336\/revisions"}],"predecessor-version":[{"id":1340,"href":"https:\/\/ling-phil.mit.edu\/whamit\/wp-json\/wp\/v2\/posts\/1336\/revisions\/1340"}],"wp:attachment":[{"href":"https:\/\/ling-phil.mit.edu\/whamit\/wp-json\/wp\/v2\/media?parent=1336"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/ling-phil.mit.edu\/whamit\/wp-json\/wp\/v2\/categories?post=1336"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/ling-phil.mit.edu\/whamit\/wp-json\/wp\/v2\/tags?post=1336"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}