Intermediate Logics and the de Jongh property.

Dick de Jongh Rineke Verbrugge Albert Visser

Published in: Arch. Math. Log. (2011)

Keyphrases

expressive power
database
modal logic
inference rules
classical logic
real time
databases
neural network
machine learning
genetic algorithm
information systems
search algorithm
hidden markov models
higher order
desirable properties