Cláudia Nalon

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2007
j2		Cláudia Nalon, Clare Dixon: Clausal resolution for normal modal logics. J. Algorithms 62(3-4): 117-134 (2007)
	2006
c4		Cláudia Nalon, Clare Dixon: Anti-prenexing and Prenexing for Modal Logics. JELIA 2006: 333-345
	2004
j1		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)
c3		Cláudia Nalon, Clare Dixon, Michael Fisher: Resolution for Synchrony and No Learning. Advances in Modal Logic 2004: 231-248
	2003
c2		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
c1		Cláudia Nalon, Jacques Wainer: Strong Conditional Logic. SBIA 1998: 209-218

Coauthor Index

Last update Sun May 26 06:05:33 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page