Fair computational tree logic

#	Item
1	Equivalences for Fair Kripke Structures Adnan Aziz∗ Robert Brayton‡ Felice Balarin† Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2005-09-23 01:02:50 Mathematical logic Mathematics Computation tree logic Bisimulation Kripke structure Model theory Equivalence relation CTL* Fair computational tree logic Temporal logic Logic in computer science Theoretical computer science