Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Last revision Both sides next revision | ||
|
project_activities:conferences [2017/10/27 11:33] Kristina Šekrst [2nd year] |
project_activities:conferences [2017/10/27 12:08] Kristina Šekrst [2nd year] |
||
|---|---|---|---|
| Line 34: | Line 34: | ||
| ^Lojkić, Goran| Cumulative Intensional Ramified Type Theory | [[project_activities:fmsph|Formal Methods and Science in Philosophy II]] | Dubrovnik, 4--6 May, 2017| | ^Lojkić, Goran| Cumulative Intensional Ramified Type Theory | [[project_activities:fmsph|Formal Methods and Science in Philosophy II]] | Dubrovnik, 4--6 May, 2017| | ||
| ^Restović, Ivan| Brouwer’s Account of Time and Causality in the Logic of Change LCG | [[project_activities:fmsph|Formal Methods and Science in Philosophy II]] | Dubrovnik, 4--6 May, 2017| | ^Restović, Ivan| Brouwer’s Account of Time and Causality in the Logic of Change LCG | [[project_activities:fmsph|Formal Methods and Science in Philosophy II]] | Dubrovnik, 4--6 May, 2017| | ||
| + | ^Świętorzecka, Kordula| Towards semantics for Bolzano’s theory of substances and adherences | [[project_activities:fmsph|Formal Methods and Science in Philosophy II]] | Dubrovnik, 4--6 May, 2017| | ||
| ^Šekrst, Kristina| Formalizing Inferential Evidentiality: From Justification Logic to Machine Learning | [[project_activities:fmsph|Formal Methods and Science in Philosophy II]] | Dubrovnik, 4--6 May, 2017| | ^Šekrst, Kristina| Formalizing Inferential Evidentiality: From Justification Logic to Machine Learning | [[project_activities:fmsph|Formal Methods and Science in Philosophy II]] | Dubrovnik, 4--6 May, 2017| | ||
| ^Kovač, Srećko| The Concept of Possibility in Ontological Proofs | [[http://logicandreligion.uw.edu.pl|2nd World Congress on Logic and Religion]] | Warsaw, June 18--22, 2017| | ^Kovač, Srećko| The Concept of Possibility in Ontological Proofs | [[http://logicandreligion.uw.edu.pl|2nd World Congress on Logic and Religion]] | Warsaw, June 18--22, 2017| | ||