Advertisement

Modelling with Graphs

  • Olivier Gasquet
  • Andreas Herzig
  • Bilal Said
  • François Schwarzentruber
Part of the Studies in Universal Logic book series (SUL)

Abstract

We introduce Kripke models. With the help of a series of examples we present the main modal concepts that can be interpreted by means of possible worlds semantics: the concepts of event, action, program, time, belief, knowledge, and obligation. In the end of the chapter we show how Kripke models can be built by means of LoTREC and give a formal definition of Kripke models.

Keywords

Prefix 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

References

  1. [FHMV95]
    R. Fagin, J.Y. Halpern, Y. Moses, and M.Y. Vardi. Reasoning About Knowledge. MIT Press, Cambridge, 1995. Google Scholar
  2. [Pea00]
    J. Pearl. Causality: Models, Reasoning, and Inference. Cambridge University Press, New York, 2000. Google Scholar
  3. [Woo02]
    M. Wooldridge. An Introduction to Multiagent Systems. Wiley, New York, 2002. Google Scholar

Copyright information

© Springer Basel AG 2014

Authors and Affiliations

  • Olivier Gasquet
    • 1
  • Andreas Herzig
    • 1
  • Bilal Said
    • 1
  • François Schwarzentruber
    • 1
  1. 1.Institut de Recherche en Informatique de Toulouse (IRIT)Université Paul SabatierToulouseFrance

Personalised recommendations