Login / Signup
Completeness of Certain Bimodal Logics for Subset Spaces.
M. Angela Weiss
Rohit Parikh
Published in:
Stud Logica (2002)
Keyphrases
</>
expressive power
neural network
modal logic
artificial intelligence
inference rules
real time
genetic algorithm
multi agent
data quality
nonmonotonic logics
propositional calculus
propositional dynamic logic