Francesco Belardinelli

2008
4		Francesco Belardinelli, Alessio Lomuscio: A Complete First-Order Logic of Knowledge and Time. KR 2008: 705-714
2007
3	EE	Francesco Belardinelli, Alessio Lomuscio: A quantified epistemic logic for reasoning about multiagent systems. AAMAS 2007: 87
2	EE	Francesco Belardinelli, Alessio Lomuscio: A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems. CLIMA VIII 2007: 248-267
2004
1	EE	Francesco Belardinelli, Peter Jipsen, Hiroakira Ono: Algebraic Aspects of Cut Elimination. Studia Logica 77(2): 209-240 (2004)

Coauthor Index

1	Peter Jipsen	[1]
2	Alessio Lomuscio	[2] [3] [4]
3	Hiroakira Ono	[1]

Colors in the list of coauthors