Algebraization of quantifier logics, an introductory overview.

István Németi

Published in: Stud Logica (1991)

Keyphrases

expressive power
inference rules
modal logic
computer science
data sets
database
real world
information retrieval
social networks
case study
data model
classical logic
nonmonotonic logics
future trends
interval arithmetic
propositional dynamic logic