Login / Signup

Completeness of Certain Bimodal Logics for Subset Spaces.

M. Angela WeissRohit 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