Dialogical Foundations and Semantics (DiFoS)

Output

Proefschrift

  • S.L. Uckelman(2009): Modalities in Medieval Logic  1 september 2009

Wetenschappelijk artikel

  • B. Löwe, T. Müller(2008): Towards a new epistemology of mathematics Erkenntnis pp. 303 - 329
  • S.L. Uckelman(2012): Interactive logic in the Middle Ages Logic and Logical philosophy pp. 439 - 471

Publieksinformatie

  • (2010): Dialogical Aspects of Obligationes
  • (2010): MIDISoVa. Modelling Interaction Dialogue Social Choice and Vagueness
  • (2010): DiG. Dialogues and Games: historical roots and contemporary models
  • (2010): MoFPILE. Modern Formalisms for Pre-Modern Indian Logic and Epistemology
  • (2010): DIFLEAP. Dialogues, inference and proof - logical and empirical perspectives
  • (2010): DIFOS workshop
  • (2011): LogICC Meets India
  • (2011): ProDi. Proof and Dialogues
  • (2011): Logical modelling for Interaction, Communication, Cognition and Computation
  • (2011): Mathematics as Culture and Practice II
  • (2011): Empirical Work @ DiFoS I
  • (2012): Empirical @ Work DifoS II

Kenmerken

Projectnummer

231-80-002

Hoofdaanvrager

Prof. dr. B. Löwe

Verbonden aan

Universiteit van Amsterdam, Institute for Logic, Language & Computation (ILLC)

Uitvoerders

Dr. B. Fisseni, Dr. S.L. Uckelman, Dr. S.L. Uckelman

Looptijd

01/08/2008 tot 15/10/2012