BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
logic (4)
convers (3)
intersect (2)
probabilist (1)
exp (1)

Stem pdl$ (all stems)

10 papers:

LICSLICS-2015-Carreiro #bisimulation #invariant #logic
PDL Is the Bisimulation-Invariant Fragment of Weak Chain Logic (FC), pp. 341–352.
IJCARIJCAR-2014-Gore #fixpoint #logic #ltl
And-Or Tableaux for Fixpoint Logics with Converse: LTL, CTL, PDL and CPDL (RG), pp. 26–45.
LICSLICS-2013-BalbianiHT #logic
Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL (PB, AH, NT), pp. 143–152.
CADECADE-2009-GoreW #on the fly #satisfiability
An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability (RG, FW), pp. 437–452.
PDL with Intersection and Converse Is 2 EXP-Complete (SG, ML, CL), pp. 198–212.
CSLCSL-2005-Lutz #decidability
PDL with Intersection and Converse Is Decidable (CL), pp. 413–427.
IJCARIJCAR-2004-LutzW #source code
PDL with Negation of Atomic Programs (CL, DW), pp. 259–273.
STOCSTOC-1983-Kozen #probability
A Probabilistic PDL (DK), pp. 291–297.
POPLPOPL-1982-ShermanPH #logic #process
Is the Interesting Part of Process Logic Uninteresting — A Translation from PL to PDL (RS, AP, DH), pp. 347–360.
ICALPICALP-1980-Kozen #modelling #representation #theorem
A Representation Theorem for Models of *-Free PDL (DK), pp. 351–362.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.