Login / Signup

Algebras of modal operators and partial correctness.

Bernhard MöllerGeorg Struth
Published in: Theor. Comput. Sci. (2006)
Keyphrases
  • modal operators
  • modal logic
  • temporal logic
  • general purpose
  • dynamic logic
  • partially ordered
  • situation calculus
  • topological spaces
  • description logics
  • data structure
  • data model
  • markov random field
  • communicative acts