| |
| 2007 | ||
|---|---|---|
| 6 | EE | Cláudia Nalon, Clare Dixon: Clausal resolution for normal modal logics. J. Algorithms 62(3-4): 117-134 (2007) |
| 2006 | ||
| 5 | EE | Cláudia Nalon, Clare Dixon: Anti-prenexing and Prenexing for Modal Logics. JELIA 2006: 333-345 |
| 2004 | ||
| 4 | EE | Cláudia Nalon, Clare Dixon, Michael Fisher: Resolution for Synchrony and No Learning. Advances in Modal Logic 2004: 231-248 |
| 3 | Clare Dixon, Cláudia Nalon, Michael Fisher: Tableaux for Logics of Time and Knowledge with Interactions Relating to Synchrony. Journal of Applied Non-Classical Logics 14(4): 397-445 (2004) | |
| 2003 | ||
| 2 | EE | Clare Dixon, Cláudia Nalon, Michael Fisher: Tableaux for Temporal Logics of Knowledge: Synchronous Systems of Perfect Recall or No Learning. TIME 2003: 62-71 |
| 1998 | ||
| 1 | Cláudia Nalon, Jacques Wainer: Strong Conditional Logic. SBIA 1998: 209-218 | |
| 1 | Clare Dixon | [2] [3] [4] [5] [6] |
| 2 | Michael Fisher | [2] [3] [4] |
| 3 | Jacques Wainer | [1] |