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

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

Abstract

This article has no associated abstract. (fix it)

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,879

External links

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

Through your library

Analytics

Added to PP
2009-01-28

Downloads
104 (#115,701)

6 months
1 (#386,001)

Historical graph of downloads
How can I increase my downloads?

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

Citations of this work

Positive Announcements.Hans van Ditmarsch, Tim French & James Hales - 2021 - Studia Logica 109 (3):639-681.
The Many Faces of Interpolation.Johan van Benthem - 2008 - Synthese 164 (3):451-460.
Completeness for Μ-Calculi: A Coalgebraic Approach.Sebastian Enqvist, Fatemeh Seifan & Yde Venema - 2019 - Annals of Pure and Applied Logic 170 (5):578-641.
Uniform Interpolation and Coherence.Tomasz Kowalski & George Metcalfe - 2019 - Annals of Pure and Applied Logic 170 (7):825-841.

View all 14 citations / Add more citations

Similar books and articles

Etchemendy, Tarski, and Logical Consequence.Jared Bates - 1999 - Southwest Philosophy Review 15 (1):47-54.
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.
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.