2nd Third Workshop (program)

2nd Third Workshop

Program (as of 05/13/24)

8:00-8:25 Welcome to 3W2!
8:25-8:30 Introduction
8:30-9:30 Mares, E.: Substructural philosophy (Keynote)
9:30-10:30 Logan, S.: The philosophical significance of operational and stratified semantics
10:30-10:50 Coffee break
10:50-11:50 Weber, Z.: On strong and weak logics for non-classical computability
11:50-12:50 Ferenz, N.: γ and first-order relevant logics
12:50-13:50 Lunch break
13:50-14:50 Sedlár, I.: Algebras for relevant reasoners
14:50-15:50 Weiss, Y.: A relevant framework for barriers to entailment
15:50-16:10 Break
16:10-17:10 Standefer, S.: Universal necessity, Scroggs properties, and deep classicality
17:10-18:10 McDonald, J.: Monadic ortholattices: Completions and duality

9:00-9:30 2nd Welcome to 3W2!
9:30-10:30 Badia, G.: Definability of classes of frames and models in bi-intuitionistic logic
10:30-10:50 Coffee break
10:50-11:50 Tedder, A.: Topical consequence relations
11:50-12:50 Ripley, D.: Recapture, ambiguity, and conflation
12:50-13:50 Lunch break
13:50-14:50 Hazen, A.: David Lewis and relational semantics
14:50-15:50 Rohan, F.: The Constructive Logic of Paradox: on the Woodruff Plan
15:50-16:10 Break
16:10-17:10 Bimbó, K.: Operational semantics for negation-free ticket entailment T₊
17:10-18:10 Discussion & conclusions