Logical Questions Concerning the $\mu$-Calculus: Interpolation, Lyndon and Los-Tarski

&
Journal of Symbolic Logic 65 (1):310-332 (2000)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

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

Roger C. Lyndon. An interpolation theorem in the predicate calculus. Pacific journal of mathematics, vol. 9 (1959), pp. 129–142. [REVIEW]M. A. Taitslen - 1960 - Journal of Symbolic Logic 25 (3):273-274.
Review: Roger C. Lyndon, An Interpolation Theorem in the Predicate Calculus. [REVIEW]M. A. Taitslin - 1960 - Journal of Symbolic Logic 25 (3):273-274.
The origin of relation algebras in the development and axiomatization of the calculus of relations.Roger D. Maddux - 1991 - Studia Logica 50 (3-4):421 - 455.
Lyndon Roger C.. An interpolation theorem in the predicate calculus. Pacific journal of mathematics, vol. 9 , pp. 129–142. [REVIEW]M. A. Taitslin - 1960 - Journal of Symbolic Logic 25 (3):273-274.
Etchemendy, Tarski, and Logical Consequence.Jared Bates - 1999 - Southwest Philosophy Review 15 (1):47-54.
Interpolants, cut elimination and flow graphs for the propositional calculus.Alessandra Carbone - 1997 - Annals of Pure and Applied Logic 83 (3):249-299.
That SCI has the interpolation property.Grzegorz Malinowski & Marek Michalczyk - 1982 - Studia Logica 41 (4):375 - 380.
Interpolation in non-classical logics.Giovanna D’Agostino - 2008 - Synthese 164 (3):421 - 435.
Interpolation theorems, lower Bounds for proof systems, and independence results for bounded arithmetic.Jan Krajíček - 1997 - Journal of Symbolic Logic 62 (2):457-486.
Logical consequence: A defense of Tarski.Greg Ray - 1996 - Journal of Philosophical Logic 25 (6):617 - 677.
On the possibility of a privileged class of logical terms.Greg Ray - 1996 - Philosophical Studies 81 (2-3):303 - 313.
Tarski On Logical Notions.Luca Bellotti - 2003 - Synthese 135 (3):401-413.
Basic Propositional Calculus II. Interpolation: II. Interpolation.Mohammad Ardeshir & Wim Ruitenburg - 2001 - Archive for Mathematical Logic 40 (5):349-364.
Logical Interpolation and Projection onto State in the Duration Calculus.Dimitar P. Guelev - 2004 - Journal of Applied Non-Classical Logics 14 (1-2):181-208.
Μ-programs, uniform interpolation and bisimulation quantifiers for modal logics ★.Giovanna D'Agostino, Giacomo Lenzi & Tim French - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):297-309.

Analytics

Added to PP
2009-01-28

Downloads
116 (#148,866)

6 months
7 (#350,235)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Positive Announcements.Hans van Ditmarsch, Tim French & James Hales - 2020 - Studia Logica 109 (3):639-681.
Uniform interpolation and coherence.Tomasz Kowalski & George Metcalfe - 2019 - Annals of Pure and Applied Logic 170 (7):825-841.
The many faces of interpolation.Johan van Benthem - 2008 - Synthese 164 (3):451-460.

View all 16 citations / Add more citations

References found in this work

Finite Model Theory.Heinz-Dieter Ebbinghaus & Jörg Flum - 2001 - Studia Logica 69 (3):449-449.
Temporal logics of “the next” do not have the beth property.Larisa Maksimova - 1991 - Journal of Applied Non-Classical Logics 1 (1):73-76.

Add more references