Ron van der Meyden, Ka-shu Wong. Complete Axiomatizations for Reasoning about Knowledge and Branching Time. Studia Logica, 75(1):93-123, 2003. [doi]
@article{MeydenW03, title = {Complete Axiomatizations for Reasoning about Knowledge and Branching Time}, author = {Ron van der Meyden and Ka-shu Wong}, year = {2003}, doi = {10.1023/A:1026181001368}, url = {http://dx.doi.org/10.1023/A:1026181001368}, tags = {completeness}, researchr = {https://researchr.org/publication/MeydenW03}, cites = {0}, citedby = {0}, journal = {Studia Logica}, volume = {75}, number = {1}, pages = {93-123}, }