News



Course page for ESSLLI 2017

posted Jul 14, 2017, 2:08 AM by Roman Kuznets

Lutz Straßburger and I are teaching a course at ESSLLI 2017 on efficient proof systems for modal logics. The ESSLLI page of the course can be found here. However, we decided it would be easier to post the materials and updates on the following page: https://www.lix.polytechnique.fr/~lutz/orgs/ESSLLI2017-course.html. See you in Toulouse!

Collaboration project with the Parcifal team at INRIA and LIX

posted Nov 16, 2015, 6:43 AM by Roman Kuznets   [ updated Nov 16, 2015, 6:44 AM ]

Lutz Straßburger's and my application for a 2-year collaboration project "Analytic Calculi for Modal Logics" within the framework of Austrian-French Scientific & Technological Cooperation has been approved by the Austrian Federal Ministry of Science, Research and Economy and French Ministry of Education, Higher Education and Research. The project is between the Parcifal team at INRIA and LIX and the Theory and Logic group at TU Wien.

ALCOP 2016 Call for Abstracts

posted Nov 13, 2015, 2:28 AM by Roman Kuznets   [ updated Nov 13, 2015, 2:28 AM ]

Everyone who would like to participate in ALCOP 2016: Algebra and Coalgebra Meet Proof Theory is welcome to submit an abstract. You can find the call for abstracts here.

Full text of the LFCS16 paper posted

posted Oct 27, 2015, 3:22 AM by Roman Kuznets   [ updated Oct 27, 2015, 3:22 AM ]

You can find the text here.

New paper accepted to LFCS 2016

posted Oct 15, 2015, 2:29 AM by Roman Kuznets   [ updated Oct 15, 2015, 2:30 AM ]

My paper "Interpolation Method for Multicomponent Sequent Calculi" has been accepted to LFCS 2016 in Deerfield Beach, FL, USA. It generalizes the method for nested sequents developed with Melvin Fitting and the method for hypersequents to a wide range of formalisms that can be viewed as consisting of several sequent components. In particular, the method is applied to prefixed tableaus corresponding to the new grafted hypersequent formalism we developed with Björn Lellmann. I will post a pdf as soon as I process the reviewers' comments.

Updated version of Tableaux 2015 paper on fully modular realization

posted Jul 20, 2015, 2:07 AM by Roman Kuznets   [ updated Oct 15, 2015, 2:30 AM ]

The preprint of the Tableaux 2015 joint publication with A. Borg is updated with the reviewers' comments. In particular, it implements a more user-friendly citation style, unfortunately disallowed by LNAI. The new version of the paper can be downloaded here.

Paper accepted to Tableaux 2015

posted Jul 3, 2015, 2:39 AM by Roman Kuznets   [ updated Jul 3, 2015, 2:39 AM ]

A paper based on the Master's thesis of Annemarie Borg that I (co-)supervised was accepted to Tableaux 2015 in Wrocław, Poland. The preprint can be downloaded here.

Interpolation using hypersequents

posted Jul 1, 2015, 6:40 AM by Roman Kuznets   [ updated Jul 1, 2015, 6:41 AM ]

The paper on this subject will appear in January 2016 in Concepts of Proof in Mathematics, Philosophy, and Computer Science, the 6th volume of Ontos Mathematical Logic series of Ontos Verlag, a collection edited by D. Probst and P. Schuster.

PC member of AiML 2016

posted Jun 27, 2015, 5:17 AM by Roman Kuznets   [ updated Jun 27, 2015, 5:18 AM ]

I am invited to the PC of Advances in Modal Logic 2016.

Interpolation via Hypersequents

posted Mar 10, 2015, 8:46 AM by Roman Kuznets   [ updated Mar 10, 2015, 8:47 AM ]

I have finished a paper on proving Craig interpolation constructively using hypersequents. The preprint can be downloaded here: https://sites.google.com/site/kuznets/interpol_hyper_v2.pdf.

1-10 of 16