Cláudia Nalon

	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

Coauthor Index

1	Clare Dixon	[2] [3] [4] [5] [6]
2	Michael Fisher	[2] [3] [4]
3	Jacques Wainer	[1]

Colors in the list of coauthors