Registration and Breakfast

https://firebasestorage.googleapis.com/v0/b/phds-logic.appspot.com/o/abstracts%2Fabstract_invited_aloni.pdf?alt=media&token=cedabf8a-7e4b-4edd-94da-e2d26dff486a

Maria

From truthmakers to information states: disjunction and negation in BSML

Coffee Break

https://firebasestorage.googleapis.com/v0/b/phds-logic.appspot.com/o/abstracts%2FRJaakkola.pdf?alt=media&token=0b14f9d5-e1e1-40d6-8579-bc9939ff3ac3

Reijo

First-order logic with self-reference

https://firebasestorage.googleapis.com/v0/b/phds-logic.appspot.com/o/abstracts%2FFDeMartinPolo.pdf?alt=media&token=f3b6ab4a-032e-4bb1-b0f9-9ea9bdb8b686

Fabio

Cut-elimination for Intuitionistic Logic with Actuality resolved via hypersequents

Lunch Break

https://firebasestorage.googleapis.com/v0/b/phds-logic.appspot.com/o/abstracts%2Fabstract_invited_ciardelli.pdf?alt=media&token=f866dfe8-8128-449c-94e5-4e657d4a3b52

Ivano

Questions in first-order logic

https://firebasestorage.googleapis.com/v0/b/phds-logic.appspot.com/o/abstracts%2FSAyhan.pdf?alt=media&token=ad6c140d-4138-475b-8a3e-3676523d6682

Sara

Why Ekman-reduction is no reduction (and therefore Ekman's paradox is no paradox)

https://firebasestorage.googleapis.com/v0/b/phds-logic.appspot.com/o/abstracts%2FMBuonaguidi.pdf?alt=media&token=3c82eb8f-3b26-4aaf-8c20-a5136fd1a5b3

Maria Beatrice

Symmetry, locality and hyperintensionality

https://firebasestorage.googleapis.com/v0/b/phds-logic.appspot.com/o/abstracts%2FMartinot.pdf?alt=media&token=6cd37836-e741-47e5-a80f-05d360737e4f

Robin

Semantic Pollution of Proof Systems

https://firebasestorage.googleapis.com/v0/b/phds-logic.appspot.com/o/abstracts%2FKTabaki.pdf?alt=media&token=3eee106c-6096-4855-9449-632341fa101e

S. Kaan

Categoricity of Strong Kleene Logics

https://firebasestorage.googleapis.com/v0/b/phds-logic.appspot.com/o/abstracts%2Fabstract_invited_restall.pdf?alt=media&token=adc8e3a1-3a2f-4e77-92e7-1d9bf9123ce5

Greg

Classical Logic and Intuitionistic Logic: looking both ways

https://firebasestorage.googleapis.com/v0/b/phds-logic.appspot.com/o/abstracts%2FStafford.pdf?alt=media&token=f4e57a41-f1dd-4449-a421-5d60097d0c33

William

Proof-Theoretic Validity and Intuitionistic Logic

https://firebasestorage.googleapis.com/v0/b/phds-logic.appspot.com/o/abstracts%2FPValleIncla.pdf?alt=media&token=4da802c5-4396-4048-bb78-bd6080a446d0

Pedro

Normalisation and Harmony in Bilateral Logic

https://firebasestorage.googleapis.com/v0/b/phds-logic.appspot.com/o/abstracts%2Fabstract_invited_muller.pdf?alt=media&token=32d820b0-a480-44c9-afdd-c130f1b6116e

Sandra

Highlights from infinite games, mice, and their connection

https://firebasestorage.googleapis.com/v0/b/phds-logic.appspot.com/o/abstracts%2FRajala.pdf?alt=media&token=34cca425-c497-4e1c-b649-8dc469ff0b66

Otto

Continuum hypothesis in the \omega-cofinality model

https://firebasestorage.googleapis.com/v0/b/phds-logic.appspot.com/o/abstracts%2FBPitton.pdf?alt=media&token=35559049-6dec-43eb-abcc-6a32259f01fe

Beatrice

Borel and Borel^* sets in generalized descriptive set theory

Social Afternoon

Social Dinner

https://firebasestorage.googleapis.com/v0/b/phds-logic.appspot.com/o/abstracts%2Fabstract_invited_vannaanen.pdf?alt=media&token=183699cf-b332-4ff4-82f3-941aa20963c6

Jouko

Games, models, and generalized Baire spaces

https://firebasestorage.googleapis.com/v0/b/phds-logic.appspot.com/o/abstracts%2FLinzi.pdf?alt=media&token=e76508bd-249a-4fe7-b277-4ada2b2364ab

Alessandro

Krasner hyperfields and the model theory of valued fields

https://firebasestorage.googleapis.com/v0/b/phds-logic.appspot.com/o/abstracts%2FSolberg.pdf?alt=media&token=5f251f1c-2102-4277-a167-d04787e2933f

Hans Robin

On Tight Theories

https://firebasestorage.googleapis.com/v0/b/phds-logic.appspot.com/o/abstracts%2FSHiller.pdf?alt=media&token=653fe9f1-be35-4226-a37e-d49045ef5abc

Sarah

Responsibility Without Causation

https://firebasestorage.googleapis.com/v0/b/phds-logic.appspot.com/o/abstracts%2FEBaccini.pdf?alt=media&token=786d053d-729d-4103-895b-281ccd066dc3

Edoardo

Opinion Diffusion in Similarity-Driven Networks

https://firebasestorage.googleapis.com/v0/b/phds-logic.appspot.com/o/abstracts%2FJLindqvist.pdf?alt=media&token=830705c3-9687-4081-9d31-71a7100a4c73

John

Distributed belief - combining uncertain information

https://firebasestorage.googleapis.com/v0/b/phds-logic.appspot.com/o/abstracts%2FTurner.pdf?alt=media&token=1f87d70a-09f3-49e3-9041-1186ed07a8f5

Christopher

Löwenheim-Skolem-Tarski numbers for regularity quantifiers

https://firebasestorage.googleapis.com/v0/b/phds-logic.appspot.com/o/abstracts%2FDQuadrellaro.pdf?alt=media&token=1ee3d982-7f4b-4f2d-996c-38221ef21c4b

Mon Sep 05 2022
08:00 - 09:30	Registration and Breakfast
09:30 - 11:15	Maria Aloni (invited)From truthmakers to information states: disjunction and negation in BSML (Slides)
11:15 - 11:45	Coffee Break
11:45 - 12:15	Reijo Jaakkola First-order logic with self-reference (Slides)
12:20 - 12:50	Fabio De Martin Polo Cut-elimination for Intuitionistic Logic with Actuality resolved via hypersequents
12:50 - 14:20	Lunch Break
14:20 - 15:20	Ivano Ciardelli (invited)Questions in first-order logic (Slides)
15:25 - 15:55	Sara Ayhan Why Ekman-reduction is no reduction (and therefore Ekman's paradox is no paradox)
15:55 - 16:25	Coffee Break
16:25 - 16:55	Maria Beatrice Buonaguidi Symmetry, locality and hyperintensionality (Slides)
17:00 - 17:30	Robin Martinot Semantic Pollution of Proof Systems
17:35 - 18:05	S. Kaan Tabakci Categoricity of Strong Kleene Logics (Slides)

Program