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

Categories

Keywords

Reprint years

DOI

10.2178/jsl/1190150141

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,423

External links

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

Through your library

My notes

Similar books and articles

Reducing dynamic epistemic logic to pdl by program transformation.Jan van Eijck - unknown
Interpolation and amalgamation properties in varieties of equivalential algebras.Małgorzata Porębska - 1986 - Studia Logica 45 (1):35 - 38.
Interpolation in loop-free logic.Kenneth A. Bowen - 1980 - Studia Logica 39 (2-3):297 - 310.
Interpolation properties of superintuitionistic logics.Larisa L. Maksimova - 1979 - Studia Logica 38 (4):419 - 428.
Eliminating “converse” from converse PDL.Giuseppe Giacomo - 1996 - Journal of Logic, Language and Information 5 (2):193-208.
Amalgamation and interpolation in normal modal logics.Larisa Maksimova - 1991 - Studia Logica 50 (3-4):457 - 471.
Propositional Dynamic Logic as a Logic of Belief Revision Vol. 5110 Lnai.Jan van Eijck & Yanjing Wang - 2008
Retraction note for "pdl has interpolation".Tomasz Kowalski - 2004 - Journal of Symbolic Logic 69 (3):935-935.

Analytics

Added to PP
2009-01-28

Downloads
34 (#461,374)

6 months
2 (#1,229,212)

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