Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next 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: | ||