Yury Savateev

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Deciding FO-Rewritability of Ontology-Mediated Queries in Linear Temporal Logic	2023-10-02	Paper
Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic Journal of Artificial Intelligence Research	2023-08-28	Paper
Deciding FO-definability of regular languages (available as arXiv preprint)	2023-03-30	Paper
NON-WELL-FOUNDED PROOFS FOR THE GRZEGORCZYK MODAL LOGIC The Review of Symbolic Logic	2021-07-22	Paper
Cut elimination for the weak modal Grzegorczyk logic via non-well-founded proofs (available as arXiv preprint)	2020-03-04	Paper
Cut Elimination for Weak Modal Grzegorczyk Logic via Non-Well-Founded Proofs (available as arXiv preprint)	2018-04-03	Paper
Cut-elimination for the modal Grzegorczyk logic via non-well-founded proofs (available as arXiv preprint)	2017-12-20	Paper
Proof internalization in generalized Frege systems for classical logic Annals of Pure and Applied Logic	2014-01-13	Paper
Product-free Lambek calculus is NP-complete Annals of Pure and Applied Logic	2012-04-10	Paper
Unidirectional Lambek grammars in polynomial time Theory of Computing Systems	2010-08-13	Paper
Product-Free Lambek Calculus Is NP-Complete Logical Foundations of Computer Science	2009-02-24	Paper
Lambek Grammars with One Division Are Decidable in Polynomial Time Computer Science – Theory and Applications	2008-06-05	Paper

Research outcomes over time

This page was built for person: Yury Savateev