PDL has interpolation
Journal of Symbolic Logic 67 (3):933-946 (2002)
| Abstract | It is proved that free dynamic algebras superamalgamate. Craig interpolation for propositional dynamic logic and superamalgamation for the variety of dynamic algebras follow | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,705 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesHiroakira Ono (1986). Craig's Interpolation Theorem for the Intuitionistic Logic and its Extensions—a Semantical Approach. Studia Logica 45 (1):19 - 33.
Melvin Fitting (2002). Interpolation for First Order S5. Journal of Symbolic Logic 67 (2):621-634.
Larisa Maksimova (1991). Amalgamation and Interpolation in Normal Modal Logics. Studia Logica 50 (3-4):457 - 471.
Giuseppe Giacomo (1996). Eliminating “Converse” From Converse PDL. Journal of Logic, Language and Information 5 (2).
Larisa L. Maksimova (1979). Interpolation Properties of Superintuitionistic Logics. Studia Logica 38 (4):419 - 428.
Kenneth A. Bowen (1980). Interpolation in Loop-Free Logic. Studia Logica 39 (2-3):297 - 310.
Małgorzata Porębska (1986). Interpolation and Amalgamation Properties in Varieties of Equivalential Algebras. Studia Logica 45 (1):35 - 38.
Tomasz Kowalski (2004). Retraction Note for "Pdl has Interpolation". Journal of Symbolic Logic 69 (3):935-935.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads6 ( #145,729 of 549,250 )Recent downloads (6 months)1 ( #63,397 of 549,250 )How can I increase my downloads? |
My notes
Discussion
