Seong-ick Moon, Kwang Hyung Lee, Doheon Lee. Fuzzy branching temporal logic. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 34(2):1045-1055, 2004. [doi]
@article{MoonLL04, title = {Fuzzy branching temporal logic}, author = {Seong-ick Moon and Kwang Hyung Lee and Doheon Lee}, year = {2004}, doi = {10.1109/TSMCB.2003.819485}, url = {http://doi.ieeecomputersociety.org/10.1109/TSMCB.2003.819485}, tags = {logic}, researchr = {https://researchr.org/publication/MoonLL04}, cites = {0}, citedby = {0}, journal = {IEEE Transactions on Systems, Man, and Cybernetics, Part A}, volume = {34}, number = {2}, pages = {1045-1055}, }