| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2007 | |
|---|---|---|
| 6 |      | Cláudia Nalon, Clare Dixon: Clausal resolution for normal modal logics. J. Algorithms 62(3-4): 117-134 (2007) |
| 2006 | ||
| 5 | | Cláudia Nalon, Clare Dixon: Anti-prenexing and Prenexing for Modal Logics. JELIA 2006: 333-345 |
| 2004 | ||
| 4 | | 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 | | 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] |
Colors in the list of coauthors
Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page