Login / Signup

A Note on Linear Kripke Models.

Rosalie Iemhoff
Published in: J. Log. Comput. (2005)
Keyphrases
  • kripke models
  • modal logic
  • linear systems
  • multistage