Paper Info
Title
PDL Has Interpolation
Abstract
It is proved that free dynamic algebras superamalgamate, Craig interpolation for propositional dynamic logic and superamalgamation for the variety of dynamic algebras follow.
Year
DOI
Venue
2002
10.2178/jsl/1190150141
JOURNAL OF SYMBOLIC LOGIC
DocType
Volume
Issue
Journal
67
3
ISSN
Citations 
PageRank 
0022-4812
0
0.34
References 
Authors
0
1
Name
Order
Citations
PageRank
Tomasz Kowalski112424.06