ON THE EXPRESSIVE POWER OF SOME DYNAMIC LOGICS
type: Item
instance of: scholarly article
title: ON THE EXPRESSIVE POWER OF SOME DYNAMIC LOGICS
zbMATH Open document ID: 0598.68034
published in: Mathematics of the USSR-Sbornik
publication date: 1986-01-01T00:00:00Z
Mathematics Subject Classification ID: 68Q65
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B60
zbMATH DE Number: 3965436
zbMATH Keywords: comparison of various logics of programs
zbMATH Keywords: nondeterminism
zbMATH Keywords: dynamic logic
zbMATH Keywords: regular programs
zbMATH Keywords: context-free programs
MaRDI profile type: Publication
DOI: 10.1070/SM1986V053N02ABEH002929
Recommended article: The comparison of the expressive power of first-order dynamic logics
Recommended article: Q3203003
Recommended article: Complexity and expressivity of propositional dynamic logics with finitely many variables
Recommended article: On the Completeness of Dynamic Logic
Recommended article: Q5437872
Recommended article: A completeness theorem for dynamic logic
Recommended article: Decidability and Expressivity of Ockhamist Propositional Dynamic Logics
Recommended article: Q6171324
Recommended article: On static logics, dynamic logics, and complexity classes
Recommended article: On models for propositional dynamic logic
description: scientific article