PDL has interpolation

Journal of Symbolic Logic 67 (3):933-946 (2002)
  Copy   BIBTEX

Abstract

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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 98,141

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Retraction note for "pdl has interpolation".Tomasz Kowalski - 2004 - Journal of Symbolic Logic 69 (3):935-935.
Propositional Dynamic Logic has interpolation.Tomasz Kowalski - 2001 - Bulletin of the Section of Logic 30 (1):33-39.
An equational axiomatization of dynamic negation and relational composition.Marco Hollenberg - 1997 - Journal of Logic, Language and Information 6 (4):381-401.
Commutative BCK-algebras do not enjoy the interpolation property.Piotr Krzystek - 1983 - Bulletin of the Section of Logic 12 (2):50-53.
On Weak and Strong Interpolation in Algebraic Logics.Gábor Sági & Saharon Shelah - 2006 - Journal of Symbolic Logic 71 (1):104 - 118.
Dynamic negation, the one and only.Marco Hollenberg & Albert Visser - 1999 - Journal of Logic, Language and Information 8 (2):137-141.

Analytics

Added to PP
2009-01-28

Downloads
42 (#423,639)

6 months
5 (#938,808)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Tomasz Kowalski
La Trobe University

Citations of this work

Sketch of a Proof-Theoretic Semantics for Necessity.Nils Kürbis - 2020 - In Nicola Olivetti, Rineke Verbrugge & Sara Negri (eds.), Advances in Modal Logic 13. Booklet of Short Papers. Helsinki: pp. 37-43.

Add more citations

References found in this work

Add more references