Login / Signup
The Analytical Completeness of Dzhaparidze's Polymodal Logics.
George Boolos
Published in:
Ann. Pure Appl. Log. (1993)
Keyphrases
</>
expressive power
modal logic
inference rules
propositional calculus
data mining
computer vision
classical logic
databases
real world
social networks
multi agent systems
decision procedures
conditional logic
rough approximations
proof theory
order sorted