Eliminating ``converse'' from converse PDL
type: Item
instance of: scholarly article
title: Eliminating ``converse'' from converse PDL
zbMATH Open document ID: 0923.03044
DOI: 10.1007/BF00173700
author: Giuseppe De Giacomo
published in: Journal of Logic, Language and Information
publication date: 1999-05-05T00:00:00Z
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 934096
zbMATH Keywords: converse propositional dynamic logic
zbMATH Keywords: elimination of converse programs
zbMATH Keywords: encoding of CPDL formulae into PDL
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/bf00173700
OpenAlex ID: W1995398260
description: scientific article; zbMATH DE number 934096