Login / Signup

On Provability Logics with Linearly Ordered Modalities.

Lev D. BeklemishevDavid Fernández-DuqueJoost J. Joosten
Published in: Stud Logica (2014)
Keyphrases
  • linearly ordered
  • truth values
  • database
  • probabilistic model
  • background knowledge
  • cross modal