Login / Signup

Definability, Canonical Models, and Compactness for Finitary Coalgebraic Modal Logic.

Alexander KurzDirk Pattinson
Published in: CMCS (2002)
Keyphrases
  • modal logic
  • decision procedures
  • inference rules
  • neural network
  • probabilistic model
  • classical logic
  • artificial intelligence
  • temporal logic
  • reinforcement learning
  • dynamic programming
  • object oriented