{"id":5490,"date":"2025-09-30T15:57:05","date_gmt":"2025-09-30T13:57:05","guid":{"rendered":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/?p=5490"},"modified":"2025-09-30T15:57:05","modified_gmt":"2025-09-30T13:57:05","slug":"joint-dip-lira-session-elaine-pimentel","status":"publish","type":"post","link":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/2025\/09\/joint-dip-lira-session-elaine-pimentel\/","title":{"rendered":"Joint DIP-LIRa session: Elaine Pimentel"},"content":{"rendered":"<p>Speaker: Elaine Pimentel (University College London)<\/p>\n<p>Date and Time: Friday, November&nbsp;21st 2025, 16:00-17:30 (NOTE the unusual weekday)<\/p>\n<p>Venue: ILLC Seminar Room F1.15, Science Park 107 and online.<\/p>\n<p>Title: <strong>The Modal Cube Revisited: Semantics without Worlds<\/strong><\/p>\n<p>Abstract. We present a non-deterministic semantic framework for all modal logics in the modal cube, extending prior works by Kearns and others. Our approach introduces modular and uniform multi-valued non-deterministic matrices (Nmatrices) for each logic, where necessitation is captured by the systematic use of level valuations. The semantics is grounded in an eight-valued system and provides a sound and complete decision procedure for each modal logic, extending and refining earlier semantics as particular cases. Additionally, we propose a novel model-theoretic perspective that links our framework to relational (Kripke-style) semantics, addressing longstanding conjectures regarding the correspondence between modal axioms and semantic conditions within non-deterministic settings. The result is a philosophically robust and technically modular alternative to standard possible-world semantics.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Speaker: Elaine Pimentel (University College London)<br \/>\nDate and Time: Friday, November&nbsp;21st 2025, 16:00-17:30 (NOTE the unusual weekday)<br \/>\nVenue: ILLC Seminar Room F1.15, Science Park 107 and online.<br \/>\nTitle: The Modal Cube Revisited: Semantics without Worlds<br \/>\nAbstract. We present a non-deterministic semantic framework for all modal logics in the modal cube, extending prior works by Kearns and others. Our approach [&#8230;]<\/p>\n","protected":false},"author":11,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[14],"tags":[],"class_list":["post-5490","post","type-post","status-publish","format-standard","hentry","category-all"],"_links":{"self":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/5490","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=5490"}],"version-history":[{"count":1,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/5490\/revisions"}],"predecessor-version":[{"id":5491,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/5490\/revisions\/5491"}],"wp:attachment":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/media?parent=5490"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/categories?post=5490"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/tags?post=5490"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}