Indistinguishability, Choices, and Logics of Agency.

Alberto Zanardo

Published in: Stud Logica (2013)

Keyphrases

modal logic
expressive power
environmental protection
inference rules
database views
databases
classical logic
database
data mining
expert systems
query language
propositional calculus