M. F. Ratsa

Available identifiers

zbMath Open rata.mefodij-fMaRDI QIDQ1055757

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q2919898	2012-10-22	Paper
https://portal.mardi4nfdi.de/entity/Q2914598	2012-09-20	Paper
https://portal.mardi4nfdi.de/entity/Q3018228	2011-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q3624234	2009-04-28	Paper
https://portal.mardi4nfdi.de/entity/Q3624262	2009-04-28	Paper
https://portal.mardi4nfdi.de/entity/Q5297339	2007-07-18	Paper
https://portal.mardi4nfdi.de/entity/Q5297367	2007-07-18	Paper
https://portal.mardi4nfdi.de/entity/Q3378957	2006-04-06	Paper
https://portal.mardi4nfdi.de/entity/Q3155802	2005-01-18	Paper
On some properties of complete by expressibility systems of formulas in the Gödel–Löb provability logic	2004-08-30	Paper
A formal reduction of the general problem of expressibility of formulas in the Gödel-Löb provability logic	2004-08-30	Paper
https://portal.mardi4nfdi.de/entity/Q2734032	2001-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4386748	1999-06-08	Paper
https://portal.mardi4nfdi.de/entity/Q4383537	1998-04-27	Paper
https://portal.mardi4nfdi.de/entity/Q4383572	1998-04-07	Paper
https://portal.mardi4nfdi.de/entity/Q4383462	1998-04-06	Paper
https://portal.mardi4nfdi.de/entity/Q4892992	1997-02-09	Paper
https://portal.mardi4nfdi.de/entity/Q4860535	1996-07-17	Paper
https://portal.mardi4nfdi.de/entity/Q4860548	1996-07-17	Paper
https://portal.mardi4nfdi.de/entity/Q4870286	1996-04-10	Paper
https://portal.mardi4nfdi.de/entity/Q4860541	1996-02-06	Paper
https://portal.mardi4nfdi.de/entity/Q4841060	1995-09-26	Paper
https://portal.mardi4nfdi.de/entity/Q4023306	1993-01-23	Paper
https://portal.mardi4nfdi.de/entity/Q4001448	1992-09-18	Paper
https://portal.mardi4nfdi.de/entity/Q3032231	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3469085	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3491520	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3795654	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3812205	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3781072	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3797163	1987-01-01	Paper
Nontabularity of the logic S4 with respect to functional completeness	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3329437	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3691637	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3331202	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4748125	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3885738	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4053611	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5655346	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5639696	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5567822	1966-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: M. F. Ratsa