erohkohl/mlsolver

Readme
Issues
Stargazers
Watchers

Implement semantic of Diamond_a operator.

erohkohl opened this issue 7 years ago · 0 comments

erohkohl commented 7 years ago

Implement semantic of Diamond_a operator.

Topics

artificial-intelligence multi-agent-systems kripke-structure modal-logic knowledge-based-systems multi-modal-logic tableau-calculus

Share to

Contact site admin: Geeks.