Hierarchies of program logics
type: Item
instance of: scholarly article
title: Hierarchies of program logics
zbMATH Open document ID: 0551.03006
DOI: 10.1007/BF00971560
published in: Siberian Mathematical Journal
publication date: 1984-01-01T00:00:00Z
review text: Translation from Sib. Mat. Zh. 24, No.3(139), 184-192 (Russian) (1983; Zbl 0518.03002).
Mathematics Subject Classification ID: 03B15
Mathematics Subject Classification ID: 68Q65
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03C70
zbMATH DE Number: 3877146
zbMATH Keywords: infinitary logic
zbMATH Keywords: dynamic logic
zbMATH Keywords: definability
author: Michael A. Taitslin
MaRDI profile type: Publication
cites work: Q4075450
cites work: First-order dynamic logic
description: scientific article; zbMATH DE number 3877146