Multipointed Models and Structures for K - Githubissues

jrclogic / SMCDEL

A symbolic model checker for Dynamic Epistemic Logic.

https://w4eg.de/malvin/illc/smcdelweb

GNU General Public License v2.0

39 stars 9 forks source link

Multipointed Models and Structures for K #45

Open m4lvin opened 3 months ago

m4lvin commented 3 months ago

Continuing https://github.com/jrclogic/SMCDEL/issues/8 for K here.

[ ] blsToKripkeMulti
[ ] kripkeToBlsMulti
[ ] actionToEventMulti
[ ] eventToActionMulti