Rostislav E. Yavorsky

From MaRDI portal
Person:234739

Available identifiers

zbMath Open yavorskiy.rostislavMaRDI QIDQ234739

List of research outcomes





PublicationDate of PublicationType
Abstract State Machines 2004. Advances in Theory and Practice2009-04-30Paper
On Kripke-style Semantics for the Provability Logic of Gödel's Proof Predicate with Quantifiers on Proofs2005-10-18Paper
https://portal.mardi4nfdi.de/entity/Q46818962005-06-08Paper
https://portal.mardi4nfdi.de/entity/Q46642602005-04-05Paper
https://portal.mardi4nfdi.de/entity/Q44303902003-10-09Paper
Predicate logics of decidable fragments of arithmetic2003-09-04Paper
Provability logics with quantifiers on proofs2002-05-21Paper
https://portal.mardi4nfdi.de/entity/Q27536972001-11-11Paper
Predicate logics of expressively strong theories2001-10-30Paper
https://portal.mardi4nfdi.de/entity/Q47616292001-02-21Paper
https://portal.mardi4nfdi.de/entity/Q43760801998-02-08Paper
Systems of axioms and models for first order theories with provability operator1998-01-25Paper
https://portal.mardi4nfdi.de/entity/Q33647171996-01-01Paper

Research outcomes over time

This page was built for person: Rostislav E. Yavorsky

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:234739&oldid=10540015"
Powered by MediaWiki