Login / Signup

Provability and Interpretability Logics with Restricted Realizations.

Thomas F. Icard IIIJoost J. Joosten
Published in: Notre Dame J. Formal Log. (2012)
Keyphrases
  • modal logic
  • expressive power
  • prediction accuracy
  • random variables
  • inference rules
  • decision making
  • rule base
  • propositional dynamic logic
  • real time
  • data sets
  • search algorithm
  • classical logic
  • propositional calculus