Rostislav E. Yavorsky

Available identifiers

zbMath Open yavorskiy.rostislavMaRDI QIDQ234739

List of research outcomes

Publication	Date of Publication	Type
Abstract State Machines 2004. Advances in Theory and Practice	2009-04-30	Paper
On Kripke-style Semantics for the Provability Logic of Gödel's Proof Predicate with Quantifiers on Proofs	2005-10-18	Paper
https://portal.mardi4nfdi.de/entity/Q4681896	2005-06-08	Paper
https://portal.mardi4nfdi.de/entity/Q4664260	2005-04-05	Paper
https://portal.mardi4nfdi.de/entity/Q4430390	2003-10-09	Paper
Predicate logics of decidable fragments of arithmetic	2003-09-04	Paper
Provability logics with quantifiers on proofs	2002-05-21	Paper
https://portal.mardi4nfdi.de/entity/Q2753697	2001-11-11	Paper
Predicate logics of expressively strong theories	2001-10-30	Paper
https://portal.mardi4nfdi.de/entity/Q4761629	2001-02-21	Paper
https://portal.mardi4nfdi.de/entity/Q4376080	1998-02-08	Paper
Systems of axioms and models for first order theories with provability operator	1998-01-25	Paper
https://portal.mardi4nfdi.de/entity/Q3364717	1996-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Rostislav E. Yavorsky