ML-1997-03: The Łoś–Tarski and Lyndon Theorem for the $\mu$-logic

ML-1997-03: D'Agostino, Giovanna (1997) The Łoś–Tarski and Lyndon Theorem for the $\mu$-logic. [Report]

	Text (Full Text) ML-1997-03.text.ps.gz Download (87kB)
	Text (Abstract) ML-1997-03.abstract.txt Download (267B)

Abstract

We prove the Lyndon Theorem and the Łoś–Tarski Theorem for the modal \mu­calculus, using automata which run on process graphs and are equivalent in expressive power to the \mu­calculus.

Item Type:	Report
Report Nr:	ML-1997-03
Series Name:	Mathematical Logic and Foundations (ML)
Year:	1997
Date Deposited:	12 Oct 2016 14:40
Last Modified:	25 Jan 2018 17:04
URI:	https://eprints.illc.uva.nl/id/eprint/1384

Actions (login required)

View Item