Knowing Regular Action Logic(KRAL)
Jianying Cui · Journal of Southwest University · 2010
Epistemic properties of complex actions are mainly studied.Firstly,we analyze the logical systems about knowing an action in some literatures.Secondly,we develop a logical system RKAL to characterize the epistemic properties of regular complex actions and prove soundness and completeness of the system.