Login / Signup

Ordered sets R and Q as bases of Kripke models.

Mitio Takano
Published in: Stud Logica (1987)
Keyphrases
  • ordered sets
  • kripke models
  • modal logic
  • concept lattice
  • binary variables
  • data mining
  • data streams
  • lower bound
  • graphical models
  • multistage
  • dynamic systems