Rostislav E. Yavorsky

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
Abstract State Machines 2004. Advances in Theory and Practice Lecture Notes in Computer Science	2009-04-30	Paper
On Kripke-style Semantics for the Provability Logic of Gödel's Proof Predicate with Quantifiers on Proofs Journal Of Logic And Computation	2005-10-18	Paper
scientific article; zbMATH DE number 2174393 (Why is no real title available?)	2005-06-08	Paper
scientific article; zbMATH DE number 2152692 (Why is no real title available?)	2005-04-05	Paper
scientific article; zbMATH DE number 1989643 (Why is no real title available?)	2003-10-09	Paper
Predicate logics of decidable fragments of arithmetic Moscow University Mathematics Bulletin	2003-09-04	Paper
Provability logics with quantifiers on proofs Annals of Pure and Applied Logic	2002-05-21	Paper
scientific article; zbMATH DE number 1670501 (Why is no real title available?)	2001-11-11	Paper
Predicate logics of expressively strong theories Mathematical Notes	2001-10-30	Paper
scientific article; zbMATH DE number 1567806 (Why is no real title available?)	2001-02-21	Paper
scientific article; zbMATH DE number 1114358 (Why is no real title available?)	1998-02-08	Paper
Systems of axioms and models for first order theories with provability operator Moscow University Mathematics Bulletin	1998-01-25	Paper
Systems of axioms and models for the first order theories with provability operator	1996-01-01	Paper

Research outcomes over time

This page was built for person: Rostislav E. Yavorsky