History


Please fill in your query. A complete syntax description you will find on the General Help page.
Barwise’s information frames and modal logics. (Russian ;English)
Algebra Logika 41, No.5, 585-609 (2002); translation in Algebra Logic 41, No.5, 323-336 (2002).
The author uses the notions of information frames and modal logics generated by them, introduced by {\it J. Barwise} and {\it J. Seligman} [Information flow. The logic of distributed systems. Cambridge: Cambridge Univ. Press (1997; Zbl 0927.03004)], and gives axiomatizations for modal logics of information frames with various sets of properties. Weak modal logics generated by information frames and some related problems are also under study.
Reviewer: A.S.Morozov (Novosibirsk)
WorldCat.org
Valid XHTML 1.0 Transitional Valid CSS!