• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Важные объявления 1

Мероприятия

Studia Logica Conference Trends in Logic19, 2019

Журнал "Studia Logica" и Международная лаборатория логики, лингвистики и формальной философии организуют конференцию
Studia Logica Conference Trends in Logic19, 2019,
которая состоится 2-4 октября 2019.

 

Сайт конференции

Приглашенные докладчики

Беклемишев Лев Дмитриевич

Базовая кафедра Математического института им. В.А. Стеклова РАН: Профессор

Доктор физико-математических наук, член-корреспондент РАН, профессор МИАН.
Автор "Provability, Complexity, Grammars"(1999), редактор "Third Moscow-Vienna Workshop on Logic and Computation" (2005), "Advances in Modal Logic, vol. 8" (2010), "Logical Models of Reasoning and Computation" (2011), "Алгоритмические вопросы алгебры и логики" (2011) и др.
Профессор логики Амстердамского университета, профессор философии Стэнфордского университета. Автор книг "Logical Dynamics of Information and Interaction" (2011), "Logic in Games" (2014), редактор "Handbook of the philosophy of science. Vol. 8, Philosophy of information" (2008), "Logic and Philosophy Today" (2011), "Handbook of Logic and Language" (2011), "Models of Strategic Reasoning: Logics, Games, and Communities" (2015).
Профессор философии математики Стокгольмского университета, член Шведской королевской академии наук. Автор книг "A theory of types" (1971), "An intuitionistic theory of types: Predicative part" (1975), Statistical Mechanics and the Foundations of Thermodynamics" (1979), "Intuitionistic Type Theory" (1985), "Substitution calculus" (1992).
Заслуженный профессор философии в Университетском центре Городского университета Нью-Йорка. Автор книг "Towards Non-Being: the Semantics and Metaphysics of Intentionality" (2005), "Doubt Truth to be a Liar" (2006), "Logic: A Brief Insight" (2010), "One: Being an Investigation into the Unity of Reality and of its Parts, including the Singular Object which is Nothingness" (2014).

Программный комитет

  • Tomasz Jarmużek (Toruń, Poland)
  • Jacek Malinowski (Warsaw, Poland)
  • Rich Thomason (Ann Arbor, USA)
  • Vladimir Vasyukov (Moscow, Russia)
  • Heinrich Wansing (Bochum, Germany)

Trends in Logic 1-18

Trends in Logic 18

Trends in Logic 17

Trends in Logic 16

Trends in Logic 15

Trends in Logic 14

Trends in Logic 13

Trends in Logic 12

Trends in Logic 11

Trends in Logic 9

Trends in Logic 8

Trends in Logic 6

Trends in Logic 4

Trends in Logic 3

Trends in Logic 1