ML-1997-03: The \L o\'{s}-Tarski and Lyndon Theorem for the $\mu$-logic

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

[img] Text (Full Text)
ML-1997-03.text.ps.gz

Download (87kB)
[img] Text (Abstract)
ML-1997-03.abstract.txt

Download (267B)

Abstract

We prove the Lyndon Theorem and the Los­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: 12 Oct 2016 14:40
URI: https://eprints.illc.uva.nl/id/eprint/1384

Actions (login required)

View Item View Item