Logics of some kripke frames connected with Medvedev notion of informational types.

Saved in:

Bibliographic Details
Title:	Logics of some kripke frames connected with Medvedev notion of informational types.
Authors:	Shehtman, V., Skvortsov, D.
Source:	Studia Logica. Mar1986, Vol. 45 Issue 1, p101-118. 18p.
Database:	Mathematics Source

Description
ISSN:	00393215
DOI:	10.1007/BF01881552