A New Proof of Sahlqvist's Theorem on Modal Definability and Completeness.

Giovanni Sambin Virginia Vaccaro

Published in: J. Symb. Log. (1989)

Keyphrases

interactive theorem proving
propositional logic
modal logic
fixed point
linear logic
artificial intelligence
decision making
data quality
theorem prover
nonmonotonic logics
neural network
genetic algorithm
learning algorithm
computer vision
evolutionary algorithm
heavy traffic limit