search

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

conditional knowledge operators #40

Open m4lvin opened 4 months ago

m4lvin commented 4 months ago

See for example https://www.sciencedirect.com/science/article/abs/pii/B9780444517265500157