Login / Signup

A Sequence of Decidable Finitely Axiomatizable Intermediate Logics with the Disjunction Property.

Dov M. GabbayDick De Jongh
Published in: J. Symb. Log. (1974)
Keyphrases
  • expressive power
  • modal logic
  • finite number
  • neural network
  • search algorithm
  • classical logic
  • data sets
  • datalog programs