bucephalus.org

Change Logic

... work in progress ...

• abstract.txt, submitted to the Advances in Modal Logic conference, August 2012 in Copenhagen.
• A short introduction, but very much outdated by now.

[home] [blog]