Login / Signup

On Non-axiomatizability of Superintuitionistic Predicate Logics of Some Classes of Well-founded and Dually Well-founded Kripke Frames.

Dmitrij P. Skvortsov
Published in: J. Log. Comput. (2006)
Keyphrases
  • modal logic
  • inference rules
  • first order logic
  • temporal logic
  • databases
  • artificial intelligence
  • feature vectors
  • model checking
  • expressive power