Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable.

Valentin B. Shehtman

Published in: Stud Logica (1990)

Keyphrases

modal logic
optimization problems
problems involving
database
neural network
application domains
pairwise
automated reasoning
solving problems
finite number
logic programming
optimal solution
case study
knowledge base
feature selection
information retrieval
real time