Wishlist

We have several ideas for future enhancements of OOPS. These include:

• Allow tableau rules to be specified in Lua
• Provide rule sets for several logics besides S5n
• Implement a PSPACE ruleset for S5n (algorithm?)
• Extend tool set for interaction with theories, formulas
  • Simplification
• Tool set to manipulate Kripke models
  • Syntax to construct/modify models
  • Model checking
  • Bisimulation
• Keyboard-interactive scripts in the GUI
• Implement an example agent using OOPS in Lua