![]() | ![]() |
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] |