Uniform interpolation for monotone modal logic
| Authors |
|
|---|---|
| Publication date | 2010 |
| Host editors |
|
| Book title | Advances in Modal Logic |
| Book subtitle | AiML 8 |
| ISBN |
|
| Event | Advances in Modal Logic 2010 (AiML 2010), Moscow, Russia |
| Pages (from-to) | 350-370 |
| Publisher | London: College Publications |
| Organisations |
|
| Document type | Conference contribution |
| Language | English |
| Published at |
http://www.aiml.net/volumes/volume8/Santocanale-Venema.pdf
(Final published version)
|
| Permalink to this page | |