Program

The main topics of this conference are logic, relativity theory, and their interconnections in both directions. It is our ambition to encourage and cater to these interconnections and to help collaborations between logicians and relativity theorists. The program includes a Symposium on Equivalences of Theories on Tuesday afternoon.

The electronic book of abstract is available from here.


Sunday, August 9
13:00 - 14:50 Registration
14:50 - 15:00 Opening by Péter Pál Pálfy Director of the Institute
15:00 - 16:00 István Rácz
The many faces of the constraints in general relativity


abstract
slides 		Chair:
Gergely Székely
16:00 - 16:30coffee break
16:30 - 17:00 John Byron Manchak
Epistemic ''Holes'' in Spacetime 		abstract
slides
17:00 - 17:30 Samuel Fletcher
Definitions and Contextualism for Topologies on the Space of Spacetimes		 abstract
slides
17:30 - 18:00 Michele Friend
A Pluralist Mathematical Practice 		abstract
slides
18:00 - 20:00Welcome Party at the institute


 back to top

Monday, August 10
9:30 - 10:00 Tarek Sayed Ahmed
Splitting methods in algebraic logic 		abstract
slides 		Chair:
Michele Friend
10:00 - 10:30 Judit Madarász and Gergely Székely
A completeness theorem for general relativity 		abstract
slides
10:30 - 11:00coffee break
11:00 - 11:30 Gergely Székely
What structures can numbers have in relativity theory?		 abstract
slides
11:30 - 12:00 Márton Gömöri
Facts and conventions on Poincaré's disc 		abstract
slides
12:00 - 12:30 Petr Švarný
Branching continuations with observers 		abstract
slides
12:30 - 14:00Lunch break
14:00 - 15:00 Alexandru Baltag and Sonja Smets
Logics for Reasoning about Quantum Information: A Dynamic-Epistemic Perspective


abstract
slides 		Chair:
Samuel Fletcher
15:00 - 15:30break
15:30 - 16:30 Valentin B. Shehtman
Squares of modal logics and relation algebras


abstract
slides
16:30 - 17:00coffee break
17:00 - 17:30 Robin Hirsch and Mark Reynolds
Decidability of two dimensional Minkowski spacetime 		abstract
slides
17:30 - 18:00 Hajnal Andréka and István Németi
Varieties of concept algebras 		abstract
18:00 - 18:30 Mohamed Khaled and Tarek Sayed Ahmed
Guarded Fragment Of First Order Logic Without Equality 		abstract
slides

 back to top

Tuesday, August 11
9:30 - 10:00 Sándor Jenei
Classification of Absorbent-Continuous, Densely Ordered and Complete, Group-Like FLe-Chains		 abstract
slides		 Chair:
Judit Madarász
10:00 - 10:30 Ronny Desmet
Out of Season: The neglect of Whitehead's alternative theory of gravitation as due to aesthetic induction by Einstein's general theory of relativity 		abstract
slides
10:30 - 11:00coffee break
11:00 - 11:30 Denis I. Saveliev
The lapse of time in time loops and cyclic temporal logic 		abstract
11:30 - 12:00 Dániel Berényi and Gábor Lehel
The Bridge between Mathematical Models of Physics and Generic Simulations 		abstract
slides
12:00 - 12:30 Thomas Benda
How an axiomatic Bohmian field theory could look		 abstract
slides
12:30 - 14:00Lunch break
Symposium on Equivalences of Theories
14:00 - 14:30 Thomas Barrett and Hans Halvorson
Glymour and Quine on Theoretical Equivalence		 abstract
slides		 Chair:
John B Manchak
14:30 - 15:00 Sarita Rosenstock, James Weatherall and Thomas Barrett
On Einstein Algebras and Relativistic Spacetimes		 abstract
slides
15:00 - 15:30 James Weatherall
Understanding Gauge		 abstract
slides
15:30 - 16:00coffee break
16:00 - 16:30 István Németi and Hajnal Andréka
Relativity theory via a network of logic theories		 abstract
16:30 - 17:00 Koen Lefever and Gergely Székely
Interpretation of Special Relativity in the Language of Newtonian Kinematics 		abstract
slides
17:00 - 17:30 Attila Molnár
Some Expressive Temporal Logic of Minkowski Spacetimes		 abstract
slides
18:30 - 21:00 Boat trip



 back to top

Wednesday, August 12
10:30 - 11:00coffee break
 Chair:
Benda Thomas
11:00 - 11:30 György Darvas
How much relativistic was "classical" QED?		 abstract
slides
11:30 - 12:00 György Szondy
How generalized minkowski four-force leads to Scalar-Tensor gravity 		abstract
slides notes
12:00 - 12:30 Bruno Hartmann
Operationalization of relativistic energy, momentum and inertial mass		 abstract
slides
12:30 - 14:00Lunch break
14:00 - 15:00 Thomas Müller
What is a possible case in branching space-times?


abstract
slides 		Chair:
James Weatherall
15:00 - 15:30break
15:30 - 16:30 Mark Hogarth
Newcomb's paradox and spacetime


abstract
slides
16:30 - 17:00coffee break
17:00 - 17:30 Mike Stannett
Using an Automated Theorem Prover to Support First Order Relativity Theory 		abstract
17:30 - 18:00 Juliusz Doboszewski
Space invaders and (small) exotic sources		 abstract
slides
18:00 - 18:30 Kevin Coffey
Mass and Energy in Special Relativistic Dynamics		 abstract

 back to top

Thursday, August 13
9:30 - 10:00 Diana Constantin and Erika Varga-Verebélyi
Gravitational Redshift and the Singularity Effect in the Frame of the Post -- Newtonian De Sitter Field		 abstract
slides 		Chair:
Mike Stannett
10:00 - 10:30 János Tanács
The Untenability of the Standard Platonist View: A Threat from the Incompatible Mathematical Theories		 abstract
10:30 - 11:00coffee break
11:00 - 11:30 Neil Barton
Modality, Mathematics, and Time; A common flaw in modal arguments		 abstract
slides
11:30 - 12:00 Riccardo Pinosio
Relativistic Spacetime from Events		 abstract
slides
12:00 - 12:30 Sándor Vályi
Monadic second-order theories of the chronological accessibility relation		 abstract
slides
12:30 - 14:00Lunch break
14:00 - 15:00 László E. Szabó
Meaning, Truth, and the Diffeomorphism Invariance


 abstract
slides 		Chair:
Péter Németi
15:00 - 15:30break
15:30 - 16:30 S. Barry Cooper
Typecasting Non-Locality


 abstract
slides
16:30 - 17:00coffee break
17:00 - 17:30 Atriya Sen, Selmer Bringsjord, Nick Marton and John Licato
Toward Diagrammatic Automated Discovery in Axiomatic Physics 		abstract
slides
17:30 - 18:00 Newton C. A. Da Costa and Francisco Antonio Doria
On set--theoretically generic spacetimes		 abstract
19:00 - 22:00 Conference dinner at Trófea Grill - Zugló

 back to top