Login / Signup

Products of Modal Logics with Diagonal Constant Lacking the Finite Model Property.

Agi Kurucz
Published in: FroCoS (2009)
Keyphrases
  • modal logic
  • objective function
  • mathematical model
  • knowledge base
  • dynamic programming
  • probabilistic model
  • temporal logic
  • inference rules