[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
Fri Nov 2 14:59:58 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  

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  
When: Thu 8 Nov 2018 15:00 – 16:30 Eastern Australia Time - Sydney
Calendar: Current Projects
     * Kristie Miller- creator

Event details:  

Invitation from Google Calendar: https://protect-au.mimecast.com/s/HXKACxnMRvt2vDAGuvBD2l?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/HXKACxnMRvt2vDAGuvBD2l?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  
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.sydney.edu.au/pipermail/sydphil/attachments/20181102/cc4f7409/attachment.html>

More information about the SydPhil mailing list