Combined Logics of Knowledge, Time, and Actions for Reasoning about Multi-agent Systems
- Cite this paper as:
- Shilov N.V., Garanina N.O. (2011) Combined Logics of Knowledge, Time, and Actions for Reasoning about Multi-agent Systems. In: Wolff K.E., Palchunov D.E., Zagoruiko N.G., Andelfinger U. (eds) Knowledge Processing and Data Analysis. Lecture Notes in Computer Science, vol 6581. Springer, Berlin, Heidelberg
We present a summary of our studies (in period 2002-2007) of the model checking problem for finitely-generated synchronous/asynchronous environments with/without perfect recall for combinations of propositional logics of (common) knowledge, (branching) time, and actions.
Unable to display preview. Download preview PDF.