Issues
- 0
Documentation
#30 opened by decadenza - 0
- 1
- 0
- 0
- 0
Add tableau rules and example to README.md.
#23 opened by erohkohl - 0
- 0
formula.py: implement commutative property in __eq__() for And- and Or-operator.
#25 opened by erohkohl - 0
- 0
Modelling example with three wise men.
#2 opened by erohkohl - 0
- 0
Implement semantic of Diamond_a operator.
#15 opened by erohkohl - 0
- 0
Add border to nodes of networkx's graph.
#12 opened by erohkohl - 1
Plot graphs with Framework.
#8 opened by erohkohl - 0
And, Or operator with *agrs and multiple length.
#20 opened by erohkohl - 0
Replace models knowledge base with list or set.
#19 opened by erohkohl - 0
Remove minimum number of worlds from ks, thus formula is satisfiable in all worlds.
#18 opened by erohkohl - 0
Determine power set of all worlds.
#17 opened by erohkohl - 1
- 0
- 0
Add Box_a and it's semantics to formula.
#11 opened by erohkohl - 0
- 0
Replace {('p', False)} with Dictionary.
#10 opened by erohkohl - 0
Divide test cases into multiple modules.
#9 opened by erohkohl - 0
Modelling Diamond operator.
#6 opened by erohkohl - 0
- 0
- 0