Available talks
Talks listed from newest to oldest.
- (Daniel Durante) No Metaphysical Disagreement Without Logical Incompatibility
- (Michaela McSweeney) Anti-Exceptionalism and Metaphysics
- (Peter Verdée) Beliefs supporting other beliefs: Truthmaker semantics for logic-neutral inference in hyperintensional webs of belief
- (Elaine Pimentel) A semantical view of proof systems
- (Tuomas Tahko) Logical Realisms
- (Jonas Becker Arenhart) Science and metaphysics, in the light of quantum mechanics
- (Frank Valencia) An Introduction to the Theory of Concurrent Systems
- (Catuscia Palamidessi) Generalized differential privacy and applications to location privacy
- (Marcos Silva) Como entender a normatividade da razão no contexto do pluralismo lógico?
- (João Marcos) It ain’t necessarily so: Basic sequent systems for negative modalities
- (Samir Gorski) O Conceito de Surpresa
- (Diana Costa) An Overview on Quasi Hybrid Logic
- (Achim Jung) The Surprising Difficulty of Using Mathematics in Computer Science
- (João Marcos) Breaking the Proof Code
- (Samson Abramsky) Intensionality, Definability and Computation
- (João Marcos) On the birth of the LFIs: Some alternative histories
- (Arnon Avron) Classical C-systems: Logical achievements and logical problems
- (Heinrich Wansing) Compositionality in Proof-Theoretic Semantics
- (Guillaume Hoffmann) Relation- and Domain-Changing modal operators
- (Luiz Carlos Pereira) Schematic rules and atomic polymorphism
- (Alessandra Palmigiano) Unified Correspondence as a Proof-Theoretic Tool
- (Ofer Arieli) Sequent-based Argumentation
- (Valentin Goranko) A logical framework for multi-agent visual-epistemic reasoning
- (Dale Miller) Defining the semantics of proof evidence
- (Valeria de Paiva) Modal Type Theory
- (David Gilbert) Proof theory for classical modal logics: systems of rules
- (Vít Punčochář) Logic of Assertability
- (Vladimir Svoboda) Deontic Logic and Language Games
- (Leon Horsten) Fair infinite loteries and Infinitesimal Probabilities
- (Graham Priest) How does one resolve disputes about logic?
