Yury Savateev

zbMath Opensavateev.yuryMaRDI QIDQ392293

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	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	2020-03-04	Paper
Cut Elimination for Weak Modal Grzegorczyk Logic via Non-Well-Founded Proofs	2018-04-03	Paper
Cut-elimination for the modal Grzegorczyk logic via non-well-founded proofs	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