Combined Logics of Knowledge, Time, and Actions for Reasoning about Multi-agent Systems

  • Nikolay V. Shilov
  • Natalia O. Garanina
Conference paper

DOI: 10.1007/978-3-642-22140-8_4

Part of the Lecture Notes in Computer Science book series (LNCS, volume 6581)
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

Abstract

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Nikolay V. Shilov
    • 1
  • Natalia O. Garanina
    • 1
  1. 1.Institute of Informatics SystemsRussian Academy of SciencesNovosibirskRussia

Personalised recommendations