D. P. Skvortsov, “Logic of infinite problems and Kripke models on atomic semilattices of sets”, Dokl. Akad. Nauk SSSR, 245:4 (1979), 798

Doklady Akademii Nauk SSSR

RUS ENG

JOURNALS PEOPLE ORGANISATIONS CONFERENCES SEMINARS VIDEO LIBRARY PACKAGE AMSBIB

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

	General information
	Latest issue
	Archive

	Search papers
	Search references

	RSS
	Latest issue
	Current issues
	Archive issues
	What is RSS

Dokl. Akad. Nauk:
Year:
Volume:
Issue:
Page:
	Find

Personal entry:
Login:
Password:
	Save password
	Enter
	Forgotten password?
	Register

Doklady Akademii Nauk SSSR, 1979, Volume 245, Number 4, Pages 798–801 (Mi dan42627)

MATHEMATICS

Logic of infinite problems and Kripke models on atomic semilattices of sets

D. P. Skvortsov

Lomonosov Moscow State University

Full-text PDF (532 kB)

Presented: A. N. Kolmogorov
Received: 04.12.1978

Bibliographic databases:

Document Type: Article

UDC: 517.12

Language: Russian

Citation: D. P. Skvortsov, “Logic of infinite problems and Kripke models on atomic semilattices of sets”, Dokl. Akad. Nauk SSSR, 245:4 (1979), 798–801

Citation in format AMSBIB

\Bibitem{Skv79}

\by D.~P.~Skvortsov

\paper Logic of infinite problems and Kripke models on atomic semilattices of sets

\jour Dokl. Akad. Nauk SSSR

\yr 1979

\vol 245

\issue 4

\pages 798--801

\mathnet{http://mi.mathnet.ru/dan42627}

\mathscinet{https://mathscinet.ams.org/mathscinet-getitem?mr=0527713}

\zmath{https://zbmath.org/?q=an:0438.03028}

Linking options:

https://www.mathnet.ru/eng/dan42627

https://www.mathnet.ru/eng/dan/v245/i4/p798

Citing articles in Google Scholar: Russian citations, English citations
Related articles in Google Scholar: Russian articles, English articles

Registration to the website

Logotypes