https://borsiemir.github.io/portfolio/portfolio-1/ https://borsiemir.github.io/portfolio/portfolio-2/ https://borsiemir.github.io/posts/2012/08/blog-post-1/ 2012-08-14T00:00:00+00:00 https://borsiemir.github.io/posts/2013/08/blog-post-2/ 2013-08-14T00:00:00+00:00 https://borsiemir.github.io/posts/2014/08/blog-post-3/ 2014-08-14T00:00:00+00:00 https://borsiemir.github.io/posts/2012/08/blog-post-4/ 2015-08-14T00:00:00+00:00 https://borsiemir.github.io/posts/2012/08/blog-post-4/ 2199-01-01T00:00:00+00:00 https://borsiemir.github.io/publications/2024-02-19-cyclic-proofs-for-iGL-via-corecursion/ 2024-02-19T00:00:00+00:00 https://borsiemir.github.io/publications/2024-08-19-coalgebraic-proof-translations-for-non-wellfounded-proofs/ 2024-08-19T00:00:00+00:00 https://borsiemir.github.io/publications/2025-01-30-algebraic-proof-theory-for-infinitary-action-logic/ 2025-01-30T00:00:00+00:00 https://borsiemir.github.io/publications/2025-09-27-non-wellfounded-proof-theory-for-interpretability-logic/ 2025-09-27T00:00:00+00:00 https://borsiemir.github.io/publications/2025-10-08-provability-models/ 2025-10-08T00:00:00+00:00 https://borsiemir.github.io/publications/2025-11-03-uniform-interpolation-for-interpretability-logic/ 2025-11-03T00:00:00+00:00 https://borsiemir.github.io/publications/2026-05-16-proof-theory-for-bimodal-provability-logics/ 2026-05-16T00:00:00+00:00 https://borsiemir.github.io/publications/2026-06-19-cut-elimination-for-a-non-wellfounded-system-for-the-master-modality/ 2026-06-16T00:00:00+00:00 https://borsiemir.github.io/publications/2026-06-29-uniform-lyndon-interpolation-via-non-wellfounded-proofs/ 2026-06-29T00:00:00+00:00 https://borsiemir.github.io/publications/2026-07-07-proof-theory-and-interpolation-for-sacchettis-logics/ 2026-07-07T00:00:00+00:00 https://borsiemir.github.io/publications/2026-08-03-knowledge-and-common-knowledge-of-strategies/ 2026-08-03T00:00:00+00:00 https://borsiemir.github.io/talks/2012-03-01-talk-1 2012-03-01T00:00:00+00:00 https://borsiemir.github.io/talks/2013-03-01-tutorial-1 2013-03-01T00:00:00+00:00 https://borsiemir.github.io/talks/2014-02-01-talk-2 2014-02-01T00:00:00+00:00 https://borsiemir.github.io/talks/2014-03-01-talk-3 2014-03-01T00:00:00+00:00 https://borsiemir.github.io/teaching/2014-spring-teaching-1 2014-01-01T00:00:00+00:00 https://borsiemir.github.io/teaching/2015-spring-teaching-1 2015-01-01T00:00:00+00:00 https://borsiemir.github.io/ https://borsiemir.github.io/archive-layout-with-content/ https://borsiemir.github.io/categories/ https://borsiemir.github.io/collection-archive/ https://borsiemir.github.io/cv-json/ https://borsiemir.github.io/cv/ https://borsiemir.github.io/markdown/ https://borsiemir.github.io/non-menu-page/ https://borsiemir.github.io/page-archive/ https://borsiemir.github.io/portfolio/ https://borsiemir.github.io/publications/ https://borsiemir.github.io/sitemap/ https://borsiemir.github.io/tags/ https://borsiemir.github.io/talkmap.html https://borsiemir.github.io/talks/ https://borsiemir.github.io/teaching/ https://borsiemir.github.io/terms/ https://borsiemir.github.io/year-archive/ https://borsiemir.github.io/markdown_generator/ https://borsiemir.github.io/files/cv.pdf 2026-07-17T09:55:20+00:00 https://borsiemir.github.io/files/paper1.pdf 2026-07-17T09:55:20+00:00 https://borsiemir.github.io/files/paper2.pdf 2026-07-17T09:55:20+00:00 https://borsiemir.github.io/files/paper3.pdf 2026-07-17T09:55:20+00:00 https://borsiemir.github.io/files/slides1.pdf 2026-07-17T09:55:20+00:00 https://borsiemir.github.io/files/slides2.pdf 2026-07-17T09:55:20+00:00 https://borsiemir.github.io/files/slides3.pdf 2026-07-17T09:55:20+00:00 https://borsiemir.github.io/talkmap/map.html 2026-07-17T09:55:20+00:00