Login / Signup

Barwise's information frames and modal logics.

Vladimir V. Rybakov
Published in: Arch. Math. Log. (2003)
Keyphrases
  • information flow
  • modal logic
  • inference rules