Skeptical and Credulous Event Calculi for Supporting Modal Queries

CHITTARO, Luca

MONTANARI, Angelo

PROVETTI A.