Eliminating ``converse from converse PDL

DOI10.1007/BF00173700zbMath0923.03044OpenAlexW1995398260MaRDI QIDQ1923830

Giuseppe De Giacomo

Publication date: 5 May 1999

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00173700

zbMATH Keywords

converse propositional dynamic logicelimination of converse programsencoding of CPDL formulae into PDL

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Related Items (2)

Introspection as an action in relational models ⋮ Combining deduction and model checking into tableaux and algorithms for converse-PDL.

This page was built for publication: Eliminating ``converse from converse PDL