×

zbMATH — the first resource for mathematics

Belardinelli, Francesco

Compute Distance To:
Author ID: belardinelli.francesco Recent zbMATH articles by "Belardinelli, Francesco"
Published as: Belardinelli, F.; Belardinelli, Francesco
Documents Indexed: 17 Publications since 2004

Publications by Year

Citations contained in zbMATH Open

7 Publications have been cited 43 times in 37 Documents Cited by Year
Algebraic aspects of cut elimination. Zbl 1064.03014
Belardinelli, Francesco; Jipsen, Peter; Ono, Hiroakira
13
2004
Interactions between knowledge and time in a first-order logic for multi-agent systems: completeness results. Zbl 1267.68221
Belardinelli, F.; Lomuscio, A.
11
2012
Verification of agent-based artifact systems. Zbl 1367.68321
Belardinelli, Francesco; Lomuscio, Alessio; Patrizi, Fabio
7
2014
Quantified epistemic logics for reasoning about knowledge in multi-agent systems. Zbl 1191.68646
Belardinelli, F.; Lomuscio, A.
7
2009
First-order linear-time epistemic logic with group knowledge: an axiomatisation of the monodic fragment. Zbl 1252.03031
Belardinelli, Francesco; Lomuscio, Alessio
3
2011
Agent-based refinement for predicate abstraction of multi-agent systems. Zbl 1403.68300
Belardinelli, Francesco; Lomuscio, Alessio; Michaliszyn, Jakub
1
2016
Model checking auctions as artifact systems: decidability via finite abstraction. Zbl 1366.68163
Belardinelli, Francesco
1
2014
Agent-based refinement for predicate abstraction of multi-agent systems. Zbl 1403.68300
Belardinelli, Francesco; Lomuscio, Alessio; Michaliszyn, Jakub
1
2016
Verification of agent-based artifact systems. Zbl 1367.68321
Belardinelli, Francesco; Lomuscio, Alessio; Patrizi, Fabio
7
2014
Model checking auctions as artifact systems: decidability via finite abstraction. Zbl 1366.68163
Belardinelli, Francesco
1
2014
Interactions between knowledge and time in a first-order logic for multi-agent systems: completeness results. Zbl 1267.68221
Belardinelli, F.; Lomuscio, A.
11
2012
First-order linear-time epistemic logic with group knowledge: an axiomatisation of the monodic fragment. Zbl 1252.03031
Belardinelli, Francesco; Lomuscio, Alessio
3
2011
Quantified epistemic logics for reasoning about knowledge in multi-agent systems. Zbl 1191.68646
Belardinelli, F.; Lomuscio, A.
7
2009
Algebraic aspects of cut elimination. Zbl 1064.03014
Belardinelli, Francesco; Jipsen, Peter; Ono, Hiroakira
13
2004

Citations by Year