[SydPhil] Notification: Carles Noguera (Czech Academy of Sciences, Prague) @ Thu 8 Nov 2018 15:00 - 16:30 (AEDT) (Current Projects)

Google Calendar calendar-notification at google.com
Wed Nov 7 14:59:55 AEDT 2018


This is a notification for:

Title: Carles Noguera (Czech Academy of Sciences, Prague)
Title: General Neighborhood and Kripke Semantics for Modal Many-Valued  
Logics

Abstract: Frame semantics, given by Kripke or neighborhood frames, do not  
give completeness theorems for all modal logics extending, respectively, K  
and E. Such shortcoming can be overcome by means of general frames, i.e.  
frames equipped with a collection of admissible sets of worlds (which is  
the range of possible valuations over such frame). We export this approach  
from the classical paradigm to modal many-valued logics by defining general  
A-frames over a given residuated lattice A (i.e., the usual frames with a  
collection of admissible A-valued sets). We describe in details the  
relation between general Kripke and neighborhood A-frames and prove that,  
if the logic of A is finitary, all extensions of the corresponding logic E  
of A are complete w.r.t. general neighborhood frames. Our work provides a  
new approach to the current research trend of generalizing relational  
semantics for non-classical modal logics to circumvent axiomatization  
problems.
When: Thu 8 Nov 2018 15:00 – 16:30 Eastern Australia Time - Sydney
Calendar: Current Projects
Who:
     * Kristie Miller- creator

Event details:  
https://protect-au.mimecast.com/s/WkzICoVzGQi7OVVXI1tt3k?domain=google.com

Invitation from Google Calendar: https://protect-au.mimecast.com/s/Ozs1Cp8AJQtjY00zSDYXbI?domain=google.com

You are receiving this email at the account sydphil at arts.usyd.edu.au  
because you are subscribed for notifications on calendar Current Projects.

To stop receiving these emails, please log in to  
https://protect-au.mimecast.com/s/Ozs1Cp8AJQtjY00zSDYXbI?domain=google.com and change your notification settings for  
this calendar.

Forwarding this invitation could allow any recipient to modify your RSVP  
response. Learn more at  
https://protect-au.mimecast.com/s/KTIaCq7BKYtpqyyOfQQE-l?domain=support.google.com
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.sydney.edu.au/pipermail/sydphil/attachments/20181107/eb9348de/attachment.html>


More information about the SydPhil mailing list