2nd World Logic Day in Kyiv

On January 14, 2020 Ukrainian logicians celebrated the Second World Logic Day at the Taras Shevchenko National Kyiv University. The main scientific institutions of Ukraine were represented.

Two events took place:

1. The Winter meeting of the board of the Ukrainian Logic Society: results of 2019, plans for 2020.

2. The workshop “Logic and its Applications” (14 presentations).

The talks were of the following directions:

• Philosophical Logic (3 presentations);
• Mathematical Logic (3 presentations);
• Logic in Computer Science (5 presentations);
• Logic and Education (3 presentations).

Discussions were devoted to inductive definitions over special domains and consequence relations for epistemic logics.

The book of abstracts (partly in English) was prepared to summarize the results of the workshop.

World Logic Day Workshop 2020-Book of Abstracts.pdf (328 KB)