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:project_meetings [2016/12/14 13:16] Srećko Kovač |
project_activities:project_meetings [2016/12/14 13:17] Srećko Kovač |
||
---|---|---|---|
Line 51: | Line 51: | ||
- Soundness, $G$-changes, October 28, 2016, | - Soundness, $G$-changes, October 28, 2016, | ||
- Temporal logic (operator //N//) and change, November 4, 2016, | - Temporal logic (operator //N//) and change, November 4, 2016, | ||
- | - Completeness, types of histories, November 16, 2016 --- with the participation of K. Świętorzecka. | + | - Completeness, types of histories, November 16, 2016 --- with the online participation of K. Świętorzecka. |
* Analysis and comments on M. Fitting: "First-order intensional logic", //Annals of Pure and Applied Logic // 127 (2004), 171-193: | * Analysis and comments on M. Fitting: "First-order intensional logic", //Annals of Pure and Applied Logic // 127 (2004), 171-193: |