Translator Disclaimer
September 2002 PDL has interpolation
Tomasz Kowalski
J. Symbolic Logic 67(3): 933-946 (September 2002). DOI: 10.2178/jsl/1190150141

Abstract

It is proved that free dynamic algebras superamalgamate. Craig interpolation for proposi- tional dynamic logic and superamalgamation for the variety of dynamic algebras follow.

Citation

Download Citation

Tomasz Kowalski. "PDL has interpolation." J. Symbolic Logic 67 (3) 933 - 946, September 2002. https://doi.org/10.2178/jsl/1190150141

Information

Published: September 2002
First available in Project Euclid: 18 September 2007

zbMATH: 1013.03029
MathSciNet: MR1925950
Digital Object Identifier: 10.2178/jsl/1190150141

Subjects:
Primary: 03C40
Secondary: 03B70 , 03G05

Rights: Copyright © 2002 Association for Symbolic Logic

JOURNAL ARTICLE
14 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.67 • No. 3 • September 2002
Back to Top