Embedded Files
Day 1
Monday 5th of August
Monday 5th of August
17:00-17:45
Proof-theoretic Semantics: Inferentialist logic and modelling
Proof-theoretic Semantics: Inferentialist logic and modelling
David J. Pym
17:45-18:30
Plenitudinous Platonism Through Base-extension Semantics
Plenitudinous Platonism Through Base-extension Semantics
Tor Sandqvist
Day 2
Tuesday 6th of August
Tuesday 6th of August
17:00-17:45
Prawitz's Theory of Grounds: ideas, results and problems some 20 years later
Prawitz's Theory of Grounds: ideas, results and problems some 20 years later
Antonio Piccolomini d'Aragona (online)
17:45-18:30
Towards Canonical Proofs for Second Order Intuitionistic Logic
Towards Canonical Proofs for Second Order Intuitionistic Logic
Paolo Pistone
Day 3
Wednesday 7th of August
Wednesday 7th of August
17:00-17:45
Contradictions without Negation: a bilateralist account of non-trivial inconsistent logics.
Contradictions without Negation: a bilateralist account of non-trivial inconsistent logics.
Sara Ayhan
17:45-18:30
Bilateralism and Classical Logic: some comments from the intensional perspective
Bilateralism and Classical Logic: some comments from the intensional perspective
Luca Tranchini (joint work with Dennis Akdasli)
Day 4
Thursday 8th of August
Thursday 8th of August
17:00-17:45
A Base-extension Semantics for PAL
A Base-extension Semantics for PAL
Timo Eckhardt
17:45-18:30
A Base-extension Semantics for PDL
A Base-extension Semantics for PDL
Gabriele Brancati
Day 5
Friday 9th of August
Friday 9th of August
17:00-17:45
This Talk Needs No Introductions
This Talk Needs No Introductions
Hermógenes Oliveira (remote)
17:45-18:30
Base-extension Semantics via Definitional Reflection
Base-extension Semantics via Definitional Reflection
Tao Gu
Page updated
Google Sites
Report abuse