Login / Signup

Completeness of the Gödel-löB Provability Logic for the filter sequence of Normal Measures.

Mohammad GolshaniReihane Zoghifard
Published in: J. Symb. Log. (2024)
Keyphrases
  • modal logic
  • quantitative measures
  • logic programming
  • noise reduction
  • asynchronous circuits
  • data mining
  • multiscale
  • hidden markov models
  • preprocessing step
  • automated reasoning
  • genomic sequences
  • deontic logic