ML199703: D'Agostino, Giovanna (1997) The Łoś–Tarski and Lyndon Theorem for the $\mu$logic. [Report]
Text (Full Text)
ML199703.text.ps.gz Download (87kB) 

Text (Abstract)
ML199703.abstract.txt Download (267B) 
Abstract
We prove the Lyndon Theorem and the Łoś–Tarski Theorem for the modal \mucalculus, using automata which run on process graphs and are equivalent in expressive power to the \mucalculus.
Item Type:  Report 

Report Nr:  ML199703 
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 