Login / Signup

Substitution in Relevant Logics.

Tore Fjetland Øgaard
Published in: Rev. Symb. Log. (2020)
Keyphrases
  • expressive power
  • artificial intelligence
  • nonmonotonic logics
  • real time
  • modal logic