Loading…
This event has ended. View the official site or create your own event → Check it out
This event has ended. Create your own

View analytic
Tuesday, August 4 • 17:00 - 19:00
A1.4 Mathematical Logic + C3.6 Philosophy of the Life Sciences

Sign up or log in to save this to your schedule and see who's attending!

4 August 05:00PM– 07:00PM

SPEAKERS AND TITLES

Combining relational and algebraic semantics
Puncochár Vít, Department of Logic, Institute of Philosophy, Czech Academy of Sciences, Prague, CZECH REPUBLIC

The modal logic of symmetric forcing
Alexander Carstensen Block, Department of Mathematics, University of Hamburg, Hamburg, GERMANY

The proof-theoretic approach to evolutionary biology - can we work out a logic of evolution?
Andreea Esanu, Theoretical Philosophy and Logic, University of Bucharest, Bucharest, ROMANIA

Quantified intuitionistic and modal logic over metrizable spaces
Philip Kremer, Philosophy, University of Toronto Scarborough, Toronto, CANADA

Chairs
PV

Puncochár Vít

Institute of Philosophy, Czech Academy of Sciences

Speakers
AC

Alexander Carstensen Block

University of Hamburg
AE

Andreea Esanu

University of Bucharest
PK

Philip Kremer

University of Toronto Scarborough



Tuesday August 4, 2015 17:00 - 19:00
Main Building, Room 17

Attendees (9)