Schedule

Below you find the current schedule for DiRL3. Make sure to come back to this page regularly during the conference to check on any potential changes in the schedule.

Below the schedule you will also find links to the talk abstracts.

Abstracts

Invited speakers

John Slaney: E_arrow^1 Revisited: New Work On An Old Problem

Gemma Robles: Connexivism and Relevance in 3-Valued Logics. Some Basic Results

Ellie Ripley: Restricted Quantification in Substructural Arithmetic

Katalin Bimbo: A New Extension of RMQ and its Usability

Greg Restall: Thoroughly Linear (and Relevant) Modal Hypersequents

Contributed speakers

Rohan French: Relevant Equivalence Logics

Tore Fjetland Ogaard: Revitalizing MaGIC

Thomas Ferguson: Hyperformalism for Relevant Propositional Dynamic Logics

Andrew Tedder: Relevance for Tarskian Logics

Mahan Vaz Silva: Basic Logic of Relevant Evidence

Blane Worley: Ackermann's Detour

Yaroslav Shramko: The Logic of R-Safety

Han Gao and Fabio De Martin Polo: A Nested Approach to Relevant Logics

Pietro Vigiani: Kripke-Style Semantics for Modal Nelson Logics

Robert van Rooij: Teams and Truthmakers

Matteo Giannone: From Classical to Relevant Logicality

Fabio De Martin Polo: Taming the Beast!

Ryan Simonelli: Minimal Incoherence and Relevant Consequence for Inferentialists

Martin Pleitz: On Shifting Grounds

Wesley Fussner: Interpolation and the Variable Sharing Property

Krzystof Krawcyk: Only Five Consequence Relations Extending R-Mingle have the Maehara Interpolation Property

Joseph Macdonald: Spectral and Pairwise Stone Duality for Algebras of Relevant Logics

Peter Verdee: Intuitionistic Logic with an Intuitionistically Adequate Relevant Conditional

Thomas Ferguson: Relative Routley Stars

Nicholas Ferenz: Algebraic Semantics for First Order Relevant Logics

Marta Bilkova: Algebraic Models of Multiplicative Linear and Relevant Logics

Igor Sedlar: Time for Relevant Logics

Page updated

Google Sites

Report abuse