This Week in Logic at CUNY

Hi everyone,

As finals begin at CUNY this Friday, May 20th, this will be the final regular mailing of This Week in Logic at CUNY until the fall semester begins. We will send out special announcements over the summer as necessary, so please let us know of any logic-related events in New York or beyond.

Best regards,
Jonas Reitz

This Week in Logic at CUNY:

– – – – Monday, May 16, 2011 – – – –

– – – – Tuesday, May 17, 2011 – – – –

Computational Logic Seminar
Room 3309, 2:00 – 4:00 PM, May 17, 2011.
Speaker: Roman Kuznets (University of Bern)
Title: Constructive Realization of Justication Logics via Nested Sequents

Abstract: Justification counterparts for most modal logics in the so-called “modal cube” are known. However, until recently there was no uniform method of proving the Realization Theorem for all of them. We present such a method for all the normal modal logics formed from the axioms d, t, b, 4, and 5. The main tools used are cut-free nested sequent calculi a la Kai Brünnler and Melvin Fitting’s realization merging technique.

Based on our realization method, we discuss the question of modularity of realizations: each modal axiom has a natural justification counterpart. However, one modal logic may have several
axiomatizations, accordingly it is natural to suggest there to be several natural justification counterparts, one for each
axiomatization. Our goal is to completely classify these various realizations by introducing a natural equivalence relation on them that extends that of Fitting. The naturality of the equivalence relation here means that justification logics are equivalent iff they have the same forgetful projection.

This is a joint work with Kai Brünnler and Remo Goetschi (both from University of Bern)

– – – – Wednesday, May 18, 2011 – – – –

– – – – Thursday, May 19, 2011 – – – –

– – – – Friday, May 20, 2011 – – – –

** Finals begin at CUNY’s Graduate Center **

Logic and Games Seminar
Friday, May 20, 2011 4:15 pm GC, Room 4419
Professor Juliet Floyd (Boston University)
Some remarks on Private Language

Next Week in Logic at CUNY:

– – – – Monday, May 23, 2011 – – – –

– – – – Tuesday, May 24, 2011 – – – –

– – – – Wednesday, May 25, 2011 – – – –

– – – – Thursday, May 26, 2011 – – – –

– – – – Friday, May 27, 2011 – – – –

– – – – Other Logic News – – – –

– – – – Web Site – – – –

The majority of this information, including an interactive calendar of future events, can be found at our website:

http://nylogic.org/Calendar

Leave a Reply

Your email address will not be published. Required fields are marked *

Time limit is exhausted. Please reload CAPTCHA.