Research
Research
Research
Research
4+ open-access research outputs.
The epidemic situation of coronavirus disease 2019(COVID-19) is developing rapidly in the world, and the influence is serious. In this study, the prescription of Mongolian medicine to prevent new type…
Game logic was introduced by Rohit Parikh in the 1980s as a generalisation of propositional dynamic logic (PDL) for reasoning about outcomes that players can force in determined 2-player games. Semant…
Parikh theorem was originally stated and proved by Rohkit Parikh in MIT research report in 1961. Many different proofs of this classical theorems were produced then; our goal is to give another proof …
We study the topological models of a logic of knowledge for topological reasoning, introduced by Larry Moss and Rohit Parikh. Among our results is a solution of a conjecture by the formentioned author…
Free open-access publishing with Google Scholar indexing.
Submission Guide →