Yury Savateev

Available identifiers

zbMath Open savateev.yuryMaRDI QIDQ392293

List of research outcomes

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	2023-08-28	Paper
Deciding FO-definability of regular languages	2023-03-30	Paper
NON-WELL-FOUNDED PROOFS FOR THE GRZEGORCZYK MODAL 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	2014-01-13	Paper
Product-free Lambek calculus is NP-complete	2012-04-10	Paper
Unidirectional Lambek grammars in polynomial time	2010-08-13	Paper
Product-Free Lambek Calculus Is NP-Complete	2009-02-24	Paper
Lambek Grammars with One Division Are Decidable in Polynomial Time	2008-06-05	Paper

Research outcomes over time

This page was built for person: Yury Savateev