Francesco Belardinelli

	2009
6		Francesco Belardinelli, Alessio Lomuscio: First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment. WoLLIC 2009: 140-154
5		Francesco Belardinelli, Alessio Lomuscio: Quantified epistemic logics for reasoning about knowledge in multi-agent systems. Artif. Intell. 173(9-10): 982-1013 (2009)
	2008
4		Francesco Belardinelli, Alessio Lomuscio: A Complete First-Order Logic of Knowledge and Time. KR 2008: 705-714
	2007
3		Francesco Belardinelli, Alessio Lomuscio: A quantified epistemic logic for reasoning about multiagent systems. AAMAS 2007: 87
2		Francesco Belardinelli, Alessio Lomuscio: A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems. CLIMA VIII 2007: 248-267
	2004
1		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] [5] [6]
3	Hiroakira Ono	[1]

Colors in the list of coauthors