Plural Quantification Logic: a Critical Appraisal.

Hanoch Ben-Yami

Published in: Rev. Symb. Log. (2009)

Keyphrases

real estate
classical logic
modal logic
multi valued
information systems
logical framework
database
real time
information retrieval
genetic algorithm
decision making
defeasible logic
predicate logic
dynamic logic
logic synthesis