Abstracts

List of Abstracts

Below you can read and download the abstracts of the talks

• From truthmakers to information states: disjunction and negation in BSMLMaria Aloni

  view pdf
• Why Ekman-reduction is no reduction (and therefore Ekman's paradox is no paradox)Sara Ayhan

  view pdf
• Opinion Diffusion in Similarity-Driven NetworksEdoardo Baccini

  view pdf
• Symmetry, locality and hyperintensionalityMaria Beatrice Buonaguidi

  view pdf
• Questions in first-order logicIvano Ciardelli

  view pdf
• Responsibility Without CausationSarah Hiller

  view pdf
• First-order logic with self-referenceReijo Jaakkola

  view pdf
• Distributed belief - combining uncertain informationJohn Lindqvist

  view pdf
• Krasner hyperfields and the model theory of valued fieldsAlessandro Linzi

  view pdf
• Semantic Pollution of Proof SystemsRobin Martinot

  view pdf
• Highlights from infinite games, mice, and their connectionSandra Müller

  view pdf
• Borel and $\text{Borel}^*$ sets in generalized descriptive set theoryBeatrice Pitton

  view pdf
• Cut-elimination for Intuitionistic Logic with Actuality resolved via hypersequentsFabio De Martin Polo

  view pdf
• Types in Weak Dependence LogicDavide Emilio Quadrellaro

  view pdf
• Continuum hypothesis in the $\omega$-cofinality modelOtto Rajala

  view pdf
• Classical Logic and Intuitionistic Logic: looking both waysGreg Restall

  view pdf
• On Tight TheoriesHans Robin Solberg

  view pdf
• Proof-Theoretic Validity and Intuitionistic LogicWilliam Stafford

  view pdf
• Categoricity of Strong Kleene LogicsS. Kaan Tabakci

  view pdf
• Löwenheim-Skolem-Tarski numbers for regularity quantifiersChristopher Turner

  view pdf
• Games, models, and generalized Baire spacesJouko Väänänen

  view pdf
• Normalisation and Harmony in Bilateral LogicPedro del Valle-Inclan

  view pdf